, A fleet of self-driving trucks just completed a 1,000-mile trip across europe, pp.2016-2020

R. Valk, Petri nets as token objects: An introduction to elementary object nets, Proceedings of the 19th International Conference on Application and Theory of Petri Nets, pp.1-25, 1998.

K. Hoffmann, H. Ehrig, and T. Mossakowski, High-level nets with nets and rules as tokens, pp.268-288, 2005.

M. Köhler and B. Farwer, Object nets for mobility, pp.244-262, 2007.

R. Valk, Object Petri nets using the nets-within-nets paradigm, Lecture notes in computer science, pp.819-848, 2004.

I. Lomazova, Nested petri nets -a formalism for specification and verification of multi-agent distributed systems, Fundamenta Informaticae, vol.43, issue.1, pp.195-214, 2000.

K. M. Van-hee, O. Oanea, A. Serebrenik, N. Sidorova, M. Voorhoeve et al., Checking properties of adaptive workflow nets, Fundamenta Informaticae, vol.79, pp.347-362, 2007.

E. Lopez-mellado and H. Almeyda-canepa, A three-level net formalism for the modelling of multiple mobile robot systems, IEEE International Conference on, vol.3, pp.2733-2738, 2003.

L. Chang, X. He, J. Li, and S. M. Shatz, Applying a nested petri net modeling paradigm to coordination of sensor networks with mobile agents, PNDS 2008, Proceedings, Xian, China, pp.132-145, 2008.

F. Cristini and C. Tessier, Nets-within-nets to model innovative space system architectures, ICATPN 2012, vol.7347, pp.348-367, 2012.

L. Dworza?ski and I. Lomazova, Cpn tools-assisted simulation and verification of nested petri nets, Automatic Control and Computer Sciences, vol.47, issue.7, pp.393-402, 2013.

M. L. Venero and F. S. Da-silva, Model checking multi-level and recursive nets, Software & Systems Modeling (2016) 1

L. Dworzanski and I. Lomazova, On compositionality of boundedness and liveness for nested petri nets, Fundamenta Informaticae, vol.120, issue.3-4, pp.275-293, 2012.

L. Dworzanski and D. Frumin, Npntool: Modelling and analysis toolset for nested petri nets, Proceedings of the 7th Spring/Summer Young Researchers' Colloquium on Software Engineering, pp.9-14, 2013.

L. W. Dworzanski and I. A. Lomazova, Structural place invariants for analyzing the behavioral properties of nested petri nets, ICATPN 2016, Proceedings, pp.325-344, 2016.

M. Minoux and K. Barkaoui, Deadlocks and traps in petri nets as horn-satisfiability solutions and some related polynomially solvable problems, Discrete Applied Mathematics, vol.29, issue.2-3, pp.90144-90146, 1990.

K. Jensen and L. M. Kristensen, Coloured Petri Nets -Modelling and Validation of Concurrent Systems, 2009.

I. A. Lomazova, Nested petri nets for adaptive process modeling, Pillars of Computer Science, vol.4800, pp.460-474, 2008.

M. Hack, The recursive equivalence of the reachability problem and the liveness problem for petri nets and vector addition systems, IEEE Conference Record of 15th Annual Symposium on, pp.156-164, 1974.

I. A. Lomazova, Nested petri nets: Multi-level and recursive systems, Fundamenta Informaticae, vol.47, pp.283-293, 2001.

W. Reisig, Understanding Petri Nets -Modeling Techniques, Analysis Methods, Case Studies, 2013.

W. Reisig, Petri Nets: An Introduction, 1985.

J. Desel and J. Esparza, Free Choice Petri Nets, Cambridge Tracts in Theoretical Computer Science, 2005.

F. Nabli, T. Martinez, F. Fages, and S. Soliman, On enumerating minimal siphons in petri nets using clp and sat solvers: theoretical and practical complexity, Constraints, vol.21, issue.2, p.251, 2016.
URL : https://hal.archives-ouvertes.fr/hal-01170962

R. Cordone, L. Ferrarini, and L. Piroddi, Some results on the computation of minimal siphons in petri nets, in: Decision and Control, Proceedings. 42nd IEEE Conference on, vol.4, pp.3754-3759, 2003.

R. Cordone, L. Ferrarini, and L. Piroddi, Enumeration algorithms for minimal siphons in petri nets based on place constraints, IEEE Trans. Systems, Man, and Cybernetics, Part A, vol.35, issue.6, pp.844-854, 2005.

M. Minoux, Ltur: A simplified linear-time unit resolution algorithm for horn formulae and computer implementation, Information Processing Letters, vol.29, issue.1, pp.1-12, 1988.