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

S. Balemi, Control of Discrete Event Systems: Theory and Application, Thesis for the degree of Doctor of Technical Sciences, 1992.

F. Basile, P. Chiacchio, and A. Giua, Suboptimal supervisory control of Petri nets in presence of uncontrollable transitions via monitor places, Automatica, vol.42, issue.6, pp.995-1004, 2006.
DOI : 10.1016/j.automatica.2006.02.003

R. K. Boel, L. Ben-naoum, V. Breusegem, and V. , On forbidden state problems for a class of controlled Petri nets, IEEE Transactions on Automatic Control, vol.40, issue.10, pp.1717-1731, 1995.
DOI : 10.1109/9.467679

B. A. Brandin and W. M. Wonham, Supervisory control of timed discrete-event systems, IEEE Transactions on Automatic Control, vol.39, issue.2, pp.329-342, 1994.
DOI : 10.1109/9.272327

F. Charbonnier, Commande supervisée des systèmes à événements discrets, 1996.

R. David and H. Alla, Discrete, Continuous, and Hybrid Petri Nets, pp.1-3, 2005.
DOI : 10.1007/978-3-642-10669-9
URL : https://hal.archives-ouvertes.fr/hal-00495611

A. Dideban and H. Alla, From forbidden state to linear constraints for the optimal supervisory control, CEAI, vol.7, issue.3, pp.48-55, 2005.
URL : https://hal.archives-ouvertes.fr/hal-00156019

A. Dideban, Synth??se optimale d'un contr??leur par construction de l'ensemble minimal de contraintes, Journal Europ??en des Syst??mes Automatis??s, vol.39, issue.1-3, pp.5-127, 2005.
DOI : 10.3166/jesa.39.127-141

A. Dideban and H. Alla, Synthesis of Feedback Control Logic for Safe and Controlled Petri Nets, Iranian Conference on Electrical Engineering, pp.16-18, 2006.
URL : https://hal.archives-ouvertes.fr/hal-00136620

A. Dideban and H. Alla, Solving the Problem of Forbidden States by Feedback Control Logical Synthesis, IECON 2006, 32nd Annual Conference on IEEE Industrial Electronics, 2006.
DOI : 10.1109/IECON.2006.347486
URL : https://hal.archives-ouvertes.fr/hal-00114264

A. Dideban and H. Alla, Determination of Minimal Sets of Control Places for Safe Petri Nets, 2007 American Control Conference, pp.11-13, 2007.
DOI : 10.1109/ACC.2007.4282215
URL : https://hal.archives-ouvertes.fr/hal-00356523

J. Ezpeletaa, J. M. Colom, and J. Martinez, A Petri net based deadlock prevention policy for flexible manufacturing systems, IEEE Transactions on Robotics and Automation, vol.11, issue.2, pp.173-184, 1995.
DOI : 10.1109/70.370500

S. Gaubert, Performance evaluation of (max,+) automata, IEEE Transactions on Automatic Control, vol.40, issue.12, pp.2014-2025, 1995.
DOI : 10.1109/9.478227

A. Ghaffari, N. Rezg, and X. Xie, Feedback control logic for forbidden-state problems of marked graphs: application to a real manufacturing system, IEEE Transactions on Automatic Control, vol.48, issue.1, pp.18-29
DOI : 10.1109/TAC.2002.806651

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, 2003.
DOI : 10.1109/TRA.2002.807555

A. Giua, F. Dicesare, and M. Silva, Generalized mutual exclusion constraints on nets with uncontrollable transitions, Proc. IEEE International Conference on Systems, Man, and Cybernetics, pp.974-979, 1992.

A. Giua and F. Dicesare, Grafcet and Petri Nets in Manufacturing ", in Intelligent Manufacturing: Programming Environments for, pp.153-76, 1993.

A. Giua, F. Dicesare, and M. Silva, Petir net supervisors for generalized mutual exclusion constraints, Proc. 12th IFAC World Congresse, 1993.

L. E. Holloway and B. H. Krogh, Synthesis of feedback control logic for a class of controlled Petri nets, IEEE Transactions on Automatic Control, vol.35, issue.5, pp.514-523, 1990.
DOI : 10.1109/9.53517

L. E. Holloway, X. Guan, and L. Zhang, A Generalisation of state avoidance Policies for Controlled Petri Nets, IEEE Trans. Autom. Control, vol.6, pp.41-804, 1996.

