Dualities between nets and automata induced by schizophrenic objects, Proc. 6th Intnl. Conf. CTCS, LNCS 953, pp.24-43, 1995. ,
URL : https://hal.archives-ouvertes.fr/inria-00074223
Finite completeness of categories of Petri nets, Fundamenta Informaticae, vol.43, pp.1-4, 2000. ,
On concurrent realization of reactive systems and their morphisms Unifying Petri Nets ? Advances in Petri nets, LNCS, vol.2128, pp.346-379, 2001. ,
Synthesis of net systems, Proc. Application and Theory of Petri Nets, pp.89-105, 1993. ,
DOI : 10.1007/3-540-56863-8_42
Towards modular synthesis of EN systems Synthesis and Control of Discrete Event Systems, pp.103-113, 2002. ,
Partial (set) 2 structures, I & II, Acta Informatica, vol.27, issue.4, pp.315-368, 1990. ,
Elementary transition systems, Theoretical Computer Science, vol.96, issue.1, pp.3-32, 1992. ,
Elementary transition systems and refinement, Acta Informatica, vol.29, pp.555-578, 1992. ,
Deterministic asynchronous automata, Formal Methods in Programming, pp.317-345, 1985. ,
DOI : 10.1007/3-540-15641-0_26
Campus scientifique, 615 rue du Jardin Botanique Irisa, Campus universitaire de Beaulieu, 35042 RENNES Cedex Unité de recherche INRIA Rhône-Alpes, p.78153, 2004. ,