M. Elvio-gilberto-amparore, S. Beccuti, and . Donatelli, Gradient-Based Variable Ordering of Decision Diagrams for Systems with Structural Units, Proceedings of the 15th International Symposium on Automated Technology for Verification and Analysis (ATVA'17), vol.10482, pp.184-200, 2017.

E. Badouel, B. Caillaud, and P. Darondeau, Distributing Finite Automata Through Petri Net Synthesis, Formal Aspects of Computing, vol.13, issue.6, pp.447-470, 2002.

S. Balaguer, T. Chatain, and S. Haar, A Concurrency-Preserving Translation from Time Petri Nets to Networks of Timed Automata, Formal Methods in System Design, vol.40, issue.3, pp.330-355, 2012.
URL : https://hal.archives-ouvertes.fr/inria-00504058

L. Bernardinello and C. Fiorella-de, A Survey of Basic Net Models and Modular Net Classes, Advances in Petri Nets -The DEMON Project, vol.609, pp.304-351, 1992.

, Revised Selected Papers of the 8th International Andrei Ershov Memorial Conference on Perspectives of Systems Informatics (PSI'11), vol.7162, pp.1-18, 2011.

J. Desel and J. Esparza, of Cambridge Tracts in Theoretical Computer Science, vol.40, 1995.

R. Eshuis, Translating Safe Petri Nets to Statecharts in a Structure-Preserving Way, Proceedings of the 2nd World Congress on Formal Methods (FM'09), vol.5850, pp.239-255, 2009.

H. Garavel, Nested-Unit Petri Nets, Journal of Logical and Algebraic Methods in Programming, vol.104, pp.60-85, 2019.
URL : https://hal.archives-ouvertes.fr/hal-02072190

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

B. Genest, D. Kuske, and A. Muscholl, On Communicating Automata with Bounded Channels, Fundamenta Informaticae, vol.80, issue.1-3, pp.147-167, 2007.
URL : https://hal.archives-ouvertes.fr/hal-00306256

H. T. Michel and . Hack, Report MAC-TR 94 of the MIT Project MAC. See also: Michel Hack, Massachusetts Institute of Technology, 1972.

H. T. Michel and . Hack, Extended State-Machine Allocatable Nets (ESMA), an Extension of Free Choice Petri Net Results. MIT Project MAC, Computation Structures Group, pp.78-79, 1974.

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

R. Janicki, Nets, Sequential Components and Concurrency Relations, Theoretical Computer Science, vol.29, pp.87-121, 1984.

A. Karatkevich and G. Andrzejewski, Hierarchical Decomposition of Petri Nets for Digital Microsystems Design, Proceedings of the 2006 International Conference on Modern Problems of Radio Engineering, Telecommunications, and Computer Science, pp.518-521, 2006.

A. Kovalyov, Concurrency Relations and the Safety Problem for Petri Nets, Proceedings of the 13th International Conference on Application and Theory of Petri Nets (ICATPN'92), vol.616, pp.299-309, 1992.

A. Kovalyov and J. Esparza, A Polynomial Algorithm to Compute the Concurrency Relation of Free-choice Signal Transition Graphs, Proceedings of the 3rd Workshop on Discrete Event Systems (WODES'96), pp.1-6, 1996.

S. Mennicke, O. Oanea, and K. Wolf, Decomposition into open nets, Algorithmen und Werkzeuge für Petrinetze (AWPN'09), pp.29-34, 2009.

J. Munoz-gama, J. Carmona, M. P. Wil, and . Van-der-aalst, Hierarchical Conformance Checking of Process Models Based on Event Logs, Proceedings of the 34th International Conference on Applications and Theory of Petri Nets (PETRI NETS'13), vol.7927, pp.291-310, 2013.

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.

A. Petit, Distribution and Synchronized Automata, Theoretical Computer Science, vol.76, issue.2-3, pp.285-308, 1990.

G. Rozenberg and J. Engelfriet, Elementary Net Systems, Wolfgang Reisig and Grzegorz Rozenberg, vol.1491, pp.12-121, 1996.

K. Schmidt, Using Petri Net Invariants in State Space Construction, Proceedings of the 9th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS'03), vol.2619, pp.473-488, 2003.

A. Semenov and A. Yakovlev, Combining Partial Orders and Symbolic Traversal for Efficient Verification of Asynchronous Circuits, Proceedings of the 12th International Conference on Computer Hardware Description Languages and their Applications (CHDL'95), 1995.

H. Peter and . Starke, Analyse von Petri-Netz-Modellen. Leitfäden und Monographien der Informatik, 1990.

R. J. Van-glabbeek, U. Goltz, and J. Schicke-uffmann, On Distributability of Petri Nets, Proceedings of the 15th International Conference on the Foundations of Software Science and Computational Structures (FoSSaCS'12), vol.7213, pp.331-345, 2012.

R. Wi?niewski, A. Karatkevich, M. Adamski, A. Costa, and L. Gomes, Prototyping of Concurrent Control Systems With Application of Petri Nets and Comparability Graphs, IEEE Transactions on Control Systems Technology, vol.26, issue.2, pp.575-586, 2018.

R. Wi?niewski, M. Wi?niewska, and M. Jarnut, C-Exact Hypergraphs in Concurrency and Sequentiality Analyses of Cyber-Physical Systems Specified by Safe Petri Nets, IEEE Access, vol.7, pp.13510-13522, 2019.