R. Alur and M. Yannakakis, Model Checking of Hierarchical State Machines, Proc. ACM SIGSOFT Int. Symp. on Foundations of Software Engineering, pp.175-188, 1998.

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

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

E. Best, R. R. Devillers, and J. G. Hall, The box calculus: A new causal algebra with multi-label communication, Advances in Petri Nets, pp.21-69, 1992.
DOI : 10.1007/3-540-55610-9_167

E. Best, R. R. Devillers, and M. Koutny, The Box Algebra ???; A Model of Nets and Process Expressions, ICATPN'99, pp.344-363, 1999.
DOI : 10.1007/3-540-48745-X_21

E. Best, R. R. Devillers, and M. Koutny, A Unified Model for Nets and Process Algebras, Handbook of Process Algebra, 2001.
DOI : 10.1016/B978-044482830-9/50032-1

E. Best, R. R. Devillers, and M. Koutny, Petri Net Algebra, EATCS Monographs in Theoretical Computer Science, 2001.
DOI : 10.1007/978-3-662-04457-5

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

G. Boudol and I. Castellani, Three equivalent semantics for CCS, Semantics of Systems of Concurrent Processes, pp.96-141, 1990.
DOI : 10.1007/3-540-53479-2_5

URL : https://hal.archives-ouvertes.fr/inria-00075078

G. Boudol and I. Castellani, Flow Models of Distributed Computations: Three Equivalent Semantics for CCS, Information and Computation, vol.114, issue.2, 1994.
DOI : 10.1006/inco.1994.1088

URL : https://hal.archives-ouvertes.fr/inria-00075078

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

F. De-cindio, G. De-michelis, L. Pomello, and C. Simone, Milner???s Communicating Systems and Petri Nets, APN'82, Informatik-Fachberichte, 1982.
DOI : 10.1007/978-3-642-69028-0_4

P. Degano, R. De-nicola, and U. Montanari, A distributed operational semantics for CCS based on condition/event systems, Acta Informatica, vol.72, issue.1-2, 1988.
DOI : 10.1007/BF02915446

R. R. Devillers, Construction of S-invariants and S-components for refined Petri boxes, APN'93, pp.242-261, 1993.
DOI : 10.1007/3-540-56863-8_50

R. R. Devillers, S-invariant analysis of general recursive Petri boxes, Acta Informatica, vol.32, issue.4, 1995.
DOI : 10.1007/s002360050018

R. R. Devillers, H. Klaudel, M. Koutny, and F. Pommereau, An Algebra of Non-safe Petri Boxes, AMAST'02, pp.192-207, 2002.
DOI : 10.1007/3-540-45719-4_14

G. Dittrich, Specification with Nets ? Report on Activities in Connection with " Requirements Capture with Nets, EU- ROCAST'89, 1989.

R. Fehling, A concept of hierarchical Petri nets with building blocks, APN'91, pp.148-168, 1991.
DOI : 10.1007/3-540-56689-9_43

N. D. Francesco, U. Montanari, and D. Yankelevich, Axiomatizing CCS, nets and processes, Science of Computer Programming, vol.21, issue.3, 1993.
DOI : 10.1016/0167-6423(93)90010-M

H. Garavel, Compilation et Vérification de Programmes LOTOS, 1989.

H. Garavel, F. Lang, R. Mateescu, and W. Serwe, CADP 2011: a toolbox for the construction and analysis of distributed processes, International Journal on Software Tools for Technology Transfer, vol.1, issue.1/2, 2013.
DOI : 10.1007/s10009-012-0244-z

URL : https://hal.archives-ouvertes.fr/hal-00715056

H. Garavel and W. Serwe, State Space Reduction for Process Algebra Specifications, Th. Comp. Sci, vol.351, issue.2, 2006.
DOI : 10.1007/978-3-540-27815-3_16

URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.158.7148

H. Garavel and J. Sifakis, Compilation and Verification of LOTOS Specifications, Proc. 10th Int. Symp. on Protocol Specification, Testing and Verification (PSTV'90), 1990.

H. Garavel and M. Sighireanu, On the Introduction of Exceptions in E-LOTOS, Proc. Int. Joint Conf. on Formal Description Techniques and Protocol Specification , Testing, and Verification FORTE/PSTV'96, 1996.
DOI : 10.1007/978-0-387-35079-0_30

U. Goltz, On representing CCS programs by finite petri nets, MFCS'88, pp.339-350, 1988.
DOI : 10.1007/BFb0017157

U. Goltz, CCS and petri nets, Semantics of Systems of Concurrent Processes, pp.334-357, 1990.
DOI : 10.1007/3-540-53479-2_14

U. Goltz and A. Mycroft, On the relationship of CCS and petri nets, LNCS, vol.84, issue.172, pp.196-208, 1984.
DOI : 10.1007/3-540-13345-3_18

U. Goltz and W. Reisig, Csp-programs as nets with individual tokens, LNCS, vol.84, issue.188, pp.169-196, 1984.
DOI : 10.1007/3-540-15204-0_11

R. Gorrieri and U. Montanari, Distributed implementation of CCS, APN'91, pp.244-266, 1991.
DOI : 10.1007/3-540-56689-9_46

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, 1995.
DOI : 10.1016/0304-3975(94)00073-R

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

A. Hamez, Y. Thierry-mieg, and F. Kordon, Building Efficient Model Checkers using Hierarchical Set Decision Diagrams and Automatic Saturation, Fundamenta Informaticae, vol.94, pp.3-4, 2009.
DOI : 10.1007/978-3-540-68746-7_16

URL : https://hal.archives-ouvertes.fr/hal-01121192

D. Harel, Statecharts: a visual formalism for complex systems, Science of Computer Programming, vol.8, issue.3, pp.231-274, 1987.
DOI : 10.1016/0167-6423(87)90035-9

X. He, A formal definition of hierarchical predicate transition nets, APN'96, pp.212-229, 1996.
DOI : 10.1007/3-540-61363-3_12

X. He and J. Lee, A Methodology for Constructing Predicate Transition Net Specifications . Software, Practice & Experience, vol.21, issue.8, 1991.

X. He and T. Murata, High-Level Petri Nets???Extensions, Analysis, and Applications, 2005.
DOI : 10.1016/B978-012170960-0/50035-9

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, pp.179-214, 1992.
DOI : 10.1007/3-540-55610-9_172

P. Huber, K. Jensen, and R. M. Shapiro, Hierarchies in Coloured Petri Nets, APN'91, pp.313-341, 1989.

I. Iec, LOTOS ? A Formal Description Technique Based on the Temporal Ordering of Observational Behaviour, International Standard ISO/IEC, vol.8807, 1989.

I. Iec, High-level Petri Nets ? Part 2: Transfer Format, International Standard ISO, pp.15909-15911, 2011.

K. Jensen, Coloured Petri Nets ? Basic Concepts, Analysis Methods and Practical Use ? EATCS Monographs on Th. Computer Science, vol.1, 1992.

G. Karjoth, Implementing LOTOS specifications by communicating state machines, CONCUR'92, pp.386-400, 1992.
DOI : 10.1007/BFb0084805

URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.6.5200

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

A. Kerbrat, Méthodes Symboliques pour la Vérification de Processus Communicants: Etude et Mise en OEuvre, Univ. J. Fourier (Grenoble), 1994.

V. E. Kotov, An algebra for parallelism based on petri nets, MFCS'78, pp.39-55, 1978.
DOI : 10.1007/3-540-08921-7_55

V. E. Kotov and L. Cherkasova, On structural properties of generalized processes, LNCS, vol.84, issue.188, pp.288-306, 1984.
DOI : 10.1007/3-540-15204-0_17

O. Kummer, F. Wienberg, M. Duvigneau, J. Schumacher, M. Köhler et al., An Extensible Editor and Simulation Engine for Petri Nets: Renew, LNCS, vol.3099, pp.484-493, 2004.
DOI : 10.1007/978-3-540-27793-4_29

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

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

U. Montanari and D. Yankelevich, Combining CCS and Petri Nets Via Structural Axioms, Fundamenta Informaticae, vol.20, issue.123, 1994.

T. Murata, Petri Nets, Proc. of the IEEE, 1989.
DOI : 10.1016/B978-0-08-036201-4.50126-0

M. Nielsen, CCS ??? and its relationship to net theory, APN'86 (Part I), pp.393-415, 1986.
DOI : 10.1007/3-540-17906-2_32

J. D. Noe, Nets in modeling and simulation, LNCS, vol.84, pp.347-368, 1980.
DOI : 10.1007/3-540-10001-6_32

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

E. R. Olderog, Operational Petri net semantics for CCSP, LNCS, vol.87, issue.266, pp.196-223, 1986.
DOI : 10.1007/3-540-18086-9_27

E. R. Olderog, Nets, Terms, and Formulas: Three Views of Concurrent Processes and Their Relationship, 1991.
DOI : 10.1017/CBO9780511526589

J. L. Peterson, Petri Nets, ACM Computing Surveys, vol.9, issue.3, 1977.
DOI : 10.1145/356698.356702

I. Suzuki and T. Murata, Stepwise Refinements of Transitions and Places, APN'81, Informatik-Fachberichte, 1981.
DOI : 10.1007/978-3-642-68353-4_23

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, 1983.
DOI : 10.1016/0022-0000(83)90029-6

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

D. Taubner, Representing CCS programs by finite predicate/transition nets, Acta Informatica, vol.27, issue.6, 1989.
DOI : 10.1007/BF00277389

R. Valette, Analysis of petri nets by stepwise refinements, Journal of Computer and System Sciences, vol.18, issue.1, 1979.
DOI : 10.1016/0022-0000(79)90050-3

R. Valk, Petri Nets as Token Objects, ICATPN'98, pp.1-25, 1998.
DOI : 10.1007/3-540-69108-1_1

R. Valk, Object Petri Nets, ACPN'03, pp.819-848, 2003.
DOI : 10.1007/978-3-540-27755-2_23

R. J. Van-glabbeek and F. W. Vaandrager, Petri net models for algebraic theories of concurrency, LNCS, vol.87, issue.259, pp.224-242, 1987.
DOI : 10.1007/3-540-17945-3_13