R. J. Van-glabbeek and F. W. Vaandrager, Petri Net Models for Algebraic Theories of Concurrency, Proceedings of the 1st International Conference on Parallel Architectures and Languages Europe (PARLE'87), vol.II, pp.224-242, 1987.

R. Milner, A Calculus of Communicating Systems, vol.92, 1980.

J. A. Bergstra and J. W. Klop, Process Algebra for Synchronous Communication, Information and Computation, vol.60, pp.109-137, 1984.
DOI : 10.1016/s0019-9958(84)80025-x
URL : https://doi.org/10.1016/s0019-9958(84)80025-x

S. D. Brookes, C. A. Hoare, and A. W. Roscoe, A Theory of Communicating Sequential Processes, J. ACM, vol.31, issue.3, pp.560-599, 1984.

. Iso/iec and . 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, 1989.

A. W. Mazurkiewicz and T. Theory, Proceedings of an Advanced Course on Petri Nets: Central Models and Their Properties, vol.255, pp.279-324, 1986.

G. Winskel, Event Structures, Proceedings of an Advanced Course on Petri Nets: Central Models and Their Properties, Part II, vol.255, pp.325-392, 1986.
URL : https://hal.archives-ouvertes.fr/hal-00148921

G. Boudol, I. Castellani, M. Hennessy, and A. Kiehn, A Theory of Processes with Localities, vol.6, pp.165-200, 1994.
URL : https://hal.archives-ouvertes.fr/inria-00074929

G. Boudol, I. Castellani, M. Hennessy, and A. Kiehn, Observing Localities, Proceedings of the 16th International Symposium on Mathematical Foundations of Computer Science (MFCS'91), vol.520, pp.93-102, 1991.
DOI : 10.1007/3-540-54345-7_52
URL : https://hal.archives-ouvertes.fr/inria-00075077

G. Boudol, I. Castellani, M. Hennessy, and A. Kiehn, Proceedings of the 3rd International Conference on Concurrency Theory (CONCUR'92), vol.630, pp.108-122, 1992.

I. Castellani, Observing Distribution in Processes
URL : https://hal.archives-ouvertes.fr/inria-00074395

, Proceedings of the 18th International Symposium on Mathematical Foundations of Computer Science (MFCS'93), vol.711, pp.321-331, 1993.

G. Boudol, I. Castellani, M. Hennessy, and A. Kiehn, Observing Localities, Theoretical Computer Science, vol.114, issue.1, pp.31-61, 1993.
DOI : 10.1007/3-540-54345-7_52
URL : https://hal.archives-ouvertes.fr/inria-00075077

I. Castellani, Observing Distribution in Processes: Static and Dynamic Localities, International Journal on Foundations of Computer Science, vol.6, issue.4, pp.353-393, 1995.
URL : https://hal.archives-ouvertes.fr/inria-00074395

M. Mukund and M. Nielsen, Proceedings of the 12th Conference on Foundations of Software Technology and Theoretical Computer Science, vol.652, pp.328-341, 1992.

L. Aceto, A Static View of Localities, Formal Aspects of Computing, vol.6, issue.2, pp.201-222, 1994.
URL : https://hal.archives-ouvertes.fr/inria-00075079

I. Castellani, Process Algebras with Localities, vol.15, pp.945-1045, 2001.
DOI : 10.1016/b978-044482830-9/50033-3

H. Garavel, F. Lang, R. Mateescu, and W. Serwe, CADP 2011: A Toolbox for the Construction and Analysis of Distributed Processes, vol.15, pp.89-107, 2013.
URL : https://hal.archives-ouvertes.fr/hal-00715056

H. Garavel, Compilation et vérification de programmes LOTOS, 1989.

H. Garavel and J. Sifakis, Compilation and Verification of LOTOS Specifications, Proceedings of the 10th IFIP International Symposium on Protocol Specification, Testing and Verification (PSTV'90), pp.379-394, 1990.

H. Garavel and W. Serwe, State Space Reduction for Process Algebra Specifications, Theoretical Computer Science, vol.351, issue.2, pp.131-145, 2006.

F. Kordon, H. Garavel, L. M. Hillah, E. Paviot-adet, L. Jezequel et al., MCC'2015 -The Fifth Model Checking Contest, pp.262-273, 2016.
DOI : 10.1007/978-3-662-53401-4_12
URL : https://hal.archives-ouvertes.fr/hal-01361274

F. Kordon, H. Garavel, L. Hillah, E. Paviot-adet, L. Jezequel et al., MCC'2017 -The Seventh Model Checking Contest, pp.181-209, 2018.
DOI : 10.1007/978-3-662-58381-4_9
URL : https://hal.archives-ouvertes.fr/hal-01917492

L. Bernardinello and F. De-cindio, A Survey of Basic Net Models and Modular Net Classes, Advances in Petri Nets -The DE-MON Project, vol.609, pp.304-351, 1992.

G. Rozenberg and J. Engelfriet, Elementary Net Systems, Lectures on Petri Nets I: Basic Models, vol.1491, pp.12-121, 1996.

P. Degano, R. De-nicola, and U. Montanari, A Distributed Operational Semantics for CCS Based on Condition/Event Systems, Acta Informatica, vol.26, issue.1, pp.59-91, 1988.

G. Memmi and G. , Linear Algebra in Net Theory, Net Theory and Applications -Proceedings of the Advanced Course on General Net Theory of Processes and Systems, vol.84, pp.213-223, 1979.
DOI : 10.1007/3-540-10001-6_24

K. Lautenbach, Proceedings of an Advanced Course on Petri Nets: Central Models and Their Properties (APN'86, Part I), vol.254, pp.142-167, 1986.

T. Murata, Petri Nets: Analysis and Applications, Proceedings of the IEEE, vol.77, issue.4, pp.541-580, 1989.

D. Harel, Statecharts: A visual formalism for complex systems, Sci. Comput. Programming, vol.8, issue.3, pp.231-274, 1987.
DOI : 10.1016/0167-6423(87)90035-9
URL : https://doi.org/10.1016/0167-6423(87)90035-9

R. Alur and M. Yannakakis, Model Checking of Hierarchical State Machines, Proceedings of the ACM SIGSOFT International Symposium on Foundations of Software Engineering, pp.175-188, 1998.

R. Alur, S. Kannan, and M. Yannakakis, Communicating Hierarchical State Machines, Proceedings of the 26th International Colloquium on Automata, Languages and Programming (ICALP'99), vol.1644, pp.169-178, 1999.

H. Garavel and M. Sighireanu, 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), pp.469-484, 1996.

K. Jensen, Coloured Petri Nets -Basic Concepts, EATCS Monographs on Theoretical Computer Science, vol.1, 1992.

K. Hamaguchi, H. Hiraishi, and S. Yajima, Design Verification of Asynchronous Sequential Circuits Using Symbolic Model Checking, Proceedings of the International Symposium on Logic Synthesis and Microprocessor Architecture, pp.84-90, 1992.

E. Pastor, O. Roig, J. Cortadella, and R. M. Badia, Petri Net Analysis Using Boolean Manipulation, Proceedings of the 15th International Conference on Application and Theory of Petri Nets (ICATPN'94), vol.815, pp.416-435, 1994.
DOI : 10.1007/3-540-58152-9_23
URL : https://upcommons.upc.edu/bitstream/2117/134309/4/PRCB94a.pdf

G. Janssen, Proceedings of the 16th Annual Symposium on Integrated Circuits and Systems Design (SBCCI'03), pp.217-222, 2003.

A. Kerbrat, Méthodes symboliques pour la vérification de processus communicants: Etude et mise en oeuvre, 1994.

E. Pastor and J. Cortadella, Efficient Encoding Schemes for Symbolic Analysis of Petri Nets, Proceedings on the International Conference on Design, Automation and Test in Europe (DATE'98), pp.790-795, 1998.

E. Pastor, J. Cortadella, and M. A. Peña, Structural Methods to Improve the Symbolic Analysis of Petri Nets, Proceedings of the 20th International Conference Application and Theory of Petri Nets (ICATPN'99), vol.1639, pp.26-45, 1999.

R. Goud, K. M. Van-hee, R. D. Post, and J. M. Van-der-werf, Petriweb: A repository for petri nets, Proceedings of the 27th International Conference on Applications and Theory of Petri Nets and Other Models of Concurrency (ICATPN'06), vol.4024, pp.411-420, 2006.

J. Esparza and P. J. Meyer, An SMT-based Approach to Fair Termination Analysis, Proceedings of the 15th Conference on Formal Methods in Computer-Aided Design (FMCAD'15), pp.49-56, 2015.

H. Garavel, Proceedings of the 36th International Conference on Application and Theory of Petri Nets and Concurrency (PETRI NETS'15), vol.9115, pp.179-199, 2015.

N. Arora, Comparison of Encoding Schemes for Symbolic Model Checking of Bounded Petri Nets, p.11511, 2010.

G. Ciardo, Y. Zhao, and X. Jin, Ten Years of Saturation: A Petri Net Perspective, Transactions on Petri Nets and Other Models of Concurrency, vol.6900, pp.51-95, 2012.

A. Hamez, Y. Thierry-mieg, and F. Kordon, Building Efficient Model Checkers using Hierarchical Set Decision Diagrams and Automatic Saturation, Fundamenta Informaticae, vol.94, issue.3-4, pp.413-437, 2009.
URL : https://hal.archives-ouvertes.fr/hal-01121192

Y. Thierry-mieg, D. Poitrenaud, A. Hamez, and F. Kordon, Proceedings of the 15th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS'09), vol.5505, pp.1-15, 2009.

. 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, 2011.

B. Steffen, M. Jasper, J. Meijer, and J. Van-de-pol, Property-Preserving Generation of Tailored Benchmark Petri Nets, Proceedings of the 17th International Conference on Application of Concurrency to System Design (ACSD'17), pp.1-8, 2017.

E. G. Amparore, M. Beccuti, and S. Donatelli, Stochastic) Model Checking in GreatSPN, Proceedings of the 35th International Conference on the Application and Theory of Petri Nets and Concurrency (PETRI NETS'14), vol.8489, pp.354-363, 2014.

Y. Thierry-mieg, Proceedings of the 21st International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS'15), vol.9035, pp.231-237, 2015.

K. Wolf, Running LoLA 2.0 in a Model Checking Competition, Transactions on Petri Nets and Other Models of Concurrency, vol.11, pp.274-285, 2016.

G. Kant, A. Laarman, J. Meijer, J. Van-de-pol, S. Blom et al., LTSmin: High-Performance Language-Independent Model Checking, Proceedings of the 21st International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS'15), vol.9035, pp.692-707, 2015.

A. Hamez, A Symbolic Model Checker for Petri Nets: pnmc, Transactions on Petri Nets and Other Models of Concurrency, vol.11, pp.297-306, 2016.

B. Berthomieu, P. Ribet, and F. Vernadat, The Tool TINA -Construction of Abstract State Spaces for Petri Nets and Time Petri Nets, International Journal of Production Research, vol.42, issue.14, pp.2741-2756, 2004.

H. Garavel, F. Lang, W. Serwe, L. From, and . Lnt, ModelEd, TestEd, TrustEd -Essays Dedicated to Ed Brinksma on the Occasion of His 60th Birthday, vol.10500, pp.3-26, 2017.

M. Jasper, M. Fecke, B. Steffen, M. Schordan, J. Meijer et al., Proceedings of the 24th ACM SIG-SOFT International SPIN Symposium on Model Checking of Software (SPIN'17), pp.11-20, 2017.

X. He and T. Murata, High-Level Petri Nets -Extensions, Electrical Engineering Handbook, pp.459-476, 2005.

G. Dittrich, Requirements Capture with Nets, Proceedings of the International Workshop on Computer-Aided Systems Theory (EUROCAST'89), vol.410, pp.111-124, 1989.

P. Huber, K. Jensen, and R. M. Shapiro, Hierarchies in Coloured Petri Nets, Proceedings of the 10th International Conference on Applications and Theory of Petri Nets (APN'91), vol.483, pp.313-341, 1989.

R. Fehling, Proceedings of the 12th International Conference on Applications and Theory of Petri Nets (APN'91), vol.674, pp.148-168, 1991.

X. He and J. Lee, A Methodology for Constructing Predicate Transition Net Specifications, Software, Practice & Experience, vol.21, issue.8, pp.845-875, 1991.
DOI : 10.1002/spe.4380210806

X. He, A Formal Definition of Hierarchical Predicate Transition Nets, Proceedings of the 17th International Conference on Application and Theory of Petri Nets (APN'96), vol.1091, pp.212-229, 1996.

J. D. Noe and G. J. Nutt, Macro E-Nets for Representation of Parallel Systems, IEEE Transactions on Computers C, vol.22, issue.8, pp.718-727, 1973.
DOI : 10.1109/tc.1973.5009150

J. D. Noe, Net Theory and Applications -Proceedings of the Advanced Course on General Net Theory of Processes and Systems, vol.84, pp.347-368, 1980.

J. L. Peterson and P. Nets, ACM Computing Surveys, vol.9, issue.3, pp.223-252, 1977.

R. Valette, Analysis of Petri Nets by Stepwise Refinements, Journal of Computer and System Sciences, vol.18, issue.1, pp.35-46, 1979.
DOI : 10.1016/0022-0000(79)90050-3
URL : https://doi.org/10.1016/0022-0000(79)90050-3

V. E. Kotov, An Algebra for Parallelism Based on Petri Nets, Proceedings of the 7th Symposium on Mathematical Foundations of Computer Science (MFCS'78), vol.64, pp.39-55, 1978.
DOI : 10.1007/3-540-08921-7_55

V. E. Kotov and L. Cherkasova, On Structural Properties of Generalized Processes, Proceedings of the 1983 and 1984 European Workshop on Applications and Theory in Petri Nets (APN'84), vol.188, pp.288-306, 1984.
DOI : 10.1007/3-540-15204-0_17

I. Suzuki and T. Murata, Proceedings of the 1st and 2nd European Workshops on Application and Theory of Petri Nets (APN'81), vol.52, pp.136-141, 1981.

I. Suzuki and T. Murata, A Method for Stepwise Refinement and Abstraction of Petri Nets, Journal of Computer and System Sciences, vol.27, issue.1, pp.51-76, 1983.
DOI : 10.1016/0022-0000(83)90029-6
URL : https://doi.org/10.1016/0022-0000(83)90029-6

I. A. Lomazova, Nested Petri Nets -a Formalism for Specification and Verification of Multi-Agent Distributed Systems, Fundamenta Informaticae, vol.43, issue.1-4, pp.195-214, 2000.

I. A. Lomazova, Nested Petri Nets: Multi-level and Recursive Systems, Fundamenta Informaticae, vol.47, issue.3-4, pp.283-293, 2001.

R. Valk, Proceedings of the 19th International Conference on Application and Theory of Petri Nets (ICATPN'98), vol.1420, pp.1-25, 1998.

R. Valk, Object Petri Nets: Using the Nets-within-Nets Paradigm, Lectures on Concurrency and Petri Nets, from the 4th Advanced Course on Petri Nets (ACPN'03), vol.3098, pp.819-848, 2003.

O. Kummer, F. Wienberg, M. Duvigneau, J. Schumacher, M. Köhler et al., An Extensible Editor and Simulation Engine for Petri Nets: Renew, Proceedings of the 25th International Conference on Applications and Theory of Petri Nets 2004 (ICATPN'04), vol.3099, pp.484-493, 2004.
DOI : 10.1007/978-3-540-27793-4_29

G. Karjoth, Implementing LOTOS Specifications by Communicating State Machines, Proceedings of the 3rd International Conference on Concurrency Theory (CONCUR'92), vol.630, pp.386-400, 1992.
DOI : 10.1007/bfb0084805

G. Karjoth, C. Binding, and J. Gustafsson, LOEWE: A LOTOS Engineering Workbench, Computer Networks and ISDN Systems, vol.25, issue.7, pp.853-874, 1993.
DOI : 10.1016/0169-7552(93)90052-6

F. De-cindio, G. De-michelis, L. Pomello, and C. Simone, Milner's Communicating Systems and Petri Nets, Proceedings of the 3rd European Workshop on Applications and Theory of Petri Nets (APN'82), vol.66, pp.40-59, 1982.

U. Goltz and A. Mycroft, On the Relationship of CCS and Petri Nets, Proceedings of the 11th Colloquium on Automata, Languages and Programming (ICALP'84), vol.172, pp.196-208, 1984.

U. Goltz, Proceedings of the 13th Symposium on Mathematical Foundations of Computer Science (MFCS'88), vol.324, pp.339-350, 1988.

U. Goltz and P. Nets, Semantics of Systems of Concurrent Processes -Proceedings of the LITP Spring School on Theoretical Computer Science, vol.469, pp.334-357, 1990.

M. Nielsen, Proceedings of an Advanced Course on Petri Nets: Central Models and Their Properties (APN'86, Part II), vol.255, pp.393-415, 1986.

N. D. Francesco, U. Montanari, and D. Yankelevich, Axiomatizing CCS, Nets and Processes, vol.21, pp.225-261, 1993.

U. Montanari and D. Yankelevich, Combining CCS and Petri Nets Via Structural Axioms, Fundamenta Informaticae, vol.20, issue.1/2/3, pp.193-229, 1994.

G. Boudol and I. Castellani, Semantics of Systems of Concurrent Processes -Proceedings of the LITP Spring School on Theoretical Computer Science, vol.469, pp.96-141, 1990.

G. Boudol and I. Castellani, Flow Models of Distributed Computations: Three Equivalent Semantics for CCS, Information and Computation, vol.114, issue.2, pp.247-314, 1994.
URL : https://hal.archives-ouvertes.fr/inria-00075078

R. Gorrieri and U. Montanari, Proceedings of the 12th International Conference on Applications and Theory of Petri Nets (APN'91), vol.674, pp.244-266, 1991.

R. Gorrieri and U. Montanari, On the Implementation of Concurrent Calculi in Net Calculi: Two Case Studies, Theoretical Computer Science, vol.141, issue.1&2, pp.195-252, 1995.

U. Goltz and W. Reisig, Proceedings of the, 1983.

, Petri Nets (APN'84), vol.188, pp.169-196, 1984.

E. Olderog, Operational Petri Net Semantics for CCSP, Proceedings of the 7th European Workshop on Applications and Theory of Petri Nets (APN'87), vol.266, pp.196-223, 1986.

E. Olderog, Nets, Terms, and Formulas: Three Views of Concurrent Processes and Their Relationship, 1991.

D. Taubner, Finite Representations of CCS and TCSP Programs by Automata and Petri Nets, vol.369, 1989.

D. Taubner, Representing CCS Programs by Finite Predicate/Transition Nets, Acta Informatica, vol.27, issue.6, pp.533-565, 1990.

J. G. Hall, R. P. Hopkins, O. Botti, and F. De-cindio, A Petri Net Semantics of OCCAM2, 1991.

R. P. Hopkins, J. G. Hall, and O. Botti, A Basic-net Algebra for Program Semantics and its Application to OCCAM, Advances in Petri Nets -The DEMON Project, vol.609, pp.179-214, 1992.

L. Cherkasova and V. E. Kotov, Structured nets, Proceedings of the 10th Symposium on Mathematical Foundations of Computer Science (MFCS'81), vol.118, pp.242-251, 1981.

L. Cherkasova and V. E. Kotov, Descriptive and Analytical Process Algebras, Proceedings of the 9th European Workshop on Applications and Theory in Petri Nets, vol.424, pp.77-104, 1988.

L. Cherkasova and V. E. Kotov, An Algebra of Concurrent Non-Deterministic Processes, Theoretical Computer Science, vol.90, issue.1, pp.151-170, 1991.

V. K. Garg and M. T. Ragunath, Concurrent Regular Expressions and Their Relationship to Petri Nets, Theoretical Computer Science, vol.96, issue.2, pp.285-304, 1992.
DOI : 10.1016/0304-3975(92)90339-h
URL : https://doi.org/10.1016/0304-3975(92)90339-h

K. Lodaya and P. Weil, Proceedings of the 15th Annual Symposium on Theoretical Aspects of Computer Science (STACS'98), vol.1373, pp.555-565, 1998.

K. Lodaya and P. Weil, Series-Parallel Languages and the Bounded-Width Property, vol.237, pp.347-380, 2000.

K. Lodaya, D. Ranganayakulu, and K. Rangarajan, Hierarchical Structure of 1-Safe Petri Nets, Proceedings of the 8th Asian Computing Science Conference on Programming Languages and Distributed Computation (ASIAN'03), vol.2896, pp.173-187, 2003.

E. Best, R. R. Devillers, and J. G. Hall, The Box Calculus: A New Causal Algebra with Multi-Label Communication, Advances in Petri Nets -The DEMON Project, vol.609, pp.21-69, 1992.

E. Best, R. R. Devillers, and J. Esparza, General Refinement and Recursion Operators for the Petri Box Calculus

. Wagner, Proceedings of the 10th Annual Symposium on Theoretical Aspects of Computer Science (STACS'93), vol.665, pp.130-140, 1993.

M. Koutny, J. Esparza, and E. Best, Operational Semantics for the Petri Box Calculus, Proceedings of the 5th International Conference on Concurrency Theory (CONCUR'94), vol.836, pp.210-225, 1994.

E. Best, R. R. Devillers, and M. Koutny, The Box Algebra -A Model of Nets and Process Expressions, Proceedings of the 20th International Conference on Application and Theory of Petri Nets (ICATPN'99), vol.1639, pp.344-363, 1999.

E. Best, R. R. Devillers, and M. Koutny, The Box Algebra = Petri Nets + Process Expressions, Information and Computation, vol.178, issue.1, pp.44-100, 2002.

E. Best, R. R. Devillers, and M. Koutny, A Unified Model for Nets and Process Algebras, Handbook of Process Algebra, pp.873-944, 2001.

E. Best, R. R. Devillers, and M. Koutny, Petri Net Algebra, EATCS Monographs in Theoretical Computer Science, 2001.

R. R. Devillers, H. Klaudel, M. Koutny, and F. Pommereau, An Algebra of Non-safe Petri Boxes, Proceedings of the 9th International Conference on Algebraic Methodology and Software Technology (AMAST'02), vol.2422, pp.192-207, 2002.

R. R. Devillers, H. Klaudel, M. Koutny, and F. Pommereau, Fundamenta Informaticae, vol.54, issue.4, pp.295-344, 2003.

R. R. Devillers, Construction of S-invariants and S-components for Refined Petri Boxes, Proceedings of the 14th International Conference on Application and Theory of Petri Nets (APN'93), vol.691, pp.242-261, 1993.

R. R. Devillers, S-Invariant Analysis of General Recursive Petri Boxes, Acta Informatica, vol.32, issue.4, pp.313-345, 1995.

A. Cheng, J. Esparza, and J. Palsberg, Complexity Results for 1-Safe Nets, Theoretical Computer Science, vol.147, issue.1-2, pp.117-136, 1995.

M. Praveen and K. Lodaya, Parameterized Complexity Results for 1-safe Petri Nets, Proceedings of the 22nd International Conference on Concurrency Theory (CONCUR'11), vol.6901, pp.358-372, 2011.

R. Alur, Efficient Formal Verification of Hierarchical Descriptions, Proceedings of the 18th Conference on the Foundations of Software Technology and Theoretical Computer Science, vol.1530, p.269, 1998.

R. Alur, Exploiting Hierarchical Structure for Efficient Formal Verification, Proceedings of the 11th International Conference on Concurrency Theory (CONCUR'00), vol.1877, pp.66-68, 2000.

M. Benedikt, P. Godefroid, and T. W. Reps, Model checking of unrestricted hierarchical state machines, Proceedings of the 28th International Colloquium on Automata, Languages and Programming (ICALP'01), vol.2076, pp.652-666, 2001.
DOI : 10.1007/3-540-48224-5_54

R. Alur, M. Mcdougall, and Z. Yang, Exploiting Behavioral Hierarchy for Efficient Model Checking, Proceedings of the 14th International Conference on Computer Aided Verification (CAV'02), vol.2404, pp.338-342, 2002.
DOI : 10.1007/3-540-45657-0_25
URL : https://link.springer.com/content/pdf/10.1007%2F3-540-45657-0_25.pdf

R. Alur, Verification: Theory and Practice -Essays Dedicated to Zohar Manna on the Occasion of His 64th Birthday, vol.2772, pp.42-66, 2003.

R. Alur, M. Benedikt, K. Etessami, P. Godefroid, T. W. Reps et al., Analysis of Recursive State Machines, vol.27, pp.786-818, 2005.

M. Notomi and T. Murata, Hierarchically Organized Petri Net State Space for Reachability and Deadlock Analysis, Proceedings of the 6th International Parallel Processing Symposium, pp.616-623, 1992.
DOI : 10.1109/ipps.1992.222996

M. Notomi and T. Murata, Hierarchical Reachability Graph of Bounded Petri Nets for Concurrent-Software Analysis, IEEE Transactions on Software Engineering, vol.20, issue.5, pp.325-336, 1994.

P. Buchholz, A Hierarchical View of GCSPNs and Its Impact on Qualitative and Quantitative Analysis, vol.15, pp.207-224, 1992.

P. Buchholz, Proceedings of 14th International Conference on Application and Theory of Petri Nets (ICATPN'93), vol.691, pp.106-125, 1993.

P. Buchholz and P. Kemper, Proceedings of the 5th International Conference on Tools and Algorithms for Construction and Analysis of Systems (TACAS'99), vol.1579, pp.420-434, 1999.

P. Buchholz and P. Kemper, Hierarchical Reachability Graph Generation for Petri Nets, Formal Methods in System Design, vol.21, issue.3, pp.281-315, 2002.