S. Pour-tout-sous-ensemble, ?. S. , and C. Card, Si une solution de sous-ensemble, A S i = [a S i j ], existe pour S i

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

B. Brandin and W. 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

C. Cassandras and S. Lafortune, Introduction to Discrete Event Systems, 2008.

D. Corona, A. Giua, and C. Seatzu, Marking estimation of Petri nets with silent transitions, 2004 43rd IEEE Conference on Decision and Control (CDC) (IEEE Cat. No.04CH37601), pp.966-971, 2004.
DOI : 10.1109/CDC.2004.1428810

R. David and H. Alla, Petri nets and grafcet : tools for modeling discrete event systems, 1992.

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

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, pp.348-353, 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.4975-4980, 2007.
DOI : 10.1109/ACC.2007.4282215
URL : https://hal.archives-ouvertes.fr/hal-00356523

A. Dideban and H. Alla, Reduction of constraints for controller synthesis based on safe Petri Nets, Automatica, vol.44, issue.7, pp.1697-1706, 2008.
DOI : 10.1016/j.automatica.2007.10.031
URL : https://hal.archives-ouvertes.fr/hal-00333246

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

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, 2003.
DOI : 10.1109/TAC.2002.806651

A. Giua, D. Corona, and C. Seatzu, State estimation of ?-free labeled Petri nets with contact-free nondeterministic transitions', Discrete Event Dynamic Systems, pp.85-108, 2005.

A. Giua and F. Dicesare, Blocking and controllability of Petri nets in supervisory control, IEEE Transactions on Automatic Control, vol.39, issue.4, pp.818-823, 1994.
DOI : 10.1109/9.286260

A. Giua and F. Dicesare, Petri net structural analysis for supervisory control, IEEE Transactions on Robotics and Automation, vol.10, issue.2, pp.185-195, 1994.
DOI : 10.1109/70.282543

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 C. Seatzu, Observability of place/transition nets, IEEE Transactions on Automatic Control, vol.47, issue.9, pp.1424-1437, 2002.
DOI : 10.1109/TAC.2002.802769

A. Giua and C. Seatzu, A Systems Theory View of Petri Nets, Lecture Notes in Control and Information Sciences, vol.353, pp.99-127, 2007.
DOI : 10.1007/978-3-540-70701-1_6

A. Giua, C. Seatzu, and F. Basile, Observer-Based State-Feedback Control of Timed Petri Nets With Deadlock Recovery, IEEE Transactions on Automatic Control, vol.49, issue.1, pp.17-29, 2004.
DOI : 10.1109/TAC.2003.821419

A. Giua, C. Seatzu, and J. Júlvez, MARKING ESTIMATION OF PETRI NETS WITH PAIRS OF NONDETERMINISTIC TRANSITIONS, Asian Journal of Control, vol.35, issue.7, pp.270-280, 2004.
DOI : 10.1111/j.1934-6093.2004.tb00204.x

A. Giua and X. Xie, Control of safe ordinary Petri nets using unfolding', Discrete Event Dynamic Systems 15, pp.349-373, 2005.

L. Holloway, X. Guan, and L. Zhang, A generalization of state avoidance policies for controlled Petri nets, IEEE Transactions on Automatic Control, vol.41, issue.6, pp.804-816, 1996.
DOI : 10.1109/9.506233

L. Holloway and B. 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

M. Iordache and P. Antsaklis, Supervisory Control of Concurrent Systems -A Petri Net Structural Approach, 2006.

M. Iordache, J. Moody, and P. 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 : Transition Model Based Approach, 1991.

R. Kumar and L. 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

Y. Li and W. Wonham, Control of vector discrete-event systems. II. controller synthesis, IEEE Trans. Autom. Control, vol.39, issue.3, pp.512-531, 1994.

H. Liao, S. Lafortune, S. Reveliotis, Y. Wang, and S. Mahlke, Synthesis of maximally-permissive liveness-enforcing control policies for Gadara petri nets, 49th IEEE Conference on Decision and Control (CDC), pp.2797-2804, 2010.
DOI : 10.1109/CDC.2010.5716934

J. Moody and P. Antsaklis, Supervisory Control of Discrete Event Systems Using Petri Nets, 1998.
DOI : 10.1007/978-1-4615-5711-1

J. 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

A. Nazeem, S. Reveliotis, W. Yin, and S. Lafortune, Designing Compact and Maximally Permissive Deadlock Avoidance Policies for Complex Resource Allocation Systems Through Classification Theory: The Linear Case, IEEE Transactions on Automatic Control, vol.56, issue.8, pp.1818-1833, 2011.
DOI : 10.1109/TAC.2010.2095612

P. Ramadge and W. Wonham, On the supremal controllable sublanguage of a given language, SIAM J. Control Optim, vol.25, issue.3, pp.637-659, 1987.

P. Ramadge and W. 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. Ramadge and W. Wonham, The control of discrete event systems, Proc. IEEE : Special Issue on Dynamics of Discrete Event Systems, pp.81-98, 1989.
DOI : 10.1109/5.21072

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

R. Sreenivas and B. Krogh, On Petri net models of infinite state supervisors, IEEE Transactions on Automatic Control, vol.37, issue.2, pp.274-277, 1992.
DOI : 10.1109/9.121634

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.7-8, 2006.
DOI : 10.1007/s00170-004-2426-7

A. Vasiliu and H. Alla, Structural optimal control for safe Petri nets, International Journal of Control, vol.7, issue.9, pp.1810-1822, 2010.
DOI : 10.1016/0005-1098(95)00103-4
URL : https://hal.archives-ouvertes.fr/hal-00512842

A. Vasiliu and H. Alla, Border forbidden states and constraints for optimal controller synthesis using generalized Petri nets, 2011.

A. Vasiliu and H. Alla, Control Optimality for Ordinary Petri Nets, 18th IFAC World Congress, pp.3599-3604, 2011.
DOI : 10.3182/20110828-6-IT-1002.00821

A. Vasiliu, A. Dideban, and H. Alla, Control synthesis for manufacturing systems using non-safe Petri nets, J. of Control Eng. and Applied Informatics, vol.11, issue.2, pp.43-50, 2009.
URL : https://hal.archives-ouvertes.fr/hal-00423077

W. Wonham, Supervisory control of discrete event systems, 2011.

L. Wu and M. Zhou, Elementary siphons of Petri nets and their application to deadlock prevention in flexible manufacturing systems, IEEE Trans. Syst., Man, Cybern. A, vol.34, issue.1, pp.38-51, 2004.

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