E. Badouel, L. Bernardinello, and P. Darondeau, Polynomial algorithms for the synthesis of bounded nets, Proc. CAAP, pp.647-679, 1995.
DOI : 10.1007/3-540-59293-8_207
URL : https://hal.archives-ouvertes.fr/inria-00074358

E. Badouel, B. Caillaud, and P. Darondeau, Distributing Finite Automata Through Petri Net Synthesis, Formal Aspects of Computing, vol.13, issue.6, pp.447-470, 2002.
DOI : 10.1007/s001650200022

L. Bernardinello, G. De-michelis, K. Petruni, and S. Vigna, On the Synchronic Sructure of Transition Systems, Structures in Concurrency Theory, Workshops on Computing, pp.11-31, 1996.

L. Bernardinello, Synthesis of net systems, Proc. ATPN, pp.11-31, 1993.
DOI : 10.1007/3-540-56863-8_42

J. Cortadella, M. Kishinevsky, L. Lavagno, and A. Yakovlev, Deriving Petri nets from finite transition systems, IEEE Transactions on Computers, vol.47, issue.8, pp.859-882, 1998.
DOI : 10.1109/12.707587

S. Christensen and L. Petrucci, Modular State Space Analysis of Coloured Petri nets, Proc. ATPN, pp.201-217, 1995.

P. Darondeau, Region Based Synthesis of P/T-Nets and Its Potential Applications, Proc. ATPN, pp.16-23, 2000.
DOI : 10.1007/3-540-44988-4_2

J. Desel and W. Reisig, The synthesis problem of Petri nets, Acta Informatica, vol.254, issue.1, pp.297-315, 1996.
DOI : 10.1007/s002360050046

C. Duboc, Mixed product and asynchronous automata, Theoretical Computer Science, vol.48, issue.3, pp.183-199, 1986.
DOI : 10.1016/0304-3975(86)90094-0
URL : http://doi.org/10.1016/0304-3975(86)90094-0

A. Ehrenfeucht and G. Rozenberg, Partial (set) 2-structures, Acta Informatica, vol.27, issue.4, pp.315-342, 1990.
DOI : 10.1007/BF00264611

A. Ehrenfeucht and G. Rozenberg, Partial (set) 2-structures, Acta Informatica, vol.27, issue.4, pp.343-368, 1990.
DOI : 10.1007/BF00264612

A. Ghaffari, Les réseaux de Petri pour la synthèse de contrôle des systèmes à événements discrets, 2002.

A. Ghaffari, N. Rezg, and X. Xie, Design of a live and maximally permissive petri net controller using the theory of regions, IEEE Transactions on Robotics and Automation, vol.19, issue.1, pp.137-142, 2003.
DOI : 10.1109/TRA.2002.807555

M. Mukund, PETRI NETS AND STEP TRANSITION SYSTEMS, International Journal of Foundations of Computer Science, vol.03, issue.04, pp.443-478, 1992.
DOI : 10.1142/S0129054192000231

L. Petrucci, Modélisation, vérification et applications. Mémoire d'habilitation à diriger des recherches, 2002.