B. , E. , and P. Darondeau, 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

B. , M. A. Borzyszkowski, A. M. , and R. Somla, Finite completeness of categories of Petri nets, Fundamenta Informaticae, vol.43, pp.1-4, 2000.

B. , M. A. , and A. M. Borzyszkowski, On concurrent realization of reactive systems and their morphisms Unifying Petri Nets ? Advances in Petri nets, LNCS, vol.2128, pp.346-379, 2001.

L. Bernardinello, Synthesis of net systems, Proc. Application and Theory of Petri Nets, pp.89-105, 1993.
DOI : 10.1007/3-540-56863-8_42

L. Bernardinello, F. , C. , and L. Pomello, Towards modular synthesis of EN systems Synthesis and Control of Discrete Event Systems, pp.103-113, 2002.

E. , A. , and G. Rozenberg, Partial (set) 2 structures, I & II, Acta Informatica, vol.27, issue.4, pp.315-368, 1990.

N. , M. Rozenberg, G. , and P. S. Thiagarajan, Elementary transition systems, Theoretical Computer Science, vol.96, issue.1, pp.3-32, 1992.

N. , M. Rozenberg, G. , and P. S. Thiagarajan, Elementary transition systems and refinement, Acta Informatica, vol.29, pp.555-578, 1992.

M. Shields, Deterministic asynchronous automata, Formal Methods in Programming, pp.317-345, 1985.
DOI : 10.1007/3-540-15641-0_26

I. Unité-de-recherche, . Lorraine, V. Technopôle-de-nancy-brabois, I. Lès-nancy-unité-de-recherche, and . Rennes, 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.