?. Définir, ?(q i ) et ?(q i ) d. Calculer td(M 0 ,t??(q i ), °q), td(M 0 ,t??(q i ), q°) et ? e, Calculer S(°q i ), X(q i °), E(q i °) et F

B. Ou, le superviseur permet le franchissement de la transition d'influence à ?=e, à condition d'interdire le franchissement de q° à ? i

Z. Achour, Contribution à la synthèse des controleurs des systèmes à événements discrets partiellement observables, 2005.

Z. Achour, Supervisory Control of Partially Observable Marked Graphs, IEEE Transactions on Automatic Control, vol.49, issue.11, pp.2007-2011, 2004.
DOI : 10.1109/TAC.2004.837558

Z. Achour, On the supervisory control of marked graphs, 2008 IEEE International Conference on Industrial Engineering and Engineering Management, pp.2122-2126, 2008.
DOI : 10.1109/IEEM.2008.4738246

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

M. A. Atli, Control Law for Timed Marhed Graph Constrained by Marking Exclusion Constraint OR/AND, Automatica si Calculatoire, pp.75-92, 2011.

M. Atli, Z. Achour, A. Sava, and N. Rezg, Supervisory Control of partially observable Marked Graph based on Marking Exclusion Constraint, 5th Conference on Management and Control of Production Logistics, pp.64-69, 2010.
DOI : 10.3182/20100908-3-PT-3007.00015

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

M. Atli, K. Adjallah, Z. Achour, A. Sava, and N. Rezg, Supervisory control of timed-place marked graph based on Marking Exclusion Constraint, 2011 International Conference on Communications, Computing and Control Applications (CCCA), pp.1-8, 2011.
DOI : 10.1109/CCCA.2011.6031518

M. Atli, A. Sava, Z. Achour, and N. Rezg, Control synthesis for partially controlled marked graph subject to marking exclusion constraints. Large Scale Complex Systems Theory and Applications, 2010.
URL : https://hal.archives-ouvertes.fr/inria-00601022

M. Atli, A. Sava, Z. Achour, K. Adjallah, and N. Rezg, The Control Policy of Marking Exclusion Constraint applying on Marked Graph Partially controllable Aleppo, 4ème Congrès International Francophone de Mécanique Avancée - CIFMA, pp.1-9, 2010.

E. Badouel, L. Bernardinello, and P. Darondeau, Polynomial algorithms for the synthesis of bounded nets. TAPSOFT'95: Theory and Practice of Software Development, pp.364-378, 1995.
URL : https://hal.archives-ouvertes.fr/inria-00074358

F. Basile, Deadlock recovery of Petri net models controlled using observers, ETFA 2001. 8th International Conference on Emerging Technologies and Factory Automation. Proceedings (Cat. No.01TH8597), pp.441-449, 2001.
DOI : 10.1109/ETFA.2001.997718

F. A. Basile, An Optimization Approach to Petri Net Monitor Design, IEEE Transactions on Automatic Control, vol.52, issue.2, pp.306-311, 2007.
DOI : 10.1109/TAC.2006.887905

F. C. Basile, 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

F. Basile, L. Recalde, P. Chiacchio, and M. Silva, Closed-loop live Petri net supervisors for generalized mutual exclusion constraints, 5th International Workshop on Discrete Event Systems (WODES 00), pp.169-180, 2000.

F. Basile, L. Recalde, P. Chiacchio, and M. Silva, Closed-loop Live Marked Graphs under Generalized Mutual Exclusion Constraint Enforcement, Discrete Event Dynamic Systems, vol.32, issue.1, pp.1-30, 2009.
DOI : 10.1007/978-1-4615-1537-1

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

G. Brahms, Réseaux de Petri: théorie et pratique, Book, issue.2, 1983.

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

P. Caines, R. Greiner, and S. Wang, Dynamical logic observers for finite automata, Proceedings of the 27th IEEE Conference on Decision and Control, pp.226-233, 1988.
DOI : 10.1109/CDC.1988.194300

F. Charbonnier, H. Alla, and R. David, Discrete-event dynamic systems, IEEE Transactions on Control Systems Technology, vol.7, issue.2, pp.175-187, 1999.
DOI : 10.1109/87.748144

D. Corona and A. G. , 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 modelling discrete event systems, Book, 1992.

B. Gaudin, Synthèse de contrôlleurs sur des systèmes à événements discrets structurés, thèse, 2004.

A. Ghaffari, Algebraic and geometric characterization of Petri net controllers using the theory of regions, Sixth International Workshop on Discrete Event Systems, 2002. Proceedings., pp.219-224, 2002.
DOI : 10.1109/WODES.2002.1167691

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

A. X. Ghaffari, 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. C. Giua, Petri Net Supervisors for Generalized Mutual Exclusion Constraints, 12th IFAC world congress, 1993.
DOI : 10.1016/S1474-6670(17)48493-X

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. Guia, Petri nets as discrete event models for supervisory control, 1992.

&. Holloway and . 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. Holloway, X. Guan, and L. Zhang, A Generalization of State Avoidance Policies for Controlled Petri Nets, IEEE Transactions on Automatic Control, issue.6, pp.41-804, 1996.

B. Kattan, Synthèe structurelle d'un contrôlleur basèe sur le Grafcet, thèse. Universit{\'e} Joseph Fourier, 2004.

B. H. Krogh and L. E. Holloway, Synthesis of feedback control logic for discrete manufacturing systems, Automatica, vol.27, issue.4, pp.641-651, 1991.
DOI : 10.1016/0005-1098(91)90055-7

H. Krogh, On closed-loop liveness of discrete-event systems under maximally permissive control, IEEE Transactions on Automatic Control, vol.37, issue.5, pp.692-697, 1992.

R. Kumar, Supervisory synthesis techniques for discrete event dynamical systems, 1992.

&. Li and . Wonham, Controllability and observability in the state-feedback control of discrete-event systems, IEEE, pp.203-208, 1988.

Y. Li and W. Wonham, Control of vector discrete-event systems. i. the base model. Automatic Control, IEEE Transactions on, vol.38, issue.8, pp.1214-1227, 1993.

F. Lin and W. Wonham, Decentralized control and coordination of discreteevent systems with partial observation. Automatic Control, IEEE Transactions on, vol.35, issue.12, pp.1330-1337, 1990.

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

J. O. Moody, M. Lemmon, and P. J. Antsaklis, Supervisory control of Petri nets with uncontrollable/unobservable transitions, Proceedings of 35th IEEE Conference on Decision and Control, 1996.
DOI : 10.1109/CDC.1996.577490

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

T. Murata, Petri nets: Properties, analysis and applications, Proceedings of the IEEE, pp.541-580, 1989.
DOI : 10.1109/5.24143

C. Ozveren and A. Willsky, Observability of discrete event dynamic systems, IEEE Transactions on Automatic Control, vol.35, issue.7, pp.797-806, 1990.
DOI : 10.1109/9.57018

. Ramadge, Observability of discrete event systems, 1986 25th IEEE Conference on Decision and Control, pp.1108-1112, 1986.
DOI : 10.1109/CDC.1986.267551

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

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

P. Ramadge and W. Wonham, The control of discrete event systems, Proceeding of IEEE, pp.81-98, 1989.
DOI : 10.1109/5.21072

C. Ramchandani, Analysis of asynchronous concurrent systems by timed Petri nets, 1974.

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

J. Sifakis, Use of Petri nets for performance evaluation, Acta Cybernetica, vol.4, pp.185-202, 1978.

G. Stremersch, Linear Algebraic Design of Supervisors for Partially Observed Petri Nets, IFAC Proceedings Volumes, vol.33, issue.13, 2000.
DOI : 10.1016/S1474-6670(17)37202-6

S. Takai, T. Ushio, and S. Kodama, Static-state feedback control of discreteevent systems under partial observation. Automatic Control, IEEE Transactions on, issue.11, pp.40-1950, 1995.

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