Systèmes à évolutions parallèles : modélisation pour réseaux de Petri à capacité et analyse par abstraction, Thèse d'état, 1981. ,
Some decision problems related to the reachability problem for Petri nets, Theoretical Computer Science, vol.3, issue.1, pp.1-1, 1977. ,
DOI : 10.1016/0304-3975(76)90067-0
Nets Enriched over Closed Monoidal Structures, Lecture Notes in Computer Science, vol.2679, pp.64-81, 2003. ,
DOI : 10.1007/3-540-44919-1_8
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.404.5262
Petri Algebras, Lecture Notes in Computer Science, vol.3580, pp.742-754, 2005. ,
DOI : 10.1007/11523468_60
URL : https://hal.archives-ouvertes.fr/hal-01102950
« An axiomatization of the token game based on Petri Algebras, Fundamenta Informaticae, pp.3-3, 2007. ,
Theory of regions, Theory of regions, pp.529-586, 1999. ,
DOI : 10.1007/3-540-65306-6_22
Reset nets between decidability and undecidability, Lecture Notes in Computer Science, vol.1443, issue.98, pp.103-115, 1998. ,
DOI : 10.1007/BFb0055044
Elements of general net theory, Elements of General Net Theory Advanced Course on General Net Theory of Processes and Systems : Net Theory and Applications, pp.21-163, 1979. ,
DOI : 10.1007/3-540-10001-6_22
Synthèse des /2-nets, 2003. ,
« Group-nets and strict-group-nets », Petri Net Newsletter, pp.17-25, 2004. ,
Petri Net Languages, CSG Memo 124, 1975. ,
« Recursive Petri Nets -Theory and Application to Discrete Event Systems, Acta Informatica, vol.44, pp.7-7, 2007. ,
On the reachability problem for 5-dimensional vector addition systems, Theoretical Computer Science, vol.8, issue.2, pp.135-159, 1979. ,
DOI : 10.1016/0304-3975(79)90041-0
Coloured Petri nets Basic Concepts, Analysis Methods and Practical Use EATCS Monographs on Theoritical Computer Science, vol.1, 1992. ,
Algebraically Generalised Petri Nets, 1998. ,
Parallel program schemata, Journal of Computer and System Sciences, vol.3, issue.2, pp.147-195, 1969. ,
DOI : 10.1016/S0022-0000(69)80011-5
Nets with Tokens Which Carry Data, Lecture Notes in Computer Science, vol.4546, pp.301-320, 2007. ,
DOI : 10.1007/978-3-540-73094-1_19
Petri nets: Properties, analysis and applications, Proceedings of the IEEE, pp.541-588, 1989. ,
DOI : 10.1109/5.24143
Abstract Petri Nets : Uniform Approach and Rule-Based Refinement, 1996. ,
Self-modifying nets, a natural extension of Petri nets, Lecture Notes in Computer Science, vol.62, pp.78-464, 1978. ,
DOI : 10.1007/3-540-08860-1_35