. Soit-i=1, n le compteur de places de contrôle dans Ie contrôleur Co(s) L désigne la liste des conditions d'atteignabilité appartenant à I'ensemble des contraintes incompatibl e s de Snc(s)

L. Contraintes-incompatibles-dans-un-système-linéaire and . Snc, Mais, toutes ces contraintes ne peuvent pas être relâchées Seule la relaxation des conditions d'atteignabilité est autorisée. Il est d'abord clair que la condition de séparation relative à s doit être vérifiée par toute place de contrôle de Co(s) Il en est de même pour les équations de cycle des cycles de base de RG'". En effet, en absence de contraintes relatives aux équations de cycle, la solution du système linéaire est une place de contrôle pouvant avoir deux marquages différents correspondant au même marquage dans le réseau sans contrôle, Le comportemenllu système contrôlé risque dans ce cas d'être différent du comportement souhaité RG'u .Il est aussi possible que le même macro-état soit en même temps autorisé et interdit par la place en question

. Uo, Cù:1, C{, --1, C{' =+1, C{ =Cl' =C{' =C

J. F. Ainez, . Benhabib-8, K. C. Smith, and B. A. Brandin, Design of a PLCbased supervisory-control system for a manufacturing workcell, Proceedings of the Canadian High Technologt Show and Conference, 1993.

. Achour-2 and N. Rezg, Commande par supervision des syst??mes ?? ??v??nements discrets bas??e sur l'utilisation du Grafcet et la th??orie des r??gions, Journal Europ??en des Syst??mes Automatis??s, vol.38, issue.1-2, pp.37-58, 2004.
DOI : 10.3166/jesa.38.37-58

. Achour-2, N. Fiezg, X. Xie, N. Rezg, and X. Xie, Supervisory Control of Partially Observable Marked Graphs, IEEE Transactions on Automatic Control, vol.49, issue.11, pp.2007-2011, 2003.
DOI : 10.1109/TAC.2004.837558

N. Xie and X. , Supervisory Control of Marked Graphs with Partial Observations, International Journal of Production Research, vol.42, issue.14, pp.2827-2838, 2004.

N. Rezg and X. Xie, Supervisory Control of DES with Unobservable Events Based on Structural Approach, IEEE International Conference on Networking, Sensing and Control, 2004.

Z. Tarxo4dl-achour, . Rezgn, and X. Xie, Supervisory Controller of Petri Nets Under Partiat Observation" IV'ODES'}4 -IFAC 7th Workshop on Discrete Event Systems, pp.22-24, 2004.

. Achour-2, N. Rezg, and X. Xie, ON THE EXISTENCE OF PETRI NET CONTROLLER FOR DISCRETE EVENT SYSTEMS UNDER PARTIAL OBSERVATION, IFAC Proceedings Volumes, vol.38, issue.1, 2005.
DOI : 10.3182/20050703-6-CZ-1902.00348

E. Badouel, L. Bernardinello, and P. Darondeau, Polynomial algorithms for the synthesis of bounded nets, CAAP'95, Sringer Verlag LNCS 915, pp.364-378, 1995.
DOI : 10.1007/3-540-59293-8_207

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

E. Badouel, L. Bernardinello, and P. Darondeau, The synthesis problem for elementary net systems is NP-complete, Theoretical Computer Science, vol.186, issue.1-2, pp.107-134, 1997.
DOI : 10.1016/S0304-3975(96)00219-8

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

E. Badouel and P. Darondeau, Theory of regions", Lectures on Petri Nets I : Basic Models, 1999.

S. Balemi, G. J. Hoffmann, P. Gyugyi, H. Wong-toi, and G. Franklin, Supervisory control of a rapid thermal multiprocessorDiscrete event system supervisory control applied to the management of manufacturing wôrkcells';, Computer-Aided Production Engineering, IEEE Transactions on Automatic Control, vol.38, pp.40-1059, 1991.

F. Charbonnier, H. Alla, and R. David, The Supervised Control of Discrete Event Dynamic Systems, IEEE Transactions on Control Systems Technologt, issue.2

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

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

D. Ph and X. L. Xie, Linear Control of Live Marked Graphs, Automatica, vol.39, issue.3, pp.429-440, 2003.

A. Giua, F. Dicesare, and M. Silva, Generalized mutual exclusion constraints on nets with uncontrollable transitions, Proceedings of IEEE Conference on Systems, 1992.

A. Giua, F. Dicesare, and M. Silva, Petri Net Supervisors for Generalized Mutual Exclusion Constraints, I2th IFAC I(orld Congress, pp.267-270, 1993.
DOI : 10.1016/S1474-6670(17)48493-X

M. Gondran and M. Minoux, Graphes et algorithmes, 1994.

A. Ghaffari, N. Rezg, and X. Xie, Feedback control logic for forbidden state problem ofmarked graphs, IEEE Trans' on Automatic Control, vol.48, issue.1, pp.8-29, 2003.

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

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

P. Gohari and W. M. Wonham, On the complexity of supervisory control design in the RW framework, IEEE Transactions on Systems, Man and Cybernetics, Part B (Cybernetics), vol.30, issue.5, 2000.
DOI : 10.1109/3477.875441

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

A. Ishikawa and K. Hiraishi, Analysis and control of discrete event systems represented by petri nets, Discrete Event Systems : Models and uH87l, p.104
DOI : 10.1007/BFb0042308

B. H. Krogh, controlled Petri nets and maximally permissive feedback logic", 25th Annual Allerton conference, university of lllinois, pp.317-326, 1987.

R. Kumar, supervisory synthesis Techniques for Distcrete event Dynamical systems, Thesis for Ph. D. degree, université du Texas, 1991.

Y. Li, controllability and observability in the statefeedback control of discrete-event systems, proc. 27th conf Decision and Control, pp.203-207, 1988.

Y. Li and . M. Wonham-w, control of vector discrete-event systems-part I: The base model, IEEE Transactions on Automatic control, vol.3, issue.21, pp.5-227, 1993.

Y. W. Li, control of vector discrete event systems II controller synthesis, IEEE Trans. on Automatic control, vol.39, issue.3, pp.512-531, 1994.

J. Moody and P. J. Antsaklis, Petri Net Supervisors for DES with uncontrollable and unobservable Transition.r, 1999.
DOI : 10.1109/9.847725

URL : http://www.nd.edu/~isis/techreports/isis-99-004.pdf

J. O. Moody, M. Lemmon, and P. J. Antsaklis, 'osupervisory control of petri nets with uncontrollable/unobservable transitions, p.35

T. Murata, Petri nets: Properties, analysis and applications, Proceedings of the IEEE, vol.77, issue.4, pp.541-579, 1989.
DOI : 10.1109/5.24143

N. Hagbebell-c, synthèse de la commande des systèmes à événements discrets par GMFCEZ, Thèse de Doctorat de iuniversité de Reims Champagne Ardenne, p.6, 1999.

. M. Ôzveren-c and A. S. Willsky, Observability of discrete event dynamic systems, IEEE Transactions on Automatic Control, vol.35, issue.7, pp.797-803, 1990.
DOI : 10.1109/9.57018

J. L. Peterson, 'oPetri net theory and the modeling of systems, pp.prentice- Hall, 1981.

P. J. Ramadge, observability of discrete-event systems," in proc, pp.8-1112, 1986.

J. M. Roussel, Analyse de Grafcets par génération logique de l'automate équivalent, Thèse de Doctorat de I'Ecole Normâtè Supérieure de Cachan, 16 Décembrc, 1994.

P. J. Ramadge and . M. Wonham-w, supervisory control of a class of discrete event processes, SIAM J., control and optimization, issue.1, pp.206-230987

P. J. Ramadge and . M. Wonham-w, The contror of discrete event systems, IEEE Proceedings, pp.8-98

N. Rezg, X. Xie, and A. Ghaffari, Supervisory Control in Discrete Event Eystems Using the Theory of Regions, Disuete Event Systems Analysis and Control, pp.391-398, 2000.

. Str00 and G. Stremersch, Linear Algebraic Design of Supervisors for Partially Observed Petri Nets, Proc. IFAC Conf. on Control Systems Design, pp.281-286, 2000.

S. Takai, T. Ushio, and S. Kodama, Static-state feedback control of discrete-event systems under partial observation, IEEE Transactions on Automatic Control, vol.40, issue.11, pp.1950-1955, 1995.
DOI : 10.1109/9.471222

W. M. Wonham and P. J. Ramadge, On the Supremal Controllable Sublanguage of a Given Language, SIAM Journal on Control and Optimization, vol.25, issue.3, pp.637-659, 1987.
DOI : 10.1137/0325036

J. Lzcdll-zaytoon and V. Carré-ménétrier, Synthesis of control implementation for discrete manufacturing systems, International Journal of Production Research, vol.39, issue.2, pp.329-345
DOI : 10.1080/00207540010002388