S. Su and *. Travaux, nous avons souligné à plusieurs reprises que cette hypothèse atteignait ces limites dans le cadre d'un fonctionnement anormal. Il s'avère nécessaire d'étendre l'approche développée dans le cadre d'une structure mixte (hiérarchique et distribuée) Ainsi, le module à l'origine de la prise en compte du dysfonctionnement pourrait prendre la main sur le processus de diagnostic non seulement en interne mais également sur l'ensemble des autres modules concernés. Ceci nous semble tout à fait réaliste compte tenu de la prise en compte dans chacun des modules de coordination, des opérations requises, En ce sens nous rejoignons les travaux développés dans le cadre du diagnostic distribué par M. Marcos Dasilveira (da Silveira, 2003.

S. Abdelwahed, G. Karsai, and G. Et-biswas, System diagnosis using hybrid failure propagation graphs, 2003.

B. Agard and . Et-tollenaere, Conception d'assemblages pour la customisation de masseDesign of assembly for mass customization, M??canique & Industries, vol.3, issue.2, pp.113-119, 2002.
DOI : 10.1016/S1296-2139(02)01147-8

A. Benveniste, S. Haar, E. Fabre, and C. Et-jard, Distributed and asynchronous discrete event systems diagnosis, 42nd IEEE International Conference on Decision and Control (IEEE Cat. No.03CH37475), pp.3742-3747, 2005.
DOI : 10.1109/CDC.2003.1271731

P. Berruet, Contribution au recouvrement des systèmes flexibles de production manufacturière : analyse de la tolérance et reconfiguration, Thèse de doctorat, 1998.

P. Berruet, J. Pétin, F. Rigaud, A. Toguyeni, and E. Et-zamaï, Architectures de pilotage de procédés industriels, Technique de l'Ingénieur, number AG 3510, pp.1-19, 2007.

P. Berruet, A. K. Toguyeni, S. Elkhattabi, and E. Et-craye, Toward an implementation of recovery procedures for fms supervision, IFAC Information Control Problems in Manufacturing Technology (INCOM'98), pp.371-376, 1998.

R. Boel and J. Van-schuppen, Decentralized failure diagnosis for discrete-event systems with costly communication between diagnosers, Sixth International Workshop on Discrete Event Systems, 2002. Proceedings., 2002.
DOI : 10.1109/WODES.2002.1167685

E. Bohez and M. Et-thieravarut, Expert system for diagnosing computer numerically controlled machines: a case-study, Computers in Industry, vol.32, issue.3, pp.233-248, 1997.
DOI : 10.1016/S0166-3615(96)00077-2

A. Boufaied, Etude de la fonction pronostic : cas d'ateliers flexibles de production, 2000.

A. Boufaied, Contribution à la Surveillance Distribuée des Systèmes à Evénements Discrets Complexes, Thèse de doctorat, 2003.

P. Bouyer, F. Chevalier, M. Krichen, and S. Et-tripakis, Observation partielle des syst??mes temporis??s, Modélisation des Systèmes Réactifs, 2005.
DOI : 10.3166/jesa.39.381-393

A. Chaillet, Approche Multi Modèles pour la Commande et la Surveillance en Temps Réel des Systèmes à Evénements Discrets, Thèse de doctorat, 1995.

S. Chang, F. Dicesare, and G. Et-goldbogen, Failure propagation trees for diagnosis in manufacturing systems, IEEE Transactions on Systems, Man, and Cybernetics, vol.21, issue.4, pp.767-776, 1991.
DOI : 10.1109/21.108295

E. Chuiton, Mise en oeuvre d'un système de commande interprété d'ateliers de fabrication automatisés, Mémoire cnam, Conservatoire National des Arts et Métier, 2005.

M. Combacau, Commande et surveillance des systèmes à événements discrets complexes : application aux ateliers flexibles, Thèse de doctorat, 1991.

M. Combacau, P. Berruet, E. Zamaï, P. Charbonnaud, and A. Et-khatab, Supervision and monitoring of production systems, IFAC 2nd Conference on Management and Control of Production and Logistics (MCPL'00), 2000.

M. Combacau, P. Esteban, and A. Et-nketsa, Commandes basées réseaux de Petri. Mise en oeuvre, pp.1-15, 2005.

M. Combacau, L. Kouiss, and A. Et-toguyeni, Fondements du pilotage des systèmes de production, 2002.

M. R. Da-silveira, Sur la Distribution avec redondance Partielle de Modèles à Evénements Discrets pour la Supervision de Procédés industriels, Thèse de doctorat, 2003.

M. R. Da-silveira, M. Combacau, and A. Et-subias, From centralized to distributed models : A systematic procedure based on petri nets, IEEE International Conference on Systems Man and Cybernetics (SMC'02), 2002.

F. De-jonge, N. Roos, and C. Et-witteven, Primary and secondary plan diagnosis, The International Workshop on Principles of Diagnosis (DX'06), pp.145-152, 2006.

F. F. De-lamotte, Proposition d'une approche haut niveau pour la conception, l'analyse et l'implantation des systèmes reconfigurables, Thèse de doctorat, 2006.

R. Debouk, S. Lafortune, and D. Et-teneketzis, Coordinated decentralized protocols for failure diagnosis of discrete-event systems. Discrete Event Dynamic Systems : Theory and Applications, pp.33-86, 2000.

E. Deschamps, S. Henry, and E. Et-zamaï, Automatic design of control laws based on petri net formalism for complex discrete event systems, Studies in Informatics and Control, vol.16, issue.1, 2007.

E. Deschamps, S. Henry, E. Zamaï, and M. Et-jacomino, Controlled system model with petri net formalism for reconfiguration, IFAC Conference on Manufacturing, Modelling, Management and Control, 2004.

E. Deschamps, S. Henry, and E. Et-zamaï, MODELS OF KNOWLEDGE ON MANUFACTURING SYSTEMS FOR CONTROL LAW SYNTHESIS, IFAC Symposium on Information Control Problems in Manufacturing (INCOM'06), 2006.
DOI : 10.3182/20060517-3-FR-2903.00179

E. Deschamps, S. Henry, and E. Et-zamaï, Petri Nets Modelling for Control of Discrete Events Systems, The Proceedings of the Multiconference on "Computational Engineering in Systems Applications", 2006.
DOI : 10.1109/CESA.2006.4281780
URL : https://hal.archives-ouvertes.fr/hal-00108359

E. Deschamps, S. Henry, and E. Et-zamaï, Synchronization of operating part model in failure context'. international conference on computational intelligence for modelling, International Conference on Computational Intelligence for Modelling, Control and Automation (CIMCA'06), 2006.
URL : https://hal.archives-ouvertes.fr/hal-00089832

E. Deschamps, S. Henry, and E. Et-zamaï, Operating part model for on-line diagnosis, International Workshop on Principles of Diagnosis (DX'07), 2007.
URL : https://hal.archives-ouvertes.fr/hal-00145472

E. Deschamps and E. Et-zamaï, DIAGNOSIS FOR CONTROL SYSTEM RECONFIGURATION, IFAC Conference on Management and Control of Production and Logistics (MCPL'07), 2007.
DOI : 10.3182/20070927-4-RO-3905.00063
URL : https://hal.archives-ouvertes.fr/hal-00196455

C. Dousson, Suivi d'´evolutions et reconnaissance de chroniques, Thèse de doctorat, 1994.

C. Dousson and T. V. Et-du-'o-'ng, Discovering chronicles with numerical time constraints from alarm logs for monitoring dynamic systems, 16th International Joint Conference on Artificial Intelligence IJCAI'99, 1999.

B. Dubuisson, Diagnostic, intelligence artificielle et reconnaissance des formes, 2001.

M. Garay, Computers and Intactability : a Guide to the Theory of NP-Completeness, 1979.

S. Genc and S. Et-lafortune, Distributed Diagnosis of Discrete-Event Systems Using Petri Nets, International Conference on Application and Theory of Petri Nets, pp.316-336, 2003.
DOI : 10.1007/3-540-44919-1_21

S. Genc and S. Et-lafortune, A distributed algorithm for on-line diagnosis of place-bordered petri nets, 16th IFAC World Congress, 2006.

M. Ghallab, D. Nau, and P. Et-traverso, Automated Planning, Theory and Practice, 2004.

D. Gouyon, J. F. Petin, and G. Et-morel, Control synthesis for product-driven automation, 7th IFAC Workshop on Discrete Event Systems (WODES'04), 2004.

P. Granier, Développement d'un outil de supervision de procédés industriels sous l'environnement tornado/vxworks, 2003.

K. Hamidi, Contribution à un modèle d'évaluation quantitative des performances fiabilistes de fonctions électroniques et programmables dédiés à la sécutité, Thèse de doctorat, 2005.

W. Hamscher, L. Consol, and J. D. Et-kleer, Readings in Model-Based Diagnosis, 1992.

S. Henry, Synthèse de Lois de Commande pour la Configuration et la Reconfiguration des Systèmes Industriels Complexes, Thèse de doctorat, 2005.

S. Henry, E. Deschamps, E. Zamaï, and M. Et-jacomino, Control law synthesis algorithm for discrete-event systems, IFAC Conference on Management and Control of Production and Logistics, 2004.

S. Henry, E. Zamaï, and M. Et-jacomino, Decisional requirements for supervision, monitoring and control structures, IEEE International Conference on Computational Engineering in Systems Applications (CESA'03), 2003.

S. Henry, E. Zamaï, and M. Et-jacomino, Real time reconfiguration of manufacturing systems, 2004 IEEE International Conference on Systems, Man and Cybernetics (IEEE Cat. No.04CH37583), 2004.
DOI : 10.1109/ICSMC.2004.1401201

S. Henry, E. Zamaï, and M. Et-jacomino, CONTROLLED-SYSTEM MODEL ADAPTED TO THE CONTROL LAW SYNTHESIS, 16th IFAC World Congress (IFAC'05), 2005.
DOI : 10.3182/20050703-6-CZ-1902.01469
URL : https://hal.archives-ouvertes.fr/hal-00373052

W. Hu, A. Starr, and A. Et-leung, Two diagnostic models for PLC controlled flexible manufacturing systems, International Journal of Machine Tools and Manufacture, vol.39, issue.12, pp.1979-1991, 1999.
DOI : 10.1016/S0890-6955(99)00022-X

B. Huvenoit, E. Craye, and J. Et-gentina, Elaboration de la commande de cellules de production flexibles dans l'industrie manufacturière, Conférence Automatisation Industrielle, pp.6-21, 1992.

L. Jacquet, Y. Sallez, and R. Et-soenen, Toward a specification procedure of operational functions for an automated system, 1995 IEEE International Conference on Systems, Man and Cybernetics. Intelligent Systems for the 21st Century, pp.4480-4485, 1995.
DOI : 10.1109/ICSMC.1995.538500

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

P. Kahn, Normalisation en matière de sûreté de fonctionnement des logiciels, 2004.

T. Kempowsky, A. Subias, and J. Et-aguillar-martin, Supervision of complex processes : Strategy for fault detection and diagnosis, IFAC Conference on Management and Control of Production and Logistics, 2004.

J. D. Kleer and B. Williams, Diagnosing with behavioral modes, the 11th International Joint Conference on Artificial Intelligence, IJCAI-89, pp.1324-1330, 1989.

S. Lafortune, D. T. Sampath, R. Sengupta, and K. Et-sinnamohideen, Failure diagnosis of dynamic systems: an approach based on discrete event systems, Proceedings of the 2001 American Control Conference. (Cat. No.01CH37148), pp.2058-2071, 2001.
DOI : 10.1109/ACC.2001.946047

N. Mauser, Prise en compte des opérations de surveillance pour la supervision et la commande des procédés industriels complexes, 2006.

M. G. Mehrabi, A. G. Ulsoy, and Y. Et-koren, Reconfigurable manufacturing systems : Key to future manufacturing, Journal of Intelligent Manufacturing, vol.11, issue.4, pp.403-419, 2000.
DOI : 10.1023/A:1008930403506

H. Mendez, Synthèse de lois de surveillance pour les procédés industriels complexes, Thèse de doctorat, 2002.

H. Mendez, E. Zamaï, and B. Et-descotes-genon, Quality, productivity, security and ecological constraints for synthesis of monitoring laws, 5eme Congrès International Pluridisciplinaire Qualité et Sûreté de Fonctionnement, 2003.

F. Murand, Mise en oeuvre des mécanismes de suivi temps réel et de diagnostic de services, Mémoire cnam, Conservatoire National des Arts et Métier, 2007.

M. Noureddine, Système d'aide au pilotage des flux de production par les systèmes multi-agents, 4th International Conference Integrated Design and Production, 2005.

O. Grady, P. Kim, Y. Et-young, and R. , Conception d'assemblages pour la customisation de masse (design of assembly for mass customization), International Journal of Computer- Integrated Manufacturing, vol.7, issue.3, pp.152-1662, 1994.

Y. Pencolé, Diagnostic décentralisé de systèmes à événements discrets : application aux réseaux de télécommunications, Thèse de doctorat, 2002.

J. Perrin, F. Binet, J. Dumery, C. Merlaud, and J. Et-trichard, Autmatique et informatique industrielle : Bases théoriques, méthodologiques et techniques, 2004.

A. Philippot, Contribution au diagnostic décentralié des systèmes à évènements discrets : application aux systèmes manufacturiers, Thèse de doctorat, 2006.

K. Pickard, P. Muller, and B. Et-bertsche, Multiple failure mode and effects analysis - an approach to risk assessment of multiple failures with FMEA, Annual Reliability and Maintainability Symposium, 2005. Proceedings., pp.457-462, 2005.
DOI : 10.1109/RAMS.2005.1408405

W. Qiu and R. Et-kumar, Decentralized failure diagnosis of discrete event systems, IEEE Transactions on Systems, Man, and Cybernetics, vol.36, issue.2, pp.384-395, 2006.

R. Reiter, A theory of diagnosis from first principles, Artificial Intelligence, vol.32, issue.1, pp.57-96, 1987.
DOI : 10.1016/0004-3702(87)90062-2

M. Sampath, R. Sengupta, S. Et, and . Lafortune, Failure diagnosis using discrete-event models, IEEE Transactions on Control Systems Technology, vol.4, issue.2, pp.105-124, 1996.
DOI : 10.1109/87.486338
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.364.852

M. Sampath, R. Sengupta, S. Lafortune, and D. Et-teneketzis, Diagnosability of discrete-event systems, IEEE Transactions on Automatic Control, vol.40, issue.9, pp.1555-1575, 1995.
DOI : 10.1109/9.412626

S. Soldani, M. Combacau, J. Thomas, and A. Et-subias, Intermittent fault detection through message exchanges : a coherence based approach, The International Workshop on Principles of Diagnosis (DX'06), pp.251-256, 2006.

C. Sourisse and L. Et-boudillon, La sécurité des machines automatisées Tome 2 : Techniques et moyens de prévention opératifs -Systèmes de commande -Utilisation des machines, 1997.

A. Toguyeni, P. Berruet, and E. Et-craye, Models and algorithms for failure diagnosis and recovery in fmss, International Journal of Flexible Manufacturing Systems, vol.15, issue.1, pp.57-85, 2003.
DOI : 10.1023/A:1023905023772

A. Toguyeni, E. Craye, and J. Et-gentina, A framework to design a distributed diagnosis in FMS, 1996 IEEE International Conference on Systems, Man and Cybernetics. Information Intelligence and Systems (Cat. No.96CH35929), pp.2774-2779, 1996.
DOI : 10.1109/ICSMC.1996.561379

D. Trentesaux and O. Et-sénéchal, Conduite des systèmes de production manucfacturière, Techniques de l'ingénieur, traité Informatique Industrielle, 2002.

L. Tromp, Surveillance et diagnostic de systèmes industriels complexes : une approche hybride numérique/symbolique, Thèse de doctorat, 2000.

R. Valette and L. Et-künzle, Réseaux de petri pour la détection et le diagnostic Journées nationales : Sûreté, surveillance, supervision, 1994.

F. Vallée, Sécurité informatique pour la gestion des risques, 2003.

C. Witteveen, N. Roos, R. Van-der-krogt, and M. Et-de-weerdt, Diagnosis of single and multi-agent plans, Proceedings of the fourth international joint conference on Autonomous agents and multiagent systems , AAMAS '05, pp.805-812, 2005.
DOI : 10.1145/1082473.1082596

E. Zamai, Architecture de surveillance-commande pour les systèmes à événements discrets complexes, Thèse de doctorat, 1997.

E. Zamai, A. Subias, and M. Et-combacau, An architecture for control and monitoring of discrete events systems, Computers in Industry, vol.36, issue.1-2, 1998.
DOI : 10.1016/S0166-3615(97)00102-4

J. Zaytoon, Specification and design of logic controllers for automated manufacturing systems, Robotics and Computer-Integrated Manufacturing, vol.12, issue.4, pp.353-366, 1996.
DOI : 10.1016/S0736-5845(96)00015-4

J. Zaytoon, C. Ndjab, and V. Et-carré-ménétrier, Grafcet et graphe d'états : Synthèse hors ligne de la commande, APII-JESA Journal Européen des Systèmes Automatisés, issue.7, pp.33783-814, 1999.

G. Zwingelstein, Diagnostic des défaillances : Théorie et pratique pour les systèmes industriels, Hermes, 1995.

G. Zwingelstein, Sûreté de fonctionnement des systèmes industriels complexes, S8250), 1999.

. Ee-i, évolution de l'environnement si sa connaissance est nécessaire au niveau coordination considéré, elle-même composée de : ? Ef T (ee i ), l'effet transitoire sur l'environnement

?. Cd, la pré-condition à respecter avant le lancement de l'opération pour que l'effet transitoire sur l'environnement soit réalisé

?. Cd, la condition à respecter pendant l'exécution de l'opération pour que l'effet final sur l'environnement soit réalisé

?. Ct, la pré-contrainte à respecter sur l'état du flux de produits et des chaînes fonctionnelles avant le début de l'opération si la pré-condition P Cd(ee i ) est vraie

?. Ea-i,-j-pour-i, 1, N i ], les évolutions associées du flux de produits, pour une opération Oreq i avec N i évolutions possibles du flux de produits

?. Cd, la pré-condition à respecter avant le lancement de l'opération pour que l'effet transitoire Ef T (ea i,j ) soit réalisé

?. Cd, la condition à respecter pendant l'exécution de l'opération pour que l'effet final Ef F (ea i,j ) soit réalisé

?. Ct, la pré-contrainte à respecter sur l'état du flux de produits et des chaînes fonctionnelles avant le début de l'opération si la pré-condition P Cd(ea i,j ) est vraie

A. Définition, 3 Effet transitoire de l'évolution de l'environnement ¬AN (Oreq i (2x ? 1)) ? P Cd(ee i ) ? P Ct(ee i ) ?j?[1

?. Ef and T. , ee i ) est réalisé, ? la contrainte Ct(ee i ) et la condition Cd(ee i ) sont respectées, ? si les contraintes des évolutions associées du flux de produits qui sont réalisées sont respectées , c'est à dire les conditions Cd(ea i,j ) et les contraintes Ct(ea i,j ) des évolutions ea i,j dont les pré-conditions P Cd(ea i,j )

A. Définition, 4 Effet final de l'évolution de l'environnement ¬AN (Oreq i (2x)) ? Ef T (ee i ) ? Cd(ee i ) ? Ct(ee i ) ?j?

A. Annexe, Formalisation du comportement des opérations ? les pré-contraintes des autres évolutions associées du flux de produits qui doivent être réalisées sont respectées, c'est à dire les pré-contraintes P Ct(ea i,l ) des évolutions ea i,l dont les pré-conditions P Cd(ea i,l )

A. Définition, 5 Effet transitoire d'une évolution du flux de produits ¬AN (Oreq i (2x ? 1)) ? P Cd(ea i,j ) ? P Ct(ea i,j ) ? P Cd(ee i ) ? P Ct(ee i ) ?l?[1,N i ]\j P Cd(ea i,l ) ? P Ct(ea i,l ) ? Ef T (ea i,j )

A. Définition, 6 Effet transitoire d'une évolution du flux de produits ¬AN (Oreq i (2x)) ? Ef T (ea i,j ) ? Cd(ea i,j ) ? Ct(ea i,j ) ? Cd(ee i ) ? Ct(ee i ) ?lj?[1,N i ]\j P Cd(ea i,l ) ? Ct(ea i,l ) ? Ef F (ea i,j )

A. Définition, 7 Impact du non respect des pré-contraintes ¬P Ct(ee i ) ?j?[1