, A fleet of self-driving trucks just completed a 1,000-mile trip across europe, pp.2016-2020
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. ,
, High-level nets with nets and rules as tokens, pp.268-288, 2005.
Object nets for mobility, pp.244-262, 2007. ,
Object Petri nets using the nets-within-nets paradigm, Lecture notes in computer science, pp.819-848, 2004. ,
Nested petri nets -a formalism for specification and verification of multi-agent distributed systems, Fundamenta Informaticae, vol.43, issue.1, pp.195-214, 2000. ,
Checking properties of adaptive workflow nets, Fundamenta Informaticae, vol.79, pp.347-362, 2007. ,
A three-level net formalism for the modelling of multiple mobile robot systems, IEEE International Conference on, vol.3, pp.2733-2738, 2003. ,
Applying a nested petri net modeling paradigm to coordination of sensor networks with mobile agents, PNDS 2008, Proceedings, Xian, China, pp.132-145, 2008. ,
Nets-within-nets to model innovative space system architectures, ICATPN 2012, vol.7347, pp.348-367, 2012. ,
Cpn tools-assisted simulation and verification of nested petri nets, Automatic Control and Computer Sciences, vol.47, issue.7, pp.393-402, 2013. ,
, Model checking multi-level and recursive nets, Software & Systems Modeling (2016) 1
On compositionality of boundedness and liveness for nested petri nets, Fundamenta Informaticae, vol.120, issue.3-4, pp.275-293, 2012. ,
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. ,
Structural place invariants for analyzing the behavioral properties of nested petri nets, ICATPN 2016, Proceedings, pp.325-344, 2016. ,
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. ,
Coloured Petri Nets -Modelling and Validation of Concurrent Systems, 2009. ,
Nested petri nets for adaptive process modeling, Pillars of Computer Science, vol.4800, pp.460-474, 2008. ,
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. ,
Nested petri nets: Multi-level and recursive systems, Fundamenta Informaticae, vol.47, pp.283-293, 2001. ,
Understanding Petri Nets -Modeling Techniques, Analysis Methods, Case Studies, 2013. ,
, Petri Nets: An Introduction, 1985.
Free Choice Petri Nets, Cambridge Tracts in Theoretical Computer Science, 2005. ,
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
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. ,
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. ,
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. ,