R. K. Boel, L. Ben-naoum, and V. Van-breusegem, 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

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

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

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

E. Dorsaf, S. Haddad, and R. Hennicker, Refinement and asynchronous composition of modal Petri Nets, Lecture Notes in Computer Science LNCS, vol.6900, pp.96-120, 2012.

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

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

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. 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. Godon, Contribution à la commande des systèmes à événements discrets par réseaux de Petri, Thèse de doctorat en Automatique Industrielle, 1996.

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

J. Hopcroft, R. Motwani, and J. Ullman, Introduction to Automata Theory, Languages, and Computation, 2007.
DOI : 10.1145/568438.568455

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

B. Kattan, Synthèse structurelle d'un contrôleur basée sur le Grafcet, Thèse de doctorat PhD, 2004.

J. Komenda, S. Lahaye, . Et, and J. Boimond, Le produit synchrone des automates (max,+), Journal Europ??en des Syst??mes Automatis??s, vol.43, issue.7-9, pp.1033-1047, 2009.
DOI : 10.3166/jesa.43.1033-1047
URL : https://hal.archives-ouvertes.fr/hal-00858637

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

H. Marchand and B. Gaudin, Supervisory control problems of hierarchical finite state machines, Proceedings of the 41st IEEE Conference on Decision and Control, 2002., 2002.
DOI : 10.1109/CDC.2002.1184677
URL : https://hal.archives-ouvertes.fr/inria-00525529

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

M. Nourelfath and E. Et-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.526-531, 2000.

J. L. Peterson, Petri Net Theory and the Modelling of Systems, 1981.

. Pocci, Synchronizing sequences on not strongly connected Petri nets In Symposium On Theory of Modelling and Simulation (DEVS/TMS'11) Synthesis and implementation of local modular supervisory control for a manufacturing cell, pp.377-382, 2002.

P. J. Ramadge and W. M. Wonham, The control of discrete event systems, Proceedings of the IEEE, vol.77, issue.1, pp.81-98, 1989.
DOI : 10.1109/5.21072

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. Seatzu, M. J. Silva, and H. Van-schuppen, Control of discrete-event systems, Automata and Petri net Perspectives, Lecture Notes in Control and Information Science, vol.433, 2012.

M. Sogbohossou and A. Vianou, Un dépliage par processus pour calculer le préfixe complet des réseaux de Petri, Proceedings of CARI, p.97, 2016.

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, Border Forbidden States and Constraints for Optimal Controller Synthesis using Generalized Petri Nets, Automatica, 2011.

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. M. Wonham, Supervisory control of discrete event systems, 2011.

W. M. Wonham, Notes on control of discrete-event systems, 2003.

K. Yamalidou, J. O. 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

T. Yoo and S. Lafortune, A general architecture for decentralized supervisory control of discrete-event systems. Discrete Event Dynamic Systems: Theory & Applications, pp.335-377, 2002.

M. C. Zhou and F. Dicesare, Petri Net Synthesis for Discrete Event Control of Manufacturing Systems, 1993.
DOI : 10.1007/978-1-4615-3126-5