The logical view on continuous Petri nets, ACM Trans. Comput. Log, vol.18, issue.3, 2017. ,
URL : https://hal.archives-ouvertes.fr/hal-01652793
Reset nets between decidability and undecidability, ICALP'98, vol.1443, pp.103-115, 1998. ,
A recursive model for distributed planning, ICMAS 1996, pp.307-314, 1996. ,
Coverability and termination in recursive Petri nets, Proceedings of Petri Nets, vol.11522, pp.429-448, 2019. ,
URL : https://hal.archives-ouvertes.fr/hal-02081019
Coverability and termination in recursive Petri nets, 2019. ,
URL : https://hal.archives-ouvertes.fr/hal-02081019
A well-structured framework for analysing Petri net extensions. Information and Computation, vol.195, pp.1-29, 2004. ,
Well-structured transition systems everywhere! Theor, Comput. Sci, vol.256, issue.1-2, pp.63-92, 2001. ,
Theoretical aspects of recursive Petri nets, LNCS, vol.1639, pp.228-247, 1999. ,
URL : https://hal.archives-ouvertes.fr/hal-01574369
Modelling and Analyzing Systems with Recursive Petri Nets, WODES 2000, pp.449-458, 2000. ,
URL : https://hal.archives-ouvertes.fr/hal-01573071
Recursive Petri nets, Acta Informatica, vol.44, issue.7-8, pp.463-508, 2007. ,
URL : https://hal.archives-ouvertes.fr/hal-02511321
On functions weakly computable by Petri nets and vector addition systems, RP 2014, vol.8762, pp.190-202, 2014. ,
URL : https://hal.archives-ouvertes.fr/hal-01084971
Nested petri nets: Multi-level and recursive systems, Fundam. Inform, vol.47, issue.3-4, pp.283-293, 2001. ,
Process rewrite systems, Inf. Comput, vol.156, issue.1-2, pp.264-286, 2000. ,
Self-modifying nets, a natural extension of Petri nets, ICALP'78, vol.62, pp.464-476, 1978. ,