×

zbMATH — the first resource for mathematics

Nested-unit Petri nets. (English) Zbl 1427.68195
Many concurrent systems can be thought of as consisting of subsystems, which themselves may have sub-subsystems, and so on. This study addresses the problem of exploiting this kind of hierarchies in the verification of systems. Its starting points are Petri nets that have no hierarchy, and process algebras that naturally express hierarchy. The study organizes the Petri net places into a tree-like structure of units, where a unit consists of zero or more places and zero or more sub-units. This construct is unusual in that Petri net transitions are ignored. Indeed, the hierarchy has no semantic significance.
Altogether, the theoretical results of the study seem shallow. The value of the formalism is that it can be used to improve verification tools by facilitating the packing of states into a smaller number of bits. From the practical perspective the formalism has been very successful. The unusually extensive bibliography focuses on concurrency formalisms from the verification point of view, and related topics.
MSC:
68Q85 Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.)
68Q60 Specification and verification (program logics, model checking, etc.)
PDF BibTeX XML Cite
Full Text: DOI
References:
[1] van Glabbeek, R. J.; Vaandrager, F. W., Petri net models for algebraic theories of concurrency, (de Bakker, J. W.; Nijman, A. J.; Treleaven, P. C., Proceedings of the 1st International Conference on Parallel Architectures and Languages Europe (PARLE’87), vol. II. Proceedings of the 1st International Conference on Parallel Architectures and Languages Europe (PARLE’87), vol. II, Lect. Notes Comput. Sci., vol. 259, (1987), Springer: Springer Eindhoven, The Netherlands), 224-242
[2] Milner, R., A Calculus of Communicating Systems, Lect. Notes Comput. Sci., vol. 92, (1980), Springer · Zbl 0452.68027
[3] Bergstra, J. A.; Klop, J. W., Process algebra for synchronous communication, Inf. Comput., 60, 109-137, (1984) · Zbl 0597.68027
[4] Brookes, S. D.; Hoare, C. A.R.; Roscoe, A. W., A theory of communicating sequential processes, J. ACM, 31, 3, 560-599, (1984) · Zbl 0628.68025
[5] ISO/IEC, LOTOS - A Formal Description Technique Based on the Temporal Ordering of Observational Behaviour, International Standard 8807, International Organization for Standardization - Information Processing Systems - Open Systems Interconnection, Geneva, (Sep. 1989)
[6] Mazurkiewicz, A. W., Trace theory, (Brauer, W.; Reisig, W.; Rozenberg, G., Proceedings of an Advanced Course on Petri Nets: Central Models and Their Properties. Proceedings of an Advanced Course on Petri Nets: Central Models and Their Properties, Bad Honnef, Germany. Proceedings of an Advanced Course on Petri Nets: Central Models and Their Properties. Proceedings of an Advanced Course on Petri Nets: Central Models and Their Properties, Bad Honnef, Germany, Lect. Notes Comput. Sci., vol. 255, (1986), Springer), 279-324
[7] Winskel, G., Event structures, (Brauer, W.; Reisig, W.; Rozenberg, G., Proceedings of an Advanced Course on Petri Nets: Central Models and Their Properties, Part II. Proceedings of an Advanced Course on Petri Nets: Central Models and Their Properties, Part II, Bad Honnef, Germany. Proceedings of an Advanced Course on Petri Nets: Central Models and Their Properties, Part II. Proceedings of an Advanced Course on Petri Nets: Central Models and Their Properties, Part II, Bad Honnef, Germany, Lect. Notes Comput. Sci., vol. 255, (1986), Springer), 325-392
[8] Boudol, G.; Castellani, I.; Hennessy, M.; Kiehn, A., A theory of processes with localities, Form. Asp. Comput., 6, 2, 165-200, (1994) · Zbl 0806.68070
[9] Boudol, G.; Castellani, I.; Hennessy, M.; Kiehn, A., Observing localities, (Tarlecki, A., Proceedings of the 16th International Symposium on Mathematical Foundations of Computer Science. Proceedings of the 16th International Symposium on Mathematical Foundations of Computer Science, MFCS’91, Kazimierz Dolny, Poland. Proceedings of the 16th International Symposium on Mathematical Foundations of Computer Science. Proceedings of the 16th International Symposium on Mathematical Foundations of Computer Science, MFCS’91, Kazimierz Dolny, Poland, Lect. Notes Comput. Sci., vol. 520, (1991), Springer), 93-102 · Zbl 0778.68055
[10] Boudol, G.; Castellani, I.; Hennessy, M.; Kiehn, A., A theory of process with localities, (Cleaveland, R., Proceedings of the 3rd International Conference on Concurrency Theory. Proceedings of the 3rd International Conference on Concurrency Theory, CONCUR’92, Stony Brook, NY, USA. Proceedings of the 3rd International Conference on Concurrency Theory. Proceedings of the 3rd International Conference on Concurrency Theory, CONCUR’92, Stony Brook, NY, USA, Lect. Notes Comput. Sci., vol. 630, (1992), Springer), 108-122
[11] Castellani, I., Observing distribution in processes, (Borzyszkowski, A. M.; Sokolowski, S., Proceedings of the 18th International Symposium on Mathematical Foundations of Computer Science. Proceedings of the 18th International Symposium on Mathematical Foundations of Computer Science, MFCS’93, Gdansk, Poland. Proceedings of the 18th International Symposium on Mathematical Foundations of Computer Science. Proceedings of the 18th International Symposium on Mathematical Foundations of Computer Science, MFCS’93, Gdansk, Poland, Lect. Notes Comput. Sci., vol. 711, (1993), Springer), 321-331
[12] Boudol, G.; Castellani, I.; Hennessy, M.; Kiehn, A., Observing localities, Theor. Comput. Sci., 114, 1, 31-61, (1993) · Zbl 0783.68072
[13] Castellani, I., Observing distribution in processes: static and dynamic localities, Int. J. Found. Comput. Sci., 6, 4, 353-393, (1995) · Zbl 0843.68060
[14] Mukund, M.; Nielsen, M., CCS, location and asynchronous transition systems, (Shyamasundar, R. K., Proceedings of the 12th Conference on Foundations of Software Technology and Theoretical Computer Science. Proceedings of the 12th Conference on Foundations of Software Technology and Theoretical Computer Science, New Delhi, India. Proceedings of the 12th Conference on Foundations of Software Technology and Theoretical Computer Science. Proceedings of the 12th Conference on Foundations of Software Technology and Theoretical Computer Science, New Delhi, India, Lect. Notes Comput. Sci., vol. 652, (1992), Springer), 328-341
[15] Aceto, L., A static view of localities, Form. Asp. Comput., 6, 2, 201-222, (1994) · Zbl 0806.68069
[16] Castellani, I., Process algebras with localities, (Bergstra, J. A.; Ponse, A.; Smolka, S. A., Handbook of Process Algebra, (2001), North-Holland), 945-1045, Ch. 15 · Zbl 1062.68078
[17] Garavel, H.; Lang, F.; Mateescu, R.; Serwe, W., CADP 2011: a toolbox for the construction and analysis of distributed processes, Int. J. Softw. Tools Technol. Transf., 15, 2, 89-107, (2013)
[18] Garavel, H., Compilation et vérification de programmes LOTOS, (Nov. 1989), Université Joseph Fourier (Grenoble), Thèse de Doctorat
[19] Garavel, H.; Sifakis, J., Compilation and verification of LOTOS specifications, (Logrippo, L.; Probert, R. L.; Ural, H., Proceedings of the 10th IFIP International Symposium on Protocol Specification, Testing and Verification. Proceedings of the 10th IFIP International Symposium on Protocol Specification, Testing and Verification, PSTV’90, Ottawa, Canada, (1990), North-Holland), 379-394
[20] Garavel, H.; Serwe, W., State space reduction for process algebra specifications, Theor. Comput. Sci., 351, 2, 131-145, (2006) · Zbl 1086.68091
[21] Kordon, F.; Garavel, H.; Hillah, L. M.; Paviot-Adet, E.; Jezequel, L.; Rodríguez, C.; Hulin-Hubard, F., MCC’2015 - the fifth model checking contest, (Transactions on Petri Nets and Other Models of Concurrency, vol. XI, (2016)), 262-273
[22] Kordon, F.; Garavel, H.; Hillah, L.; Paviot-Adet, E.; Jezequel, L.; Hulin-Hubard, F.; Amparore, E.; Beccuti, M.; Berthomieu, B.; Evrard, H.; Jensen, P. G.; Le Botlan, D.; Liebke, T.; Meijer, J.; Srba, J.; Thierry-Mieg, Y.; van de Pol, J.; Wolf, K., MCC’2017 - the seventh model checking contest, (Transactions on Petri Nets and Other Models of Concurrency, vol. XIII, (2018)), 181-209
[23] Bernardinello, L.; de Cindio, F., A survey of basic net models and modular net classes, (Rozenberg, G., Advances in Petri Nets - The DEMON Project. Advances in Petri Nets - The DEMON Project, Lect. Notes Comput. Sci., vol. 609, (1992), Springer), 304-351
[24] Rozenberg, G.; Engelfriet, J., Elementary net systems, (Reisig, W.; Rozenberg, G., Lectures on Petri Nets I: Basic Models. Lectures on Petri Nets I: Basic Models, Lect. Notes Comput. Sci., vol. 1491, (1996), Springer), 12-121 · Zbl 0926.68082
[25] Degano, P.; De Nicola, R.; Montanari, U., A distributed operational semantics for CCS based on condition/event systems, Acta Inform., 26, 1/2, 59-91, (1988) · Zbl 0656.68061
[26] Memmi, G.; Roucairol, G., Linear algebra in net theory, (Brauer, W., Net Theory and Applications - Proceedings of the Advanced Course on General Net Theory of Processes and Systems. Net Theory and Applications - Proceedings of the Advanced Course on General Net Theory of Processes and Systems, Hamburg, Germany. Net Theory and Applications - Proceedings of the Advanced Course on General Net Theory of Processes and Systems. Net Theory and Applications - Proceedings of the Advanced Course on General Net Theory of Processes and Systems, Hamburg, Germany, Lect. Notes Comput. Sci., vol. 84, (1979), Springer), 213-223
[27] Lautenbach, K., Linear algebraic techniques for place/transition nets, (Brauer, W.; Reisig, W.; Rozenberg, G., Proceedings of an Advanced Course on Petri Nets: Central Models and Their Properties, APN’86, Part I. Proceedings of an Advanced Course on Petri Nets: Central Models and Their Properties, APN’86, Part I, Bad Honnef, Germany. Proceedings of an Advanced Course on Petri Nets: Central Models and Their Properties, APN’86, Part I. Proceedings of an Advanced Course on Petri Nets: Central Models and Their Properties, APN’86, Part I, Bad Honnef, Germany, Lect. Notes Comput. Sci., vol. 254, (1986), Springer), 142-167
[28] Murata, T., Petri nets: analysis and applications, Proc. IEEE, 77, 4, 541-580, (1989)
[29] Harel, D., Statecharts: a visual formalism for complex systems, Sci. Comput. Program., 8, 3, 231-274, (1987) · Zbl 0637.68010
[30] Alur, R.; Yannakakis, M., Model checking of hierarchical state machines, (Proceedings of the ACM SIGSOFT International Symposium on Foundations of Software Engineering. Proceedings of the ACM SIGSOFT International Symposium on Foundations of Software Engineering, Lake Buena, Vista, Florida, USA, (1998), ACM), 175-188
[31] Alur, R.; Kannan, S.; Yannakakis, M., Communicating hierarchical state machines, (Wiedermann, J.; van Emde Boas, P.; Nielsen, M., Proceedings of the 26th International Colloquium on Automata, Languages and Programming. Proceedings of the 26th International Colloquium on Automata, Languages and Programming, ICALP’99, Prague, Czech Republic. Proceedings of the 26th International Colloquium on Automata, Languages and Programming. Proceedings of the 26th International Colloquium on Automata, Languages and Programming, ICALP’99, Prague, Czech Republic, Lect. Notes Comput. Sci., vol. 1644, (1999), Springer), 169-178
[32] Garavel, H.; Sighireanu, M., On the introduction of exceptions in LOTOS, (Gotzhein, R.; Bredereke, J., Proceedings of the IFIP Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols, and Protocol Specification, Testing, and Verification. Proceedings of the IFIP Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols, and Protocol Specification, Testing, and Verification, FORTE/PSTV’96, Kaiserslautern, Germany, (1996), Chapman & Hall), 469-484
[33] Jensen, K., Coloured Petri Nets - Basic Concepts, Analysis Methods and Practical Use - vol. 1, EATCS Monogr. Theor. Comput. Sci., (1992), Springer · Zbl 0762.68004
[34] Hamaguchi, K.; Hiraishi, H.; Yajima, S., Design verification of asynchronous sequential circuits using symbolic model checking, (Proceedings of the International Symposium on Logic Synthesis and Microprocessor Architecture, (1992)), 84-90
[35] Pastor, E.; Roig, O.; Cortadella, J.; Badia, R. M., Petri net analysis using boolean manipulation, (Valette, R., Proceedings of the 15th International Conference on Application and Theory of Petri Nets. Proceedings of the 15th International Conference on Application and Theory of Petri Nets, ICATPN’94, Zaragoza, Spain. Proceedings of the 15th International Conference on Application and Theory of Petri Nets. Proceedings of the 15th International Conference on Application and Theory of Petri Nets, ICATPN’94, Zaragoza, Spain, Lect. Notes Comput. Sci., vol. 815, (1994), Springer), 416-435
[36] Janssen, G., A consumer report on BDD packages, (Proceedings of the 16th Annual Symposium on Integrated Circuits and Systems Design. Proceedings of the 16th Annual Symposium on Integrated Circuits and Systems Design, SBCCI’03, Sao, Paulo, Brazil, (2003), IEEE Computer Society), 217-222
[37] Kerbrat, A., Méthodes symboliques pour la vérification de processus communicants: Etude et mise en œuvre, (Nov. 1994), Université Joseph Fourier (Grenoble), Thèse de Doctorat
[38] Pastor, E.; Cortadella, J., Efficient encoding schemes for symbolic analysis of Petri nets, (Dewilde, P.; Rammig, F. J.; Musgrave, G., Proceedings on the International Conference on Design, Automation and Test in Europe. Proceedings on the International Conference on Design, Automation and Test in Europe, DATE’98, Paris, France, (1998), IEEE Computer Society), 790-795
[39] Pastor, E.; Cortadella, J.; Peña, M. A., Structural methods to improve the symbolic analysis of Petri nets, (Donatelli, S.; Kleijn, H. C.M., Proceedings of the 20th International Conference Application and Theory of Petri Nets. Proceedings of the 20th International Conference Application and Theory of Petri Nets, ICATPN’99, Williamsburg, VA, USA. Proceedings of the 20th International Conference Application and Theory of Petri Nets. Proceedings of the 20th International Conference Application and Theory of Petri Nets, ICATPN’99, Williamsburg, VA, USA, Lect. Notes Comput. Sci., vol. 1639, (1999), Springer), 26-45
[40] Goud, R.; van Hee, K. M.; Post, R. D.J.; van der Werf, J. M.E. M., Petriweb: a repository for Petri nets, (Donatelli, S.; Thiagarajan, P. S., Proceedings of the 27th International Conference on Applications and Theory of Petri Nets and Other Models of Concurrency. Proceedings of the 27th International Conference on Applications and Theory of Petri Nets and Other Models of Concurrency, ICATPN’06, Turku, Finland. Proceedings of the 27th International Conference on Applications and Theory of Petri Nets and Other Models of Concurrency. Proceedings of the 27th International Conference on Applications and Theory of Petri Nets and Other Models of Concurrency, ICATPN’06, Turku, Finland, Lect. Notes Comput. Sci., vol. 4024, (2006), Springer), 411-420
[41] Esparza, J.; Meyer, P. J., An SMT-based approach to fair termination analysis, (Kaivola, R.; Wahl, T., Proceedings of the 15th Conference on Formal Methods in Computer-Aided Design. Proceedings of the 15th Conference on Formal Methods in Computer-Aided Design, FMCAD’15, Austin, Texas, USA, (2015), IEEE), 49-56
[42] Garavel, H., Nested-unit Petri nets: a structural means to increase efficiency and scalability of verification on elementary nets, (Devillers, R. R.; Valmari, A., Proceedings of the 36th International Conference on Application and Theory of Petri Nets and Concurrency. Proceedings of the 36th International Conference on Application and Theory of Petri Nets and Concurrency, PETRI NETS’15, Brussels, Belgium. Proceedings of the 36th International Conference on Application and Theory of Petri Nets and Concurrency. Proceedings of the 36th International Conference on Application and Theory of Petri Nets and Concurrency, PETRI NETS’15, Brussels, Belgium, Lect. Notes Comput. Sci., vol. 9115, (2015), Springer), 179-199 · Zbl 1432.68306
[43] Arora, N., Comparison of Encoding Schemes for Symbolic Model Checking of Bounded Petri Nets, (2010), Iowa State University: Iowa State University Ames, IA, USA, paper 11511
[44] Ciardo, G.; Zhao, Y.; Jin, X., Ten years of saturation: a Petri net perspective, (Transactions on Petri Nets and Other Models of Concurrency, vol. 6900, (2012)), 51-95 · Zbl 1350.68199
[45] Hamez, A.; Thierry-Mieg, Y.; Kordon, F., Building efficient model checkers using hierarchical set decision diagrams and automatic saturation, Fundam. Inform., 94, 3-4, 413-437, (2009) · Zbl 1183.68374
[46] Thierry-Mieg, Y.; Poitrenaud, D.; Hamez, A.; Kordon, F., Hierarchical set decision diagrams and regular models, (Kowalewski, S.; Philippou, A., Proceedings of the 15th International Conference on Tools and Algorithms for the Construction and Analysis of Systems. Proceedings of the 15th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS’09, York, UK. Proceedings of the 15th International Conference on Tools and Algorithms for the Construction and Analysis of Systems. Proceedings of the 15th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS’09, York, UK, Lect. Notes Comput. Sci., vol. 5505, (2009), Springer), 1-15 · Zbl 1234.68267
[47] ISO/IEC, High-Level Petri Nets - Part 2: Transfer Format, International Standard 15909-2:2011, International Organization for Standardization - Information Technology - Systems and Software Engineering, Geneva, (2011)
[48] Steffen, B.; Jasper, M.; Meijer, J.; van de Pol, J., Property-preserving generation of tailored benchmark Petri nets, (Proceedings of the 17th International Conference on Application of Concurrency to System Design. Proceedings of the 17th International Conference on Application of Concurrency to System Design, ACSD’17, Zaragoza, Spain, (2017), IEEE Computer Society), 1-8
[49] Amparore, E. G.; Beccuti, M.; Donatelli, S., (Stochastic) model checking in GreatSPN, (Ciardo, G.; Kindler, E., Proceedings of the 35th International Conference on the Application and Theory of Petri Nets and Concurrency. Proceedings of the 35th International Conference on the Application and Theory of Petri Nets and Concurrency, PETRI NETS’14, Tunis, Tunisia. Proceedings of the 35th International Conference on the Application and Theory of Petri Nets and Concurrency. Proceedings of the 35th International Conference on the Application and Theory of Petri Nets and Concurrency, PETRI NETS’14, Tunis, Tunisia, Lect. Notes Comput. Sci., vol. 8489, (2014), Springer), 354-363 · Zbl 06314354
[50] Thierry-Mieg, Y., Symbolic model-checking using ITS-tools, (Baier, C.; Tinelli, C., Proceedings of the 21st International Conference on Tools and Algorithms for the Construction and Analysis of Systems. Proceedings of the 21st International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS’15, London, UK. Proceedings of the 21st International Conference on Tools and Algorithms for the Construction and Analysis of Systems. Proceedings of the 21st International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS’15, London, UK, Lect. Notes Comput. Sci., vol. 9035, (2015), Springer), 231-237
[51] Wolf, K., Running LoLA 2.0 in a model checking competition, (Transactions on Petri Nets and Other Models of Concurrency, vol. 11, (2016)), 274-285
[52] Kant, G.; Laarman, A.; Meijer, J.; van de Pol, J.; Blom, S.; van Dijk, T., LTSmin: high-performance language-independent model checking, (Baier, C.; Tinelli, C., Proceedings of the 21st International Conference on Tools and Algorithms for the Construction and Analysis of Systems. Proceedings of the 21st International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS’15, London, UK. Proceedings of the 21st International Conference on Tools and Algorithms for the Construction and Analysis of Systems. Proceedings of the 21st International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS’15, London, UK, Lect. Notes Comput. Sci., vol. 9035, (2015), Springer), 692-707
[53] Hamez, A., A symbolic model checker for Petri nets: pnmc, (Transactions on Petri Nets and Other Models of Concurrency, vol. 11, (2016)), 297-306
[54] Berthomieu, B.; Ribet, P.-O.; Vernadat, F., The tool TINA - construction of abstract state spaces for Petri nets and time Petri nets, Int. J. Prod. Res., 42, 14, 2741-2756, (2004) · Zbl 1060.68695
[55] Garavel, H.; Lang, F.; Serwe, W., From LOTOS to LNT, (Katoen, J.-P.; Langerak, R., ModelEd, TestEd, TrustEd - Essays Dedicated to Ed Brinksma on the Occasion of His 60th Birthday. ModelEd, TestEd, TrustEd - Essays Dedicated to Ed Brinksma on the Occasion of His 60th Birthday, Lect. Notes Comput. Sci., vol. 10500, (2017), Springer), 3-26
[56] Jasper, M.; Fecke, M.; Steffen, B.; Schordan, M.; Meijer, J.; van de Pol, J.; Howar, F.; Siegel, S. F., The RERS 2017 challenge and workshop, (Erdogmus, H.; Havelund, K., Proceedings of the 24th ACM SIGSOFT International SPIN Symposium on Model Checking of Software. Proceedings of the 24th ACM SIGSOFT International SPIN Symposium on Model Checking of Software, SPIN’17, Santa Barbara, CA, USA, (2017), ACM), 11-20
[57] He, X.; Murata, T., High-level Petri nets - extensions, analysis, and applications, (Chen, W.-K., Electrical Engineering Handbook, (2005), Elsevier Academic Press), 459-476
[58] Dittrich, G., Specification with nets - report on activities in connection with “Requirements Capture with Nets”, (Pichler, F.; Moreno-Díaz, R., Proceedings of the International Workshop on Computer-Aided Systems Theory. Proceedings of the International Workshop on Computer-Aided Systems Theory, EUROCAST’89, Las Palmas, Spain. Proceedings of the International Workshop on Computer-Aided Systems Theory. Proceedings of the International Workshop on Computer-Aided Systems Theory, EUROCAST’89, Las Palmas, Spain, Lect. Notes Comput. Sci., vol. 410, (1989), Springer), 111-124
[59] Huber, P.; Jensen, K.; Shapiro, R. M., Hierarchies in coloured Petri nets, (Rozenberg, G., Proceedings of the 10th International Conference on Applications and Theory of Petri Nets. Proceedings of the 10th International Conference on Applications and Theory of Petri Nets, APN’91, Bonn, Germany. Proceedings of the 10th International Conference on Applications and Theory of Petri Nets. Proceedings of the 10th International Conference on Applications and Theory of Petri Nets, APN’91, Bonn, Germany, Lect. Notes Comput. Sci., vol. 483, (1989), Springer), 313-341
[60] Fehling, R., A concept of hierarchical Petri nets with building blocks, (Rozenberg, G., Proceedings of the 12th International Conference on Applications and Theory of Petri Nets. Proceedings of the 12th International Conference on Applications and Theory of Petri Nets, APN’91, Gjern, Denmark. Proceedings of the 12th International Conference on Applications and Theory of Petri Nets. Proceedings of the 12th International Conference on Applications and Theory of Petri Nets, APN’91, Gjern, Denmark, Lect. Notes Comput. Sci., vol. 674, (1991), Springer), 148-168
[61] He, X.; Lee, J., A methodology for constructing predicate transition net specifications, Softw. Pract. Exp., 21, 8, 845-875, (1991)
[62] He, X., A formal definition of hierarchical predicate transition nets, (Billington, J.; Reisig, W., Proceedings of the 17th International Conference on Application and Theory of Petri Nets. Proceedings of the 17th International Conference on Application and Theory of Petri Nets, APN’96, Osaka, Japan. Proceedings of the 17th International Conference on Application and Theory of Petri Nets. Proceedings of the 17th International Conference on Application and Theory of Petri Nets, APN’96, Osaka, Japan, Lect. Notes Comput. Sci., vol. 1091, (1996), Springer), 212-229 · Zbl 1418.68144
[63] Noe, J. D.; Nutt, G. J., Macro E-nets for representation of parallel systems, IEEE Trans. Comput., C-22, 8, 718-727, (1973)
[64] Noe, J. D., Nets in modeling and simulation, (Brauer, W., Net Theory and Applications - Proceedings of the Advanced Course on General Net Theory of Processes and Systems. Net Theory and Applications - Proceedings of the Advanced Course on General Net Theory of Processes and Systems, Hamburg, Germany. Net Theory and Applications - Proceedings of the Advanced Course on General Net Theory of Processes and Systems. Net Theory and Applications - Proceedings of the Advanced Course on General Net Theory of Processes and Systems, Hamburg, Germany, Lect. Notes Comput. Sci., vol. 84, (1980), Springer), 347-368
[65] Peterson, J. L., Petri nets, ACM Comput. Surv., 9, 3, 223-252, (1977) · Zbl 0357.68067
[66] Valette, R., Analysis of Petri nets by stepwise refinements, J. Comput. Syst. Sci., 18, 1, 35-46, (1979) · Zbl 0401.68038
[67] Kotov, V. E., An algebra for parallelism based on Petri nets, (Winkowski, J., Proceedings of the 7th Symposium on Mathematical Foundations of Computer Science. Proceedings of the 7th Symposium on Mathematical Foundations of Computer Science, MFCS’78, Zakopane, Poland. Proceedings of the 7th Symposium on Mathematical Foundations of Computer Science. Proceedings of the 7th Symposium on Mathematical Foundations of Computer Science, MFCS’78, Zakopane, Poland, Lect. Notes Comput. Sci., vol. 64, (1978), Springer), 39-55 · Zbl 0383.68029
[68] Kotov, V. E.; Cherkasova, L., On structural properties of generalized processes, (Rozenberg, G.; Genrich, H. J.; Roucairol, G., Proceedings of the 1983 and 1984 European Workshop on Applications and Theory in Petri Nets. Proceedings of the 1983 and 1984 European Workshop on Applications and Theory in Petri Nets, APN’84, Toulouse, France and Aarhus, Denmark. Proceedings of the 1983 and 1984 European Workshop on Applications and Theory in Petri Nets. Proceedings of the 1983 and 1984 European Workshop on Applications and Theory in Petri Nets, APN’84, Toulouse, France and Aarhus, Denmark, Lect. Notes Comput. Sci., vol. 188, (1984), Springer), 288-306
[69] Suzuki, I.; Murata, T., Stepwise refinements of transitions and places, (Girault, C.; Reisig, W., Proceedings of the 1st and 2nd European Workshops on Application and Theory of Petri Nets. Proceedings of the 1st and 2nd European Workshops on Application and Theory of Petri Nets, APN’81, Strasbourg, France and Bad Honnef, Germany. Proceedings of the 1st and 2nd European Workshops on Application and Theory of Petri Nets. Proceedings of the 1st and 2nd European Workshops on Application and Theory of Petri Nets, APN’81, Strasbourg, France and Bad Honnef, Germany, Informatik-Fachberichte, vol. 52, (1981), Springer), 136-141
[70] Suzuki, I.; Murata, T., A method for stepwise refinement and abstraction of Petri nets, J. Comput. Syst. Sci., 27, 1, 51-76, (1983) · Zbl 0515.68051
[71] Lomazova, I. A., Nested Petri nets - a formalism for specification and verification of multi-agent distributed systems, Fundam. Inform., 43, 1-4, 195-214, (2000) · Zbl 0965.68062
[72] Lomazova, I. A., Nested Petri nets: multi-level and recursive systems, Fundam. Inform., 47, 3-4, 283-293, (2001) · Zbl 1052.68091
[73] Valk, R., Petri nets as token objects: an introduction to elementary object nets, (Desel, J.; Silva, M., Proceedings of the 19th International Conference on Application and Theory of Petri Nets. Proceedings of the 19th International Conference on Application and Theory of Petri Nets, ICATPN’98, Lisbon, Portugal. Proceedings of the 19th International Conference on Application and Theory of Petri Nets. Proceedings of the 19th International Conference on Application and Theory of Petri Nets, ICATPN’98, Lisbon, Portugal, Lect. Notes Comput. Sci., vol. 1420, (1998), Springer), 1-25
[74] Valk, R., Object Petri nets: using the nets-within-nets paradigm, (Desel, J.; Reisig, W.; Rozenberg, G., Lectures on Concurrency and Petri Nets, from the 4th Advanced Course on Petri Nets. Lectures on Concurrency and Petri Nets, from the 4th Advanced Course on Petri Nets, ACPN’03, Eichstätt, Germany. Lectures on Concurrency and Petri Nets, from the 4th Advanced Course on Petri Nets. Lectures on Concurrency and Petri Nets, from the 4th Advanced Course on Petri Nets, ACPN’03, Eichstätt, Germany, Lect. Notes Comput. Sci., vol. 3098, (2003), Springer), 819-848 · Zbl 1088.68135
[75] Kummer, O.; Wienberg, F.; Duvigneau, M.; Schumacher, J.; Köhler, M.; Moldt, D.; Rölke, H.; Valk, R., An extensible editor and simulation engine for Petri nets: renew, (Cortadella, J.; Reisig, W., Proceedings of the 25th International Conference on Applications and Theory of Petri Nets 2004. Proceedings of the 25th International Conference on Applications and Theory of Petri Nets 2004, ICATPN’04, Bologna, Italy. Proceedings of the 25th International Conference on Applications and Theory of Petri Nets 2004. Proceedings of the 25th International Conference on Applications and Theory of Petri Nets 2004, ICATPN’04, Bologna, Italy, Lect. Notes Comput. Sci., vol. 3099, (2004), Springer), 484-493 · Zbl 1094.68589
[76] Karjoth, G., Implementing LOTOS specifications by communicating state machines, (Cleaveland, R., Proceedings of the 3rd International Conference on Concurrency Theory. Proceedings of the 3rd International Conference on Concurrency Theory, CONCUR’92, Stony Brook, NY, USA. Proceedings of the 3rd International Conference on Concurrency Theory. Proceedings of the 3rd International Conference on Concurrency Theory, CONCUR’92, Stony Brook, NY, USA, Lect. Notes Comput. Sci., vol. 630, (1992), Springer), 386-400
[77] Karjoth, G.; Binding, C.; Gustafsson, J., LOEWE: a LOTOS engineering workbench, Comput. Netw. ISDN Syst., 25, 7, 853-874, (1993)
[78] de Cindio, F.; de Michelis, G.; Pomello, L.; Simone, C., Milner’s communicating systems and Petri nets, (Pagnoni, A.; Rozenberg, G., Proceedings of the 3rd European Workshop on Applications and Theory of Petri Nets. Proceedings of the 3rd European Workshop on Applications and Theory of Petri Nets, APN’82, Varenna, Italy. Proceedings of the 3rd European Workshop on Applications and Theory of Petri Nets. Proceedings of the 3rd European Workshop on Applications and Theory of Petri Nets, APN’82, Varenna, Italy, Informatik-Fachberichte, vol. 66, (1982), Springer), 40-59 · Zbl 0521.68059
[79] Goltz, U.; Mycroft, A., On the relationship of CCS and Petri nets, (Paredaens, J., Proceedings of the 11th Colloquium on Automata, Languages and Programming. Proceedings of the 11th Colloquium on Automata, Languages and Programming, ICALP’84, Antwerp, Belgium. Proceedings of the 11th Colloquium on Automata, Languages and Programming. Proceedings of the 11th Colloquium on Automata, Languages and Programming, ICALP’84, Antwerp, Belgium, Lect. Notes Comput. Sci., vol. 172, (1984), Springer), 196-208
[80] Goltz, U., On representing CCS programs by finite Petri nets, (Chytil, M.; Janiga, L.; Koubek, V., Proceedings of the 13th Symposium on Mathematical Foundations of Computer Science. Proceedings of the 13th Symposium on Mathematical Foundations of Computer Science, MFCS’88, Carlsbad, Czechoslovakia. Proceedings of the 13th Symposium on Mathematical Foundations of Computer Science. Proceedings of the 13th Symposium on Mathematical Foundations of Computer Science, MFCS’88, Carlsbad, Czechoslovakia, Lect. Notes Comput. Sci., vol. 324, (1988), Springer), 339-350 · Zbl 0649.68015
[81] Goltz, U., CCS and Petri nets, (Guessarian, I., Semantics of Systems of Concurrent Processes - Proceedings of the LITP Spring School on Theoretical Computer Science. Semantics of Systems of Concurrent Processes - Proceedings of the LITP Spring School on Theoretical Computer Science, La Roche Posay, France. Semantics of Systems of Concurrent Processes - Proceedings of the LITP Spring School on Theoretical Computer Science. Semantics of Systems of Concurrent Processes - Proceedings of the LITP Spring School on Theoretical Computer Science, La Roche Posay, France, Lect. Notes Comput. Sci., vol. 469, (1990), Springer), 334-357
[82] Nielsen, M., CCS and its relationship to net theory, (Brauer, W.; Reisig, W.; Rozenberg, G., Proceedings of an Advanced Course on Petri Nets: Central Models and Their Properties. Proceedings of an Advanced Course on Petri Nets: Central Models and Their Properties, APN’86, Part II, Bad Honnef, Germany. Proceedings of an Advanced Course on Petri Nets: Central Models and Their Properties. Proceedings of an Advanced Course on Petri Nets: Central Models and Their Properties, APN’86, Part II, Bad Honnef, Germany, Lect. Notes Comput. Sci., vol. 255, (1986), Springer), 393-415
[83] Francesco, N. D.; Montanari, U.; Yankelevich, D., Axiomatizing CCS, nets and processes, Sci. Comput. Program., 21, 3, 225-261, (1993) · Zbl 0801.68114
[84] Montanari, U.; Yankelevich, D., Combining CCS and Petri nets via structural axioms, Fundam. Inform., 20, 1/2/3, 193-229, (1994) · Zbl 0806.68042
[85] Boudol, G.; Castellani, I., Three equivalent semantics for CCS, (Guessarian, I., Semantics of Systems of Concurrent Processes - Proceedings of the LITP Spring School on Theoretical Computer Science. Semantics of Systems of Concurrent Processes - Proceedings of the LITP Spring School on Theoretical Computer Science, La Roche Posay, France. Semantics of Systems of Concurrent Processes - Proceedings of the LITP Spring School on Theoretical Computer Science. Semantics of Systems of Concurrent Processes - Proceedings of the LITP Spring School on Theoretical Computer Science, La Roche Posay, France, Lect. Notes Comput. Sci., vol. 469, (1990), Springer), 96-141
[86] Boudol, G.; Castellani, I., Flow models of distributed computations: three equivalent semantics for CCS, Inf. Comput., 114, 2, 247-314, (1994) · Zbl 0938.68715
[87] Gorrieri, R.; Montanari, U., Distributed implementation of CCS, (Rozenberg, G., Proceedings of the 12th International Conference on Applications and Theory of Petri Nets. Proceedings of the 12th International Conference on Applications and Theory of Petri Nets, APN’91, Gjern, Denmark. Proceedings of the 12th International Conference on Applications and Theory of Petri Nets. Proceedings of the 12th International Conference on Applications and Theory of Petri Nets, APN’91, Gjern, Denmark, Lect. Notes Comput. Sci., vol. 674, (1991), Springer), 244-266
[88] Gorrieri, R.; Montanari, U., On the implementation of concurrent calculi in net calculi: two case studies, Theor. Comput. Sci., 141, 1&2, 195-252, (1995) · Zbl 0873.68144
[89] Goltz, U.; Reisig, W., CSP-programs with individual tokens, (Rozenberg, G.; Genrich, H. J.; Roucairol, G., Proceedings of the 1983 and 1984 European Workshop on Applications and Theory in Petri Nets. Proceedings of the 1983 and 1984 European Workshop on Applications and Theory in Petri Nets, APN’84, Toulouse, France and Aarhus, Denmark. Proceedings of the 1983 and 1984 European Workshop on Applications and Theory in Petri Nets. Proceedings of the 1983 and 1984 European Workshop on Applications and Theory in Petri Nets, APN’84, Toulouse, France and Aarhus, Denmark, Lect. Notes Comput. Sci., vol. 188, (1984), Springer), 169-196
[90] Olderog, E.-R., Operational Petri net semantics for CCSP, (Rozenberg, G., Proceedings of the 7th European Workshop on Applications and Theory of Petri Nets. Proceedings of the 7th European Workshop on Applications and Theory of Petri Nets, APN’87, Oxford, UK. Proceedings of the 7th European Workshop on Applications and Theory of Petri Nets. Proceedings of the 7th European Workshop on Applications and Theory of Petri Nets, APN’87, Oxford, UK, Lect. Notes Comput. Sci., vol. 266, (1986), Springer), 196-223
[91] Olderog, E.-R., Nets, Terms, and Formulas: Three Views of Concurrent Processes and Their Relationship, (1991), Cambridge University Press · Zbl 0741.68002
[92] Taubner, D., Finite Representations of CCS and TCSP Programs by Automata and Petri Nets, Lect. Notes Comput. Sci., vol. 369, (1989), Springer · Zbl 0684.68011
[93] Taubner, D., Representing CCS programs by finite predicate/transition nets, Acta Inform., 27, 6, 533-565, (1990) · Zbl 0675.68035
[94] Hall, J. G.; Hopkins, R. P.; Botti, O.; de Cindio, F., A Petri Net Semantics of OCCAM2, (1991), University of Newcastle upon Tyne, Computing Laboratory, available from
[95] Hopkins, R. P.; Hall, J. G.; Botti, O., A basic-net algebra for program semantics and its application to OCCAM, (Rozenberg, G., Advances in Petri Nets - The DEMON Project. Advances in Petri Nets - The DEMON Project, Lect. Notes Comput. Sci., vol. 609, (1992), Springer), 179-214
[96] Cherkasova, L.; Kotov, V. E., Structured nets, (Gruska, J.; Chytil, M., Proceedings of the 10th Symposium on Mathematical Foundations of Computer Science. Proceedings of the 10th Symposium on Mathematical Foundations of Computer Science, MFCS’81, Strbske Pleso, Czechoslovakia. Proceedings of the 10th Symposium on Mathematical Foundations of Computer Science. Proceedings of the 10th Symposium on Mathematical Foundations of Computer Science, MFCS’81, Strbske Pleso, Czechoslovakia, Lect. Notes Comput. Sci., vol. 118, (1981), Springer), 242-251 · Zbl 0481.68057
[97] Cherkasova, L.; Kotov, V. E., Descriptive and analytical process algebras, (Rozenberg, G., Proceedings of the 9th European Workshop on Applications and Theory in Petri Nets. Proceedings of the 9th European Workshop on Applications and Theory in Petri Nets, Venice, Italy. Proceedings of the 9th European Workshop on Applications and Theory in Petri Nets. Proceedings of the 9th European Workshop on Applications and Theory in Petri Nets, Venice, Italy, Lect. Notes Comput. Sci., vol. 424, (1988), Springer), 77-104
[98] Cherkasova, L.; Kotov, V. E., An algebra of concurrent non-deterministic processes, Theor. Comput. Sci., 90, 1, 151-170, (1991) · Zbl 0735.68027
[99] Garg, V. K.; Ragunath, M. T., Concurrent regular expressions and their relationship to Petri nets, Theor. Comput. Sci., 96, 2, 285-304, (1992) · Zbl 0745.68080
[100] Lodaya, K.; Weil, P., Series-parallel posets: algebra, automata and languages, (Morvan, M.; Meinel, C.; Krob, D., Proceedings of the 15th Annual Symposium on Theoretical Aspects of Computer Science. Proceedings of the 15th Annual Symposium on Theoretical Aspects of Computer Science, STACS’98, Paris, France. Proceedings of the 15th Annual Symposium on Theoretical Aspects of Computer Science. Proceedings of the 15th Annual Symposium on Theoretical Aspects of Computer Science, STACS’98, Paris, France, Lect. Notes Comput. Sci., vol. 1373, (1998), Springer), 555-565 · Zbl 0892.68041
[101] Lodaya, K.; Weil, P., Series-parallel languages and the bounded-width property, Theor. Comput. Sci., 237, 1-2, 347-380, (2000) · Zbl 0939.68042
[102] Lodaya, K.; Ranganayakulu, D.; Rangarajan, K., Hierarchical structure of 1-safe Petri nets, (Saraswat, V. A., Proceedings of the 8th Asian Computing Science Conference on Programming Languages and Distributed Computation. Proceedings of the 8th Asian Computing Science Conference on Programming Languages and Distributed Computation, ASIAN’03, Mumbai, India. Proceedings of the 8th Asian Computing Science Conference on Programming Languages and Distributed Computation. Proceedings of the 8th Asian Computing Science Conference on Programming Languages and Distributed Computation, ASIAN’03, Mumbai, India, Lect. Notes Comput. Sci., vol. 2896, (2003), Springer), 173-187 · Zbl 1215.68156
[103] Best, E.; Devillers, R. R.; Hall, J. G., The box calculus: a new causal algebra with multi-label communication, (Rozenberg, G., Advances in Petri Nets - The DEMON Project. Advances in Petri Nets - The DEMON Project, Lect. Notes Comput. Sci., vol. 609, (1992), Springer), 21-69
[104] Best, E.; Devillers, R. R.; Esparza, J., General refinement and recursion operators for the Petri box calculus, (Enjalbert, P.; Finkel, A.; Wagner, K. W., Proceedings of the 10th Annual Symposium on Theoretical Aspects of Computer Science. Proceedings of the 10th Annual Symposium on Theoretical Aspects of Computer Science, STACS’93, Würzburg, Germany. Proceedings of the 10th Annual Symposium on Theoretical Aspects of Computer Science. Proceedings of the 10th Annual Symposium on Theoretical Aspects of Computer Science, STACS’93, Würzburg, Germany, Lect. Notes Comput. Sci., vol. 665, (1993), Springer), 130-140 · Zbl 0791.68122
[105] Koutny, M.; Esparza, J.; Best, E., Operational semantics for the Petri box calculus, (Jonsson, B.; Parrow, J., Proceedings of the 5th International Conference on Concurrency Theory. Proceedings of the 5th International Conference on Concurrency Theory, CONCUR’94, Uppsala, Sweden. Proceedings of the 5th International Conference on Concurrency Theory. Proceedings of the 5th International Conference on Concurrency Theory, CONCUR’94, Uppsala, Sweden, Lect. Notes Comput. Sci., vol. 836, (1994), Springer), 210-225
[106] Best, E.; Devillers, R. R.; Koutny, M., The box algebra - a model of nets and process expressions, (Donatelli, S.; Kleijn, H., Proceedings of the 20th International Conference on Application and Theory of Petri Nets. Proceedings of the 20th International Conference on Application and Theory of Petri Nets, ICATPN’99, Williamsburg, VA, USA. Proceedings of the 20th International Conference on Application and Theory of Petri Nets. Proceedings of the 20th International Conference on Application and Theory of Petri Nets, ICATPN’99, Williamsburg, VA, USA, Lect. Notes Comput. Sci., vol. 1639, (1999), Springer), 344-363
[107] Best, E.; Devillers, R. R.; Koutny, M., The box algebra = Petri nets + process expressions, Inf. Comput., 178, 1, 44-100, (2002) · Zbl 1012.68117
[108] Best, E.; Devillers, R. R.; Koutny, M., A unified model for nets and process algebras, (Bergstra, J.; Ponse, A.; Smolka, S., Handbook of Process Algebra, (2001), Elsevier), 873-944, Ch. 14 · Zbl 1006.68101
[109] Best, E.; Devillers, R. R.; Koutny, M., Petri net algebra, (EATCS Monographs in Theoretical Computer Science, (2001), Springer)
[110] Devillers, R. R.; Klaudel, H.; Koutny, M.; Pommereau, F., An algebra of non-safe Petri boxes, (Kirchner, H.; Ringeissen, C., Proceedings of the 9th International Conference on Algebraic Methodology and Software Technology. Proceedings of the 9th International Conference on Algebraic Methodology and Software Technology, AMAST’02, Saint-Gilles-les-Bains, Reunion Island, France. Proceedings of the 9th International Conference on Algebraic Methodology and Software Technology. Proceedings of the 9th International Conference on Algebraic Methodology and Software Technology, AMAST’02, Saint-Gilles-les-Bains, Reunion Island, France, Lect. Notes Comput. Sci., vol. 2422, (2002), Springer), 192-207 · Zbl 1275.68104
[111] Devillers, R. R.; Klaudel, H.; Koutny, M.; Pommereau, F., Asynchronous box calculus, Fundam. Inform., 54, 4, 295-344, (2003) · Zbl 1111.68536
[112] Devillers, R. R., Construction of S-invariants and S-components for refined Petri boxes, (Marsan, M. A., Proceedings of the 14th International Conference on Application and Theory of Petri Nets. Proceedings of the 14th International Conference on Application and Theory of Petri Nets, APN’93, Chicago, IL, USA. Proceedings of the 14th International Conference on Application and Theory of Petri Nets. Proceedings of the 14th International Conference on Application and Theory of Petri Nets, APN’93, Chicago, IL, USA, Lect. Notes Comput. Sci., vol. 691, (1993), Springer), 242-261
[113] Devillers, R. R., S-invariant analysis of general recursive Petri boxes, Acta Inform., 32, 4, 313-345, (1995) · Zbl 0827.68080
[114] Cheng, A.; Esparza, J.; Palsberg, J., Complexity results for 1-safe nets, Theor. Comput. Sci., 147, 1-2, 117-136, (1995) · Zbl 0873.68146
[115] Praveen, M.; Lodaya, K., Parameterized complexity results for 1-safe Petri nets, (Katoen, J.-P.; König, B., Proceedings of the 22nd International Conference on Concurrency Theory. Proceedings of the 22nd International Conference on Concurrency Theory, CONCUR’11, Aachen, Germany. Proceedings of the 22nd International Conference on Concurrency Theory. Proceedings of the 22nd International Conference on Concurrency Theory, CONCUR’11, Aachen, Germany, Lect. Notes Comput. Sci., vol. 6901, (2011), Springer), 358-372 · Zbl 1238.68103
[116] Alur, R., Efficient formal verification of hierarchical descriptions, (Arvind, V.; Ramanujam, R., Proceedings of the 18th Conference on the Foundations of Software Technology and Theoretical Computer Science. Proceedings of the 18th Conference on the Foundations of Software Technology and Theoretical Computer Science, Chennai, India. Proceedings of the 18th Conference on the Foundations of Software Technology and Theoretical Computer Science. Proceedings of the 18th Conference on the Foundations of Software Technology and Theoretical Computer Science, Chennai, India, Lect. Notes Comput. Sci., vol. 1530, (1998), Springer), 269
[117] Alur, R., Exploiting hierarchical structure for efficient formal verification, (Palamidessi, C., Proceedings of the 11th International Conference on Concurrency Theory. Proceedings of the 11th International Conference on Concurrency Theory, CONCUR’00, University Park, PA, USA. Proceedings of the 11th International Conference on Concurrency Theory. Proceedings of the 11th International Conference on Concurrency Theory, CONCUR’00, University Park, PA, USA, Lect. Notes Comput. Sci., vol. 1877, (2000), Springer), 66-68 · Zbl 0999.68559
[118] Benedikt, M.; Godefroid, P.; Reps, T. W., Model checking of unrestricted hierarchical state machines, (Orejas, F.; Spirakis, P. G.; van Leeuwen, J., Proceedings of the 28th International Colloquium on Automata, Languages and Programming. Proceedings of the 28th International Colloquium on Automata, Languages and Programming, ICALP’01, Crete, Greece. Proceedings of the 28th International Colloquium on Automata, Languages and Programming. Proceedings of the 28th International Colloquium on Automata, Languages and Programming, ICALP’01, Crete, Greece, Lect. Notes Comput. Sci., vol. 2076, (2001), Springer), 652-666 · Zbl 0986.68506
[119] Alur, R.; McDougall, M.; Yang, Z., Exploiting behavioral hierarchy for efficient model checking, (Brinksma, E.; Larsen, K. G., Proceedings of the 14th International Conference on Computer Aided Verification. Proceedings of the 14th International Conference on Computer Aided Verification, CAV’02, Copenhagen, Denmark. Proceedings of the 14th International Conference on Computer Aided Verification. Proceedings of the 14th International Conference on Computer Aided Verification, CAV’02, Copenhagen, Denmark, Lect. Notes Comput. Sci., vol. 2404, (2002), Springer), 338-342 · Zbl 1010.68503
[120] Alur, R., Formal analysis of hierarchical state machines, (Dershowitz, N., Verification: Theory and Practice - Essays Dedicated to Zohar Manna on the Occasion of His 64th Birthday. Verification: Theory and Practice - Essays Dedicated to Zohar Manna on the Occasion of His 64th Birthday, Lect. Notes Comput. Sci., vol. 2772, (2003), Springer), 42-66 · Zbl 1274.68172
[121] Alur, R.; Benedikt, M.; Etessami, K.; Godefroid, P.; Reps, T. W.; Yannakakis, M., Analysis of recursive state machines, ACM Trans. Program. Lang. Syst., 27, 4, 786-818, (2005)
[122] Notomi, M.; Murata, T., Hierarchically organized Petri net state space for reachability and deadlock analysis, (Prasanna, V. K.; Canter, L. H., Proceedings of the 6th International Parallel Processing Symposium. Proceedings of the 6th International Parallel Processing Symposium, Beverly Hills, CA, USA, (1992), IEEE Computer Society), 616-623
[123] Notomi, M.; Murata, T., Hierarchical reachability graph of bounded Petri nets for concurrent-software analysis, IEEE Trans. Softw. Eng., 20, 5, 325-336, (1994) · Zbl 0810.68099
[124] Buchholz, P., A hierarchical view of GCSPNs and its impact on qualitative and quantitative analysis, J. Parallel Distrib. Comput., 15, 3, 207-224, (1992) · Zbl 0763.68052
[125] Buchholz, P., Hierarchies in colored GSPNs, (Marsan, M. A., Proceedings of 14th International Conference on Application and Theory of Petri Nets. Proceedings of 14th International Conference on Application and Theory of Petri Nets, ICATPN’93, Chicago, IL, USA. Proceedings of 14th International Conference on Application and Theory of Petri Nets. Proceedings of 14th International Conference on Application and Theory of Petri Nets, ICATPN’93, Chicago, IL, USA, Lect. Notes Comput. Sci., vol. 691, (1993), Springer), 106-125
[126] Buchholz, P.; Kemper, P., Modular state level analysis of distributed systems techniques and tool support, (Cleaveland, R., Proceedings of the 5th International Conference on Tools and Algorithms for Construction and Analysis of Systems. Proceedings of the 5th International Conference on Tools and Algorithms for Construction and Analysis of Systems, TACAS’99, Amsterdam, The Netherlands. Proceedings of the 5th International Conference on Tools and Algorithms for Construction and Analysis of Systems. Proceedings of the 5th International Conference on Tools and Algorithms for Construction and Analysis of Systems, TACAS’99, Amsterdam, The Netherlands, Lect. Notes Comput. Sci., vol. 1579, (1999), Springer), 420-434
[127] Buchholz, P.; Kemper, P., Hierarchical reachability graph generation for Petri nets, Form. Methods Syst. Des., 21, 3, 281-315, (2002) · Zbl 1020.68058
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. It attempts to reflect the references listed in the original paper as accurately as possible without claiming the completeness or perfect precision of the matching.