E. Badouel, . Darondeau, and L. Bernardinello, Polynomial algorithms for the synthesis of bounded nets, Proccedings Caap 95, Lecture notes in computer science 915, pp.364-378, 1994.
DOI : 10.1007/3-540-59293-8_207

URL : https://hal.archives-ouvertes.fr/inria-00074358

F. Charbonnier, H. Alla, and D. R. , The Supervised Control of Discrete-Event Dynamic Systems, IEEE Transactions on control systems technology, vol.7, issue.2, 1999.

G. Ciardo, Y. Zhao, and X. J. , Ten Years of Saturation: A Petri Net Perspective, ToPNoC V, pp.51-95, 2012.
DOI : 10.1007/978-3-642-29072-5_3

R. David and H. Alla, Petri Nets and Grafcet, Tools for Modelling Discrete Event Systems, 1992.

J. Desel and J. Esparza, Negotiations and Petri Nets, Proceedings of the International Workshop on Petri Nets and Software, Engineering PNSE'15, 2015.
DOI : 10.1109/MC.2003.1236471

A. Dideban, Synthèse de contrôleurs discrets par simplification de contraintes et de conditions, Thèse de Doctorat PhD, 2007.

D. Elhog-benzina, S. Haddad, and R. Hennicker, Refinement and Asynchronous Composition of Modal Petri Nets, Lecture Notes in Computer Science LNCS, vol.6900, 2012.
DOI : 10.1007/978-3-642-29072-5_4

S. Jensen, J. Donatelli, and G. Kleijn, Partial 2-structures, Part II: State Spaces of Concurrent Systems, Acta Informatica, vol.26, pp.96-120, 1990.

J. E. Falk, Y. Bandurova, and L. Yeganova, Set separation problems and global optimization, Third world congress of nonlinear analysts, pp.47-1857, 2001.
DOI : 10.1016/S0362-546X(01)00316-9

J. Ferrier and J. Boimond, Systèmes dynamiques à événement discrets Du modèle à la commande, 2013.

G. Feuillade and S. Pinchinat, Sp??cifications modales de r??seaux de Petri, MSR'05, pp.287-301, 2005.
DOI : 10.3166/jesa.39.287-301

H. Gougam, A. Subias, and Y. Pencolé, Diagnosticabilité de motifs de supervision par dépliage de réseaux de Petri, Manifestation avec acte : 5e Journées Doctorales, Journées Nationales MACS, pp.139-144, 2013.

R. Kumar, Supervisory synthesis techniques for discrete event dynamical systems, Thesis PhD, 1991.

R. Kumar, V. Garg, and V. I. Marcus, On controllability and normality of discrete event dynamical systems, Systems & Control Letters, vol.17, issue.3, pp.157-158, 1991.
DOI : 10.1016/0167-6911(91)90061-I

P. Marangé, T. Abdelouahed, F. Gellot, and V. Carré-ménétrier, Etude du comportement global d'un SED en vue de la validation de sa commande sp??cifi??e par Grafcet, Journal Europ??en des Syst??mes Automatis??s, vol.42, issue.1, pp.63-94, 2009.
DOI : 10.3166/jesa.42.63-94

J. O. Moody and P. J. Antsaklis, Supervisory control of discrete event systems using petri nets, springer-science + business media Un nouvel algorithme pour la synthèse de la commande des systèmes à événements discrets. Troisième conférence francophone de modélisation et simulation, new york Nourelfath Mustapha, 1998.

M. Nourelfath and E. Niel, Relaxation du concept de contrôlabilité pour une synthèse de la commande des systèmes de production, Première Conférence Internationale Francophone d'Automatique (CIFA), pp.5-8, 2000.

P. J. Ramadge and W. M. Wonham, Supervisory control of a class of discrete event processes, Lecture Notes in Computer Science (LNCIS), vol.63, pp.477-498, 1983.

C. Ramchandani, Analysis of Asynchronous Concurrent Systems by Petri Nets, Massachusetts. Institute of Technology, 1974.

J. M. Roussel, Contribution à la commande sûre des Systèmes à Evènements Discrets. Habilitation à diriger des recherches, 2015.

V. Andra-ioana, Synthèse de contrôleurs des systèmes à événements discrets basée sur les réseaux de Pétri, Thèse PhD, 2012.

H. Wimmel, Infinity of intermediate states is decidable for Petri Nets, Lecture Notes in Computer Science, applications and theory of Petri Nets international Conference, LNCS, vol.3099, pp.426-434, 2004.