L. and ?. Langage-reconnu-par-le-modèle, Il est composé de l'ensemble des séquences s qui partent de l'état initial (1)

. En-premier-lieu, les aspects modes de marche et d'arrêt imposés en fonctionnement normal (A1, F1 et F2) sont respectés. Seuls trois activités liées à ces modes ont subsisté à la première étape de synthèse, il s'agit de < A1

A. Bibliographie and G. Le, Guide d'Etude des Modes de Marches et d'Arrêts. Adepa, Agence de la Productique, 17 rue Perier, 1981.

S. B. Ahmed, M. Moalla, and E. M. Courvoisier, Approche multimodèles pour la commande des ateliers exibles. RAIRO-APII, Journal Européen des Systèmes Automatisés, vol.30, p.12011232, 1996.

D. Alligier, Réalisation d’un superviseur de commande et de surveillance pour le pilotage temps réel des systèmes exibles de production manufacturière, 2001.

B. Bako, Mise en ÷uvre et simulation du niveau coordination de la commande des ateliers exibles: une approche mixte réseaux de Petri et systèmes de règles, 1990.

T. Belkadi, Réalisation et intégration de commande de cellule exible, 1989.

P. Bellot and J. Sakarovitch, Logique et automates, 1998.

P. Berruet, Contribution au recouvrement des systèmes exibles de production manufacturières: analyse de la tolérance et reconguration, 1998.

P. Berruet, A. Toguyeni, and E. E. Craye, Considering parts in progress in a reconguration procedure for fms, 3rd IMACS/IEEE International Multiconference, Circuits, Systems, Communications and Computers (CSCC'99), 1999.

J. C. Billaut, Prise en Compte des Ressources Multiples et des Temps de Préparation dans les Problèmes d'Ordonnancement en Temps Réel, 1993.

M. Blanchard, Comprendre, maîtriser et appliquer le grafcet, Cepadues, 1979.

C. Briand, Vers une plus grande exibilité du pilotage des systèmes de production, Modélisation des Systèmes Réactifs, Hermes, p.277286, 1999.

G. Bucci, M. Campanai, and E. P. Nesi, Tools for specifying real-time systems, Real-Time Systems, vol.12, issue.2, p.117172, 1995.
DOI : 10.1007/BF01094341

S. Chak, Proposition d'une structure de contrôle par supervision hiérarchique et distribuée : application à la coordination, 2000.

S. Chak and E. Niel, Hierarchical descentralized solutions of supervisory control, p.787790, 2000.

A. Chaillet, Approche multi modèles pour la commande et la surveillance en temps réel des systèmes à événements discrets, 1995.

A. Chaillet-subias and M. Courvoisier, An architecture and its mechanism for real-time control and monitoring of discrete events systems, IMACS Multiconference, Computational Engineering in Systems Applications, CESA'96, 1996.

A. Chaillet-subias, E. Zamaï, and E. M. Combacau, Information ow in a control and monitoring architecture, IEEE International Symposium on Industrial Electronics, 1997.

F. Charbonnier, B. A. Brandin, H. Alla, and C. Foulard, Commande par supervision d'un atelier exible, p.491507, 1994.

M. Combacau, Commande et surveillance des systèmes à événements discrets complexes : application aux ateliers exibles, 1991.

M. Combacau, P. Berruet, E. Zamaï, P. Charbonnaud, and E. A. Khatab, Supervision and monitoring of production systems, Second Conférence on Management and Control of Production and Logistics (MCPL'2000), pp.5-8, 2000.

F. Coun, S. Lamperiere, E. Hospital, and J. M. Faure, Reutilisation d'un modele de reference en genie automatique -application a l'integration des activites de conception des systemes automatises de production, p.3562, 2000.

D. Cruette, Méthodologie de conception des systèmes complexes à événements discrets: application à la conception et à la validation hierarchisée de la commande de cellules exibles de production dans l'industrie manufacturière, Thèse de doctorat, 1991.

N. Dangoumau, Contribution à la gestion des modes des systèmes automatisés de Production, 2000.

N. Dangoumau, A. K. Toguyeni, S. Khattabi, and E. Craye, Modes management for automated production systems, International Symposium on Manufacturing with Applications (ISOMA), 2000.

R. David and H. Halla, Du Grafcet aux réseaux de Petri, Hermes, 1992.

A. De-bonneval, M. Combacau, and E. M. Courvoisier, Rôle de l'opérateur humain dans une boucle de surveillance automatique de systèmes à événements discrets, Canadian Conference and Exhibition on Industrial Automation, 1992.

. Deleu, Expression et validation de contraintes temporelles pour la spécication des systèmes réactifs, 1995.

D. Deleu and A. E. Sahraoui, Expression and validation of timing constraints and integration in software specication methods, p.6368, 1994.

J. Erschler, Flexibilité et autonomie dans les systèmes de production, 1er Congrès Biennal de l'AFCET, pp.1318-1326, 1993.

G. Exera, Guide pratique de spécication de la conduite des systèmes de production . Méthode DEMIOPS. Association des exploitants d'equipements de Mesure, de regulation et d'automatisme (EXERA) et Groupement des industries de l'equipement électrique, 1999.

P. Faurre and M. Robin, Eléments d'automatique, 1984.

J. Ferrier, De quelques approches de la commande basée sur les réseaux de petri, notes de cours sed, Laboratoire d'Ingénierie des Systèmes Automatisés (LISA), 1999.

C. Foulard, J. Flaus, and E. M. Jacomino, Automatique pour les classes préparatoires, Hermes, 1997.

J. Frachet, S. Lamperière, and J. M. Faure, The hypernite signal: application to the modelling of discrete event systems behavior, CESA'96 : IEEE-IMACS Multiconference Cumputational Engineering in Systems Applications. Symposium on Discrete Events ans Manufacturing Systems, pp.584589-584598, 1996.

J. Frachet, S. Lamperière, and J. M. Faure, Le signal hyperni : application à la modélisation du comportement des systèmes à événements discrets. Dans AFCET'96 : Modélisation des systèmes réactifs, pp.335342-335370, 1996.

R. Française, Code du travail. chapitre 3 : Sécurité, Journal Ociel, pp.3-1973

S. Gentil and E. Zamaï, Techniques de l'Ingénieur en Informatique Industrielle, chapter principes des chaînes de régulation, 2002.

S. Hammami, I. Tnazefti, M. Moala, and E. A. Chaillet, Designing control and diagnosis for exible manufacturing systems as a multi-agent system using blackboard and object petri nets, 4th INRIA/IEEE Symposium on Emerging Technologies and Factory Automation, ETFA'95, 1995.

G. Hetreux, Structures de Décision Multi-Niveaux pour la Planication de la Production : Robustesse et Cohérence des Décisions, 1996.

L. E. Holoway and B. H. Krogh, Fault detection and diagnosis in manufacturing systems: a behavioral model approach, [1990] Proceedings. Rensselaer's Second International Conference on Computer Integrated Manufacturing, 1990.
DOI : 10.1109/CIM.1990.128107

J. Hopcroft and J. Ullman, Introduction to automata theoty, languages end computation, 1978.
DOI : 10.1145/568438.568455

B. Huvenoit, De la conception à l'implémentation de la commande modulaire et hiérarchisée des systèmes exibles de production manufacturière, 1994.

A. Jones, A multi-layer/multi-level control architecture for computer integrated manufacturing systems, 15th Annual Conference of IEEE Industrial Electronics Society, 1989.
DOI : 10.1109/IECON.1989.69686

O. Kamach, S. Chak, L. Pietrac, and E. E. Niel, Representation of a reactive system with dierent models, IEEE International Conference on Systems, Man and Cybertetics (SMC'02), pp.6-9, 2002.

A. Khatab, Contrôle et contrôle stabilisant des systèmes à événements discrets : application au recouvrement des défaillances, 2000.

S. Khattabi, Intégration de la Surveillance de Bas Niveau dans la Conception des Systèmes à Evénements Discrets : Application aux Systèmes de Production Flexibles, 1993.

S. Lampérière-coun, De la vérication des cahiers des charges de systèmes à événements discrets à la validation des spécications décrits en Grafcet, 1998.

F. Laroussinie, Logique temporelle avec passé pour la spécication et la vérication des sytèmes réactifs, 1994.

P. Lopez, Analyse énergétique pour l'ordonnancement de tâches sous contraintes de temps et de ressources, 1991.

M. Mabrouk, Y. Sallez, and E. R. Soenen, Toward a tool for aiding reconguration of production automated systems, IMACS Multiconference, Computational Engineering in Systems Applications, CESA'96, 1996.

M. Combacau, M. Da-silveira, and E. A. Boufaied, Prognosis and recovery evaluation in exible manufacturing systems supervision, International Conference on Industrial Engineering and Production Management (IEPM'2001), pp.20-23, 2001.

M. Combacau, E. Zamaï, and A. Chaillet-subias, Monitoring strategies as control structures of monitoring architectures based on discrete event systems, Computational Engineeroig in System Applications, pp.1-4, 1998.

H. Méndez, D. Alligier, E. Zamaï, and B. Descotes-genon, Supervisory monitoring and control for manufacturing processes, pp.14-16, 2000.

H. Méndez, E. Zamaï, and B. Descotes-genon, Supervisory monitoring and control of complex discrete event systems, Second Conférence on Management and Control of Production and Logistics (MCPL'2000), pp.327332-327337, 2000.

H. Méndez, E. Zamaï, and B. Descotes-genon, Integration of economical, ecological, safety and quality constraints in the design of monitoring strategies, 10th IFAC Symposium on Information Control Problems in Manufacturing, pp.20-22, 2001.

H. Méndez, E. Zamaï, and B. Descotes-genon, Design of monitoring strategies, IEEE International Conference on Systems, Man and Cybernetics, pp.6-9, 2002.
DOI : 10.1109/ICSMC.2002.1167998

H. Méndez, E. Zamaï, and B. Descotes-genon, Synthesis of a reference model for the design of monitoring strategies, Japan-USA Symposium on Flexible Automation, pp.15-17, 2002.

E. Niel, L. Pietrac, and E. L. , Advantages and drawbacks of the logic program synthesis using supervisory control theory, 10th IFAC Symposium on information Control Problems in Manufacturing, pp.20-22, 2001.

E. Niel, N. Rezg, M. Nourelfath, and E. S. Boukohbza, Supervisory control in the context of operational safety reactivity, IMACS Multiconference, Computational Engineering in Systems Applications, CESA'96, 1996.

M. Nourelfath and E. Niel, Contribution à la surveillance des systèmes automatisés de production, JESA)-Automatique, Productique et Informatique Industrielle, p.105124, 2000.

P. Grady, Y. Kim, and R. Young, A hierarchical approach to concurrent engineering systems, Computer Integrated Manufacturing, vol.7, p.152162, 1994.

T. Parayre, Le MESAP : vers une Méthodologie d'Exploitation des Systèmes Automatisés de Production, 1992.

J. P. Ramadge and W. M. Wonham, Supervisory control of class of discrete event processes

P. Ramadge and W. Wohanm, The control of discrete event systems, Proceedings of the IEEE, vol.77, issue.1, p.8197, 1989.
DOI : 10.1109/5.21072

R. Tawegoum, Contrôle Temps Réel du Déroulement des Opérations dans les Systèmes de Production Flexibles, 1995.

A. Toguyeni, Surveillance et Diagnostic en Ligne dans les Systèmes Flexibles de l'Industrie Manufacturière, 1992.

A. Toguyeni, S. Kahttabi, and E. E. Craye, Functional and/or structural approach for the supervision of exible manufactuirng systems, IMACS Multiconference, Computational Engineering in Systems Applications, CESA'96, 1996.

P. Tona, Conception de systèmes de commande avancée par calculateur : méthodologie et applications, 2000.

R. Valette, Petri Nets for Control and Monitoring: Specication, Verication, Implementation . Dans Analysis and Design of Event-Driven Operations in Process Systems, Imperial College, 1995.

R. Valette, Les réseaux de petri. notes des cours, 2001.

C. Verlinde, Contribution à l'étude des architectures de systèmes automatisés, 1989.

E. Zamaï, Architecture de Surveillance-Commande pour les Systèmes à Evénements Discrets Complexes, 1997.

E. Zamaï, A. Chaillet-subias, and E. M. Combacau, An architecture for control and monitoring of discrete events systems, Computers in Industry, vol.36, issue.1-2, p.95100, 1998.
DOI : 10.1016/S0166-3615(97)00102-4

E. Zamaï, A. Chaillet-subias, M. Combacau, and E. A. De-bonneval, A hierarchical structure for control of discrete events systems and monitoring of process failures, Studies in Informatics and Control, vol.6, issue.1, p.715, 1997.

E. Zamaï and M. Combacau, Chaillet-Subias. Models for monitoring and control of discrete events systems, 9th Symposium on Information Control in Manufacturing, 1998.

E. Zamaï, Intégration et développement de nouvelles technologies pour le pilotage et la supervision temps réel d'ateliers manufacturiers, 2001.

E. Zamaï, Z. Hanzalek, and M. Jacomino, Hardware and software prototype for supervision, monitoring and control structure, pp.5-8, 2000.

J. Zaytoon, J. Lesage, L. Marce, J. Faure, and E. P. Lhoste, Vérication et validation du grafcet, Journal Européen des Systèmes Automatisés, issue.4, p.31713740, 1997.

<. A1, R. Dt, . Sv, and >. Dc, une décision est en train d'être prise an d'interpréter les résultats obtenus

<. A2, R. , P. Dt, and . Sv, Cd > : un arrêt dans l'état initial a été demandé

<. A2, R. , P. Dt, . Sv, . Cd et al., une prise de décision fait suite aux résultats de diagnostic délivrés au cours de l'activité

<. A3, R. , P. Dt, . Sv, and >. Cd, le système de commande place la ressource dans un état d'arrêt déterminé

<. A3, R. , P. Dt, . Sv, . Cd et al., en parallèle à la mise à l'arrêt, un diagnostic détaillé est en cours d'exécution. Cela ne veut donc pas dire que la ressource est en situation de défaillance! < A3

<. A3, R. , P. Dt, . Sv, . Cd et al., une prise de décision fait suite au résultat de diagnostic élaboré au cours de l'activité < A3

<. A4, R. , P. , and D. , Sv > : la ressource est à l'arrêt dans un état diérent de celui initial

<. A4, R. , P. Dt, and . Sv, Dg > : le système de surveillance-commande-supervision répond à une demande de diagnostic détaillé alors que la ressource est à l'arrêt

<. A5, R. , P. Dt, and . Sv, Rp > : une séquence de reprise est en cours d'exécution an de ramener la ressource dans un

<. A5, R. , P. Dt, . Sv, . Dc et al., prise de décision faisant suite aux résultats de diagnostic générés durant l'activité < A5

<. A6, R. , P. Dt, . Sv, . Dc et al., une prise de décision est lancée en réponse aux résultats de diagnostic élaborés durant l'activité < A6

<. A7, R. , P. Dt, . Sv, and >. Rp, la fonction reprise est en train d'exécuter des opérations supplémentaires an de mettre la ressource dans un état spécique

<. D1, R. , P. Dt, and D. Sv, U g > : exécution d'une séquence d'urgence an d'assurer l'intégrité des opérateurs et/ou de la ressource. Le diagnostic est lancé en parallèle (Zamaï et al. [1998b]) an d'optimiser le traitement de la défaillance, Nous noterons

<. D1, R. , P. Dt, . Sv, and . Dc, exécution de la fonction décision suite à l'obtention de résultats de diagnostic élaborés durant l'activité < D1

<. D1, R. , P. Dt, . Sv, and D. Cd, U g > : suite à l'occurrence d'une défaillance critique (sur-course par exemple) au cours d'une séquence de commande

<. D1, R. , P. Dt, . Sv, and D. Cd, U g > : une prise de décision est en cours faisant suite au diagnostic élaboré au cours de l'activité < D1

<. D1, R. , P. Dt, . Sv, and R. Dg, U g > : exécution d'une procédure d'urgence suite à l'occurrence d'une défaillance détectée au cours d'une séquence de reprise

<. D1, R. , P. Dt, . Sv, and R. Dc, U g > : une prise de décision est en cours pour envisager une reprise de la reprise en cours. Dans le modèle de référence, nous nous refusons de limiter ce type de récursivité, Ceci fait partie de la stratégie qu'aura à mettre en oeuvre l'industriel

<. D2, R. , P. Dt, and . Sv, Dc > : prise de décision classique suite à l'élaboration d'un résultat de diagnostic au cours de l'activité < D2

<. D3, R. , P. Dt, . Sv, . Cd et al., cette activité est la plus caractéristique d'une production forcée. Elle indique clairement que le système de commande continue à réaliser son service alors que la fonction diagnostic "surveille de plus prés

<. D3, R. , P. Dt, . Sv, . Cd et al., une décision est prise ("en fait, tout va bien!", ou bien "il y avait bien un problème!") faisant suite au résultat de diagnostic généré au cours de l'activité < D3

<. D3, R. , P. Dt, . Sv, and >. Cd, il a été décidé d'ignorer les défaillances détectées. La production se poursuit, mais cette fois en marche forcée. La fonction détection devra donc tolérer certaines défaillances an d