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. ,
Distributing Finite Automata Through Petri Net Synthesis, Formal Aspects of Computing, vol.13, issue.6, pp.447-470, 2002. ,
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
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.
of Cambridge Tracts in Theoretical Computer Science, vol.40, 1995. ,
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. ,
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
State Space Reduction for Process Algebra Specifications, Theoretical Computer Science, vol.351, issue.2, pp.131-145, 2006. ,
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
Report MAC-TR 94 of the MIT Project MAC. See also: Michel Hack, Massachusetts Institute of Technology, 1972. ,
Extended State-Machine Allocatable Nets (ESMA), an Extension of Free Choice Petri Net Results. MIT Project MAC, Computation Structures Group, pp.78-79, 1974. ,
High-level Petri Nets -Part 2: Transfer Format. International Standard 15909-2:2011, International Organization for Standardization -Information Technology -Systems and Software Engineering, 2011. ,
Nets, Sequential Components and Concurrency Relations, Theoretical Computer Science, vol.29, pp.87-121, 1984. ,
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. ,
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 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. ,
Decomposition into open nets, Algorithmen und Werkzeuge für Petrinetze (AWPN'09), pp.29-34, 2009. ,
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. ,
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. ,
Distribution and Synchronized Automata, Theoretical Computer Science, vol.76, issue.2-3, pp.285-308, 1990. ,
Elementary Net Systems, Wolfgang Reisig and Grzegorz Rozenberg, vol.1491, pp.12-121, 1996. ,
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. ,
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. ,
Analyse von Petri-Netz-Modellen. Leitfäden und Monographien der Informatik, 1990. ,
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. ,
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. ,
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. ,