M. V. Iordache, J. O. Moody, and P. J. Antsaklis, A method for the synthesis of liveness enforcing supervisors in Petri nets, Proceedings of the 2001 American Control Conference. (Cat. No.01CH37148), pp.4943-4948, 2001.
DOI : 10.1109/ACC.2001.945768

R. Kumar, Supervisory Synthesis Techniques for Discrete Event Dynamical Systems, Thesis for the degree of Doctor of Philosophy, 1991.

R. Kumar and L. E. Holloway, Supervisory control of deterministic Petri nets with regular specification languages, IEEE Transactions on Automatic Control, vol.41, issue.2, pp.245-249, 1996.
DOI : 10.1109/9.481527

P. Leparc, Apports de la méthodologie synchrone pour la définition et l'utilisation du langage Grafcet, Thèse de doctorat de l'université de Rennes 1, 1994.

Y. Li and W. M. Wonham, Control of discrete-event systems-part ii: controller synthesis, IEEE Trans. Automatic Control, vol.39, issue.3, pp.512-531, 1994.

L. Wu and M. Zhou, Elementary Siphons of Petri Nets and Their Application to Deadlock Prevention in Flexible Manufacturing Systems, IEEE Transactions on systems Systems And Humans, vol.34, issue.1, 2004.

F. Lin and W. M. Wfonham, Decentralized control and coordination of discrete-event systems with partial observation, IEEE Transactions on Automatic Control, vol.35, issue.12, pp.1330-1337, 1990.
DOI : 10.1109/9.61009

J. O. Moody and P. Antsaklis, Petri net supervisors for DES with uncontrollable and unobservable transitions, IEEE Transactions on Automatic Control, vol.45, issue.3, pp.462-476, 2000.
DOI : 10.1109/9.847725

M. Mano and M. , Digital Design, 2001.

G. Music, D. Matko, and B. Zupancic, Modelling, Synthesis, and Simulation of Supervisory Process Control Systems, Mathematical and Computer Modelling of Dynamical Systems, vol.6, issue.2, pp.169-189, 2000.
DOI : 10.1076/1387-3954(200006)6:2;1-M;FT169

P. J. Ramadge and W. M. Wonham, Modular Feedback Logic for Discrete Event Systems, SIAM Journal on Control and Optimization, vol.25, issue.5, pp.1202-1218, 1987.
DOI : 10.1137/0325066

P. J. Ramadge and W. M. Wonham, Supervisory Control of a Class of Discrete Event Processes, SIAM Journal on Control and Optimization, vol.25, issue.1, pp.206-230, 1987.
DOI : 10.1137/0325013

P. J. Ramadge and W. Wonham, The control of discrete event systems, Proceedings of the IEEE; Special issue on Dynamics of Discrete Event Systems, pp.81-98, 1989.
DOI : 10.1109/5.21072

J. M. Roussel, Analyse de Grafcets par génération logique de l'automate équivalent, Thèse de doctorat de l'Ecole Normale Supérieure de Cachan, 1994.

A. T. Sava, Sur la synthèse de la commande des systèmes à événements discrets temporisés, 2002.

S. Takai, Supervisory Control of a Class of Concurrent Discrete Event Systems Under Partial Observation, Discrete Event Dynamic Systems, vol.15, issue.1, pp.7-32, 2005.
DOI : 10.1007/s10626-005-5237-6

M. Uzam and A. H. Jones, Discrete event control system design using automation Petri nets and their ladder diagram implementation, The International Journal of Advanced Manufacturing Technology, vol.3, issue.3, pp.716-728, 1998.
DOI : 10.1007/BF01438224

M. Uzam and W. Wonham, A hybrid approach to supervisory control of discrete event systems coupling RW supervisors to Petri nets, The International Journal of Advanced Manufacturing Technology, vol.28, issue.7-8, pp.747-760, 2006.
DOI : 10.1007/s00170-004-2426-7

W. M. Wonham, Supervisory Control of Discrete-Event Systems, 2005.

K. Yamalidou, J. Moody, M. Lemmon, and P. Antsaklis, Feedback control of petri nets based on place invariants, Automatica, vol.32, issue.1, pp.15-28, 1996.
DOI : 10.1016/0005-1098(95)00103-4

E. Yamalidou, J. O. Moody, M. D. Lemmon, and P. J. Antsaklis, Feedback control of petri nets based on place invariants, Automatica, vol.32, issue.1, 1994.
DOI : 10.1016/0005-1098(95)00103-4