A. Z. and R. N. Xie-x, Supervisory control of marked graphs with partial observations, International Journal of Production Research, vol.42, issue.14, pp.2827-2838, 2004.

A. Begovich-o and . A. Ramirez-trevino, Observability with respect to a language in discrete event systems modelled by IPN, Proceedings of 6 th International Workshop on Discrete Event Systems, WODES'02, pp.2-4, 2002.

A. P. Lhoste-p, R. M. Morel-g, and S. M. Salvi-p, Application de la modélisation de la partie opérative à la structuration de la partie commande, Journée AFCET « Méthode et outils modernes de conception et d'exploitation de la commande de procédé discontinus complexes, 1986.

A. Dixneuf-p, Conception et programmation par objets, Techniques outils et applications, 1991.

A. F. Brennan-r, C. J. , and L. J. Vyatkin-v, Creation of a knowledge economy for intelligent industrial automation: OOONEIDA community in IMS, th IFAC Symposium on Information Control Problems in Manufacturing, pp.5-7, 2004.

B. S. Hoffmann-g, . Gyugyi-p, and F. H. Wong-toi, Supervisory control of a Rapid Thermal Multiprocessor, IEEE Transactions on Automatic Control, vol.38, issue.7, 1993.

B. Georges and L. Stéphane, On the synthesis of communicating controllers with decentralized information structures for discrete-event systems, Proceedings of IEEE Conference on Decision and Control, 1998.

B. Georges and L. Stéphane, A novel framework for decentralized supervisory control with communication, Proceedings of IEEE Systems, Man and Cybernetics, 1998.

B. Michel, . Ouajdi, and . Bourey-jean-pierre, Apport d'UML pour la réalisation d'un outil de conception des systèmes automatisés de production, 4eme Colloque Francophone sur la Modélisation des Systèmes Réactifs, MSR'03, 2003.

B. Michel, . Ouajdi, and . Bourey-jean-pierre, Integration of FMS performance evaluation models using patterns for an information system design, Computers & Industrial Engineering, vol.46, issue.637, p.625, 2004.

B. Luc, Integration of scheduling and control in holonic manufacturing systems, 1998.

B. Luc, . László, and . Mcfarlane-duncan, Hierarchy in distributed shop floor control, Computers in Industry, pp.123-137, 2000.

E. Bourdon-sean and W. W. Mark, Robust nonblocking supervisory control of discrete-event systems, Proceedings of the American Control Conference ACC'02, pp.730-735, 2002.

A. Bouwens-jan and A. Margaret, The consequences of customization on management accounting system design, Accounting, Organisations and Society, pp.221-241, 2000.

B. Bertil, A. Malik-robi, and M. Petra, Incremental verification and synthesis of discreteevent systems guided by counter-example, IEEE Transaction on Control Systems Technology, 2004.

B. R. Garg-v, L. F. Kumar-r, M. S. , and W. W. , Formulas for calculating supremal controllable and normal sublanguages, Systems and control letters, vol.15, issue.2, pp.111-117, 1990.

B. Y. Heymann-m, Control of discrete event systems modelled as hierarchical state machines, IEEE Transactions on Automatic Control, vol.38, issue.12, 1993.

B. R. , F. M. Zhang-x, and N. D. , Reconfiguration of Real-time Distributed Control Systems: An IEC 61499 Based Approach, International Conference on Industrial Engineering and Product Management, 2001.

B. R. , H. K. , M. V. Maturana-f, and N. D. , A real-time interface for holonic control devices, HOLOMAS'03, 1st International Conference on Application of Holonic and Multi-agent Systems, pp.1-3, 2003.

B. David and L. , The virtual Electronic Product Code, Auto-Id Center White paper, 2002.

B. Sven, MASCADA Manufacturing control systems capable of managing production change and disturbances ? An application of autonomous cooperating agents, Agentlink (The European Network of Excellence for Agent-Based Computing), Newsletter 1, pp.16-19, 1999.

B. Stefan, An agent-oriented architecture for holonic manufacturing control, First open workshop IMS Europe, 1998.

. Bussman-stefan and C. Mcfarlane-duncan, Rationales for holonic manufacturing control, Proceedings of 2 nd International Workshop on Intelligent Manufacturing Systems, pp.177-184, 1999.

C. Robert, M. Fernandez-anthony, and A. J. , A generic model of hierarchy for systems analysis and simulation, Agricultural systems, vol.57, issue.2, pp.197-225, 1998.

C. Rahul and W. Subhash, Impact of routing flexibility on the performance of an FMS ? A simulation study, The International Journal of Flexible Manufacturing Systems, pp.273-298, 1997.

C. Véronique and N. Hagbebell-constant, Methods and tools for the synthesis of an optimal control implementation for Grafcet, APII ? Journal Européen des Systèmes Automatisés, vol.33, pp.8-9, 1999.

C. Véronique and . Zaytoon-janan, Formal composition algorithm for the synthesis of a correct controller implementation, 10 th IFAC/INCOM'01 symposium, 2001.

C. Samir, Du contrôle par supervision hiérarchique distribuée à la coordination hiérarchique, pp.5-8, 2000.

C. S. Niel-e, Hierarchical-decentralized solutions of supervisory control, th International Symposium on Mathematical Modelling, 2000.

C. V. Kumar-r, A discrete event systems modelling formalism based on event occurrence rules and precedence, IEEE Transactions on Robotics and Automation, vol.17, p.6, 2001.

C. V. and M. S. Kumar-r, Automated control synthesis for an assembly line using discrete event control systems theory, Proceedings of the American Control Conference, pp.4956-4961, 2001.

C. F. Janvier, C. F. , A. H. , and D. R. , Commande supervisée des Systèmes à Evénements Discrets Spécialité : Automatique -Productique The supervised control of discrete event systems, Thèse de doctorat de l'Institut National Polytechnique de Grenoble, 1999.

C. Patrick, From a reactive, heterarchical to a holonic system : an application for optimising flow in an automotive plant, Production Planning & Control, vol.15, issue.2, pp.166-177, 2004.

C. Frédéric, Contribution à la gestion et à la conduite des systèmes manufacturiers par objets nomades de production, Thèse de Doctorat de l'Université Henri Poincaré Nancy, 1995.

C. Hoaxun and H. Hans-michael, Control synthesis of timed discrete event systems: part one and two, th Triennial IFAC World Congress, 1999.

C. Hoaxun and H. Hans-michael, Model aggregation for hierarchical control synthesis of discrete event systems, th IEEE Conference on Decision and Control, 2000.

C. Yi-liang, L. Lafortune-stéphane, and . Feng, How to reuse supervisors when discrete event system models evolve, Proceedings of the 36th IEEE Conference on Decision and Control, 1997.
DOI : 10.1109/CDC.1997.657902

C. Yi-liang, L. Lafortune-stéphane, and . Feng, Incremental model evolution and reusability of supervisors for discrete event systems, Automatica, vol.36, pp.243-259, 2000.

C. Yi-lang and L. Feng, Hierarchical modelling and abstraction of discrete event systems using finite state machines with parameters, Proceeding of the 40 th Conference on Decision and Control, 2001.

C. Cheng-fan-tien, W. Chih-feng, and . Shang-lun, Development of holonic manufacturing execution systems, Journal of Intelligent Manufacturing, vol.15, issue.2, pp.253-267, 2004.
DOI : 10.1023/B:JIMS.0000018037.63935.a1

C. Jin-lung and C. Mcfarlane-duncan, Application of the holonic component-based approach to the control of a robot assembly cell, Proceeding of IEEE Conference on Robotics and Automation, 2000.

C. Jin-lung and C. Mcfarlane-duncan, A holonic component-based approach to reconfigurable manufacturing control architecture, Proceeding of HoloMAS'00, First International Workshop on Industrial Applications of Holonic and Multi-agent Systems, pp.6-8, 2000.

C. Jim, O. Michel, and . Struger, Les systèmes holoniques, CiMax : Edition Terrain, pp.26-31, 1996.

C. Michel, Surveillance hiérarchisée des systèmes complexes, Habilitation à diriger des recherches, 1998.

C. Etienne, Contribution au contrôle/commande de systèmes flexibles de production manufacturière, Habilitation à diriger des recherches de l, 1994.

C. Didier, Méthodologie de conception des systèmes complexes à événements discrets : application à la conception et à la validation hiérarchisée de la commande de cellules de production flexibles dans l'industrie manufacturière, 1991.

D. Cunha-antonio, E. C. Cury-josé, E. R. Krogh-bruce, and H. , An assume-guarantee reasoning for hierarchical coordination of discrete even systems, Proceedings of 6 th International Workshop on Discrete Event Systems, WODES'02, pp.2-4, 2002.

D. Silveira-giovani, . Denis, and S. Fogliatto-flávio, Mass customization: Literature review and research directions, International Journal of Production Economics, vol.72, issue.1, pp.1-13, 2001.
DOI : 10.1016/S0925-5273(00)00079-7

D. Queiroz, M. H. , and C. J. , Synthesis and implementation of local modular supervisory control for a manufacturing cell, Sixth International Workshop on Discrete Event Systems, 2002. Proceedings., pp.2-4, 2002.
DOI : 10.1109/WODES.2002.1167714

D. P. , M. R. , and W. W. Brandin-b, Implementation considerations in supervisory control, Symposium on Supervisory control of DES, SCODES 2001, dans Synthesis and Control of DES, pp.185-201, 2001.

E. Khattabi-samir, Intégration de la surveillance de bas niveau dans la conception des systèmes à événements discrets : application aux systèmes de production flexibles, Thèse de l, 1993.

F. M. Lennartson-b, Petri nets and control synthesis: an objet-oriented approach, IMS, vol.94, 1994.

F. M. Lennartson-b, Applying supervisory control theory to discrete event systems modeled by object oriented principles, p.95, 1995.

F. M. Lennartson-b, On non-deterministic supervisory control, IEEE Conference on Decison and Control, CDC'96, 1995.

F. M. Hellgren-a, PLC-based Implementation of Supervisory Control for Discrete Event Systems, 37 th IEEE Conference on Decision and Control, 1998.

F. M. Kumar-r, Mutually nonblocking supervisory control of discrete event systems, Automatica, vol.36, pp.1863-1869, 2000.

F. Ronald, S. Simpson-timothy, and W. , Product platform design to improve commonality in custom products, Journal of Intelligent Manufacturing, vol.14, pp.541-556, 2003.

F. Robert and L. Bernard, Précis de recherche opérationnelle : méthodes et exercices, 5° édition, 2000.

F. Klaus, Agent-based design of holonic manufacturing systems, Robotics and autonomous systems, vol.27, pp.3-13, 1999.

F. M. Garcia-herreros, C. J. Deen-s, and . Mittmann-r, An open architecture for holonic cooperation and autonomy, 11th International Workshop on Database and Expert Systems Aaplication (DEXA'00), pp.6-8, 2000.

F. Martyn and D. S. Misbah, Fault-tolerant holonic manufacturing systems, Concurrency and computation : practice and experience, pp.43-70, 2001.

F. M. Brennan-r and N. D. , Modeling and reconfiguring intelligent holonic manufacturing systems with Internet-based mobile agents, Journal of Intelligent Manufacturing, vol.14, pp.7-23, 2003.

F. H. , F. M. Akesson-k, and . Hellgren-a, Controllability revisited: a generalization for the modular approach, 11 th IFAC Symposium on Information Control Problems in Manufacturing, pp.5-7, 2004.

F. A. Seki-h and . Takahashi-k, A description and reasoning of plant controllers in temporal logic, Proceedings of the 8 th International Joint Conference on Artificial Intelligence, 1983.

G. Andrés, . Mcfarlane-duncan, F. Throne-alan, and . Martin, The impact of Auto- ID technology in materials handling systems, 7th IFAC Workshop on Intelligent Maunfacturing Systems, 2003.

G. Benoit and M. Hervé, Contrôle de systèmes à événements discrets hiérarchiques, 4eme Colloque Francophone sur la Modélisation des Systèmes Réactifs, MSR'03

G. A. and R. N. Xie-x, Conception du superviseur optimal vivant à l'aide de la théorie des régions, Modélisation des Systèmes Réactifs MSR, pp.17-19, 2001.

G. Asma, . Nidhal, and . Xie-xiaolan, Algebraic and geometric characterization of Petri net controllers using the theory of regions, Proceedings of 6 th International Workshop on Discrete Event Systems, WODES'02, pp.2-4, 2002.

G. Klaus, . Schmidt-thomas, and . Wippel-gerald, Integration of shop floor holons with automated business processes, HOLOMAS'03, 1st International Conference on Application of Holonic and Multi-agent Systems, pp.1-3, 2003.

. Godon-alain, Contribution à la commande des systèmes à événements discrets par réseaux de Petri, Thèse de doctorat de l'université d'Angers mention Sciences de l'Ingénieur, 1996.

G. A. Ferrier and J. L. , DES control design using petri nets, European Control Conference, ECC'97, pp.1-4, 1997.
URL : https://hal.archives-ouvertes.fr/hal-00843996

G. P. Wonham and W. M. , A linguistic framework for controlled hierarchical DES, Proceedings of the 4 th IEEE Workshop On Discrete Event Systems, WODES 98, 1998.

G. Peyman, W. , and W. M. , On the complexity of supervisory control design in the RW framework, IEEE Transaction on Systems, Man and Cybernetics, special issue on DES, 2000.

G. Ling and B. Peter, Holonic manufacturing scheduling: architecture, cooperation mechanism, and implementation, Computers in Industry, pp.213-231, 1998.

G. A. Libeaut-l and F. , Supervisory control of timed automata, European Control Conference, p.97, 1997.

. Gouin-alexia and . Jean-louis, Modeling and supervisory control of timed automata, APII ? Journal Européen de Systèmes Auomatisés, vol.33, pp.8-9, 1999.

G. Alexia, Contribution à la commande des systèmes à événements discrets temporisés : synthèse de superviseur dans le cadre automate, Thèse de doctorat de l'université d'Angers, mention Automatique et Informatique Appliquée, 1999.

G. David, . Gouin-alexia, and . Pétin-jean-françois, Application de techniques de synthèse en ingénierie d'automatisation. CIFA, Conférence Internationale Francophone d'Automatique, 2002.

G. David, . Gouin-alexia, and . Pétin-jean-françois, Application de techniques de synthèse en ingénierie d'automatisation. SEE Sciences et Technologies de l'Automatique, 2003.

G. David and . Pétin-jean-françois, Modèles du procédé et de ses spécifications pour la synthèse de la commande, 4eme Colloque Francophone sur la Modélisation des Systèmes Réactifs, MSR'03, 2003.

G. David and . Pétin-jean-françois, Pragmatic approach for modular control synthesis and implementation, International Journal of Production Research, vol.42, issue.14, pp.2839-2858, 2004.

G. David, . Simão-jean-marcelo, M. Alkassem-khaled, and . Gérard, Product-Driven Automation Issues For B2m-Control Systems Integration, INCOM 2004 , International Conference on Information Control Problems, 2004.

G. David, M. Pétin-jean-françois, and . Gérard, Control Synthesis For Product-Driven Automation, IFAC WODES'04, 7th Workshop on Discrete Event Systems, pp.22-24, 2004.

H. and T. J. Luder-a, Towards a synthesis method for distributed safety controllers based on net condition/event systems, Journal of Intelligent Manufacturing, vol.8, pp.357-368, 1997.

H. B. Goranson-h, . N. Shorter-d, and . B. Vernandat-f, Assessing Enterprise Integration for Competitive Advantage ? Workshop ? 2, Working Group 1, dans Enterprise Engineering and Integration : Building International Consensus, Proceeding of ICEIMT'97, International conference on Enterprise Modelling and Modelling Technology, pp.96-107, 1997.

H. L. Krogh-b and . Giua-a, A survey of Petri net methods for controlled discrete even systems, Discrete event dynamic systems: Theory and application, pp.151-190, 1997.

H. Biqing, . Hongmei, L. Liu-wenhuang, . Yu, and . Xie-min, A framework for virtual enterprise control with the holonic manufacturing paradigm, Computers in Industry, vol.49, pp.299-310, 2002.

J. Shengbing and . Kumar-ratnesh, Supervisory control of non deterministic discrete event systems via masked prioritized synchronization, Proceeding of the 38 th Conference on Decision and Control, pp.2212-2217, 1999.

J. S. Kumar-r, Decentralized control of discrete event systems with specializations to local control and concurrent systems, IEEE Transactions on Systems, Man and Cybernetics, part B, vol.30, issue.5, pp.653-660, 2000.

J. S. and C. V. Kumar-r, Decentralized control of discrete-event systems with multiple local specifications, Proceedings of 2001 American Control Conference, 2001.

J. Jianxin, M. Qinhai, and M. Tseng-mitchell, Towards high value-added products and services : mass customization and beyond, Technovation, pp.809-821, 2003.

J. Timothy and L. , Improving automation software dependability: a role for formal methods? INCOM, International Conference on Information Control Problems, 2004.

K. B. Monostori-l, Adaptative agents in distributed manufacturing systems, 10th IFAC Symposium on Information Control Problems in Manufacturing, pp.20-22, 2001.

K. Mikko, . Holmstrom-jan, and . Kary, Intelligent products ? a step towards a more effective project delivery chain, Computers in Industry, pp.141-151, 2003.

K. A. Niel-e, State feedback stabilizing controller for the failure recovery of timed discrete event systems, Proceedings of 6 th International Workshop on Discrete Event Systems, WODES'02, pp.2-4, 2002.

K. Thomas, Contribution à la reconfiguration dynamique des systèmes de commande, 2004.

K. Arthur, The ghost in the machine, 1967.
DOI : 10.1017/CBO9781107279117.031

K. Jan, Computation of supremal sublanguages of supervisory control using coalgebra, Proceedings of 6 th International Workshop on Discrete Event Systems, WODES'02, pp.2-4, 2002.

K. Jana, Supervisory control theory for autonomous mobile agents, Dissertation proposal presented to the Faculties of the University of Pennsylvania in Partial Fulfilment of the Requirements for the Degree of Doctor of Phylosophy, 1995.

K. R. Garg-v and M. S. , On controllability and normality of discrete event dynamical systems, Systems & Control Letters, vol.17, pp.157-168, 1991.

G. Kumar-ratnesh and K. Vijay, Extremal solutions of inequations over lattices with applications to supervisory control, Theoretical Computer Science, vol.148, issue.1, pp.67-92, 1995.
DOI : 10.1016/0304-3975(94)00256-I

K. R. Garg-v, Modeling and control of logical discrete event systems, Kluwer Academic, 1995.

. Kumar-ratnesh and A. Mark, Nonblocking supervisory control of nondeterministic systems via prioritized synchronization, IEEE Transaction on Automatic Control, vol.41, issue.38, 1996.

. Kumar-ratnesh and A. Mark, Centralized and decentralized supervisory control of nondeterministic systems under partial observation, SIAM Journal of Control and Optimization, 1997.

L. Patrick, Proposition d'une méthode formelle d'automatisation de systèmes de production à l'aide de la méthode B, Thèse de doctorat de l'université de Nancy, 2001.

L. Gilad, . Sørensen-christian, M. Larsen, and . Holm, Product state models in holonis shop floor control systems, Proceedings of 2 nd International Workshop on Intelligent Manufacturing Systems, pp.23-32, 1999.

L. S. Mills-j and . Benhabib-b, An implementation methodology for the supervisory control of flexible manufacturing workcells, SME, Journal of Manufacturing Systems, vol.16, issue.1, 1997.

L. Scott, P. Beugelsdijk-tony, and J. , Mass customized testing and manufacturing via the Internet, Robotics and Computer-Integrated Manufacturing, vol.14, pp.377-387, 1998.

L. Gallou and F. Bouchon-meunier-b, Systémique ? Théorie et applications, 1992.

L. R. Brandin-b and W. W. , Hierarchical interface-based non-blocking verification, Proceedings of Candian Conference on Electrical and Computer Engineering, pp.1-6

L. Jean-baptiste, Contribution méthodologique à la maintenance prévisionnelle des systèmes industriels de production : proposition d'un cadre formel de modélisation, Thèse de l'Université Henri Poincaré ? Nancy 1, 1999.

L. Paulo, W. Armando, and . Francisco, An Approach to the Formal Specification of Holonic Control Systems, st International Conference on Industrial Application of Holonic and Multi-Agent Systems, HOLOMAS'03, 2003.

L. Paulo and . Francisco, Identification of ADACOR holons for manufacturing control, 7th IFAC Workshop on Intelligent Maunfacturing Systems, 2003.

L. B. , F. M. Tittus-m, and . Hellgren-a, Modeling primitives for supervisory control, Proceedings of the 4th WODES, 1998.

L. B. Tittus-m, F. M. Hellgren-a, and A. , Specification structures for supervisory control, Proceedings of the 4th WODES, 1998.

L. Robert, Modelling control systems using IEC 61499 ? Applying function blocks to distributed systems, IEE Control Engineering Series, vol.59, 2001.

L. Pascal, Contribution au Génie Automatique : concepts, modèles, méthodes et outils pour le Génie Automatique, Habilitation à Diriger des Recherches présentée à l'université de Nancy I, p.10

L. Pascal and M. Gérard, From discrete event behavioural modelling to intelligent actuation and measurement modelling, ASI'96, Life Cycle Approaches to Production Systems. Management, Control, Supervisor. The annual conference of the ICIMS-NOE, pp.2-6, 1996.

L. F. Chazelet-ph and . Dulmet-m, The extension of principles of cybernetics towards engineering and manufacturing, Annual Reviews in Control, vol.23, pp.139-148, 1999.

L. F. Vaz-a and W. M. Wonham, Supervisory specification and synthesis for discrete event systems, Int. J. Control, vol.48, pp.1-321, 1988.

L. Feng and W. W. Murray, Decentralized control and coordination of discrete-event systems with partial observation, IEEE Transactions on Automatic Control, vol.35, issue.12, 1990.

L. Jing and D. Houshang, Ladder logic implementation of Ramadge-Wonham supervisory controller, Sixth International Workshop on Discrete Event Systems, 2002. Proceedings., pp.2-4, 2002.
DOI : 10.1109/WODES.2002.1167715

M. H. Bournai-p, . Leborgne-m, and . Le-guernic-p, A design environment for discrete-event controllers based on the signal language, pp.11-14, 1998.

M. Hervé, L. Patricia, L. Michel, and . Paul, Synthesis of discrete-event controllers based on the Signal environment, Discrete Event Dynamic Systems: Theory and Applications, pp.325-346, 2000.

M. Vladimir, Industrial applications of the agent-based technology, International Conference on Information Control Problems, 2004.

M. M. and R. G. Macchietto-s, An integrated environment for the design of procedural controllers, Preprints Volume II, 9 th Symposium on Information Control Manufacturing, Advances in Industrial Engineering, INCOM'98, 1998.

M. John, Organisational foundations of intelligent manufacturing systems ? the holonic viewpoint, Computer Integrated Manufacturing Systems, vol.8, pp.4-237, 1995.

M. Duncan and . Stefan, Developments in holonic production planning and control, International Journal of Production Plannig and Control, vol.11, issue.6, pp.522-536, 2000.

M. Duncan, . Sarma-sanjay, . Chirn-jin-lung, and . Ashton-kevin, The intelligent product in manufacturing control and management, 15th Triennal IFAC World Congress, 2002.

M. Duncan, Product identity and its impact on discrete event observability, ECC'03, European Control Conference, pp.1-4, 2003.

M. Thomas and D. J. , Strategic refinements in abstraction based supervisory control of hybrid systems, Proceedings of 6 th International Workshop on Discrete Event Systems, WODES'02, pp.2-4, 2002.

M. David, Contribution à la simulation de parties opératives interopérables pour la validation d'automatismes distribués, Diplôme de Recherche Technologique, Option Automatique, 1999.

M. G. Iung-b and G. D. Russo-f, Prototyping a sub-concept of computer integrated manufacturing and engineering (CIME): the integrated control maintenance and technical management system (CMMS). 1 st World Automation Congress, TSi Press Series on Intelligent Automation and Soft Computing: Trends in research, pp.25-30, 1994.

M. G. Petin-j-f, Formal specification for manufacturing systems automation. IFAC -INCOM'01 Conference on Information Control problems in Manufacturing, 2001.

M. Gérard and . Bernard, Intelligent Manufacturing, Engineering Application of Artificial Intelligence, vol.16, issue.4, pp.271-393, 2003.

M. Gérard, . Mery-dominique, L. Leger-jean-baptiste, and . Thierry, Proof-oriented fault-tolerant engineering: rationales, experiments and open issues, Proceedings of the 7 th IFAC Symposium on Cost Oriented Automation, pp.7-9, 2004.

M. Francis, Robotisation Intégrée d'un Ilot de Production Manufacturière : aspect contrôlecommande et communication, Thèse de doctorat de l'université de Nancy 1, 1988.

M. Ga?per, Z. Drago, and . Borut, Model based programmable control logic design, 15th Triennal IFAC World Congress, 2002.

N. Eric, Contribution à la modélisation des Systèmes Intégrés de Poduction à Intelligence Distribuée : application à la distribution du contrôle-commande et à la gestion technique sur les équipements de terrain, 1998.

N. Wyatt, S. Podgurski-andy, D. Quinn-roger, L. Frank, S. Michael et al., Design lessons for building agile manufacturing systems, IEEE Transactions on Robotics and Automation, vol.16, issue.3, 2000.

N. E. Pietrac-l and R. L. , Advantages and drawbacks of the logic programm synthesis using supervisory control theory, 10 th IFAC/INCOM'01 Symposium, 2001.

N. M. Niel-e, Modular supervisor control of an experimental automated manufacturing system, Control Engineering Practice, vol.12, pp.205-216, 2004.

. Oliveira-eugénio, . Fischer-klaus, and . Olga, Multi-agent systems: which research for which applications, Robotics and Autonomous Systems, vol.27, issue.1-2, pp.91-106, 1999.
DOI : 10.1016/S0921-8890(98)00085-2

O. Yeong-chang and . Hu-jwu-sheng, A modified method for supervisor specification and synthesis of a class of discrete event systems, Asian Journal of Control, vol.2, issue.4, pp.263-273, 2000.

P. E. Nguyen-l, Traçabilité des produits sanguins labiles : definition, régelementation, bilan et perpectives, Transfus. Clin. Biol, vol.7, issue.1, pp.72-76, 2000.

P. Frédéric, Interaction produit-procédé ? Extension de la modélisation de la commande avec suivi automatique du produit, Thèse présentée à l, 1993.

P. Jean-françois, I. Benoit, and M. Gérard, Distributed intelligent actuation and measurement (IAM) system within an integrated shop-floor organisation, Computers in Industry, pp.197-211, 1998.

P. Pascal, Une révolution déclanchée par une puce, Logistique magazine, 2003.

P. Tilo and . Peter, Networks as a basis for production-integrated quality management, Computer Integrated Manufacturing, Proceedings of the Seventh CIM-Europe Annual Conference, pp.29-31, 1991.

P. Laurent, C. Samir, and R. Luc, Application de la théorie de la supervision : un exemple de conception de programmes d'API, Conférence Internationale Francophone d'Automatique, Juillet, pp.8-10, 2002.

P. Frank, T. Reichwald-ralf, and &. Mitchell, Competitive Advantage Through Customer Interaction: Leading Mass Customization and Personalization (MCP) from the Emerging State to a Mainstream Business Model, Proceedings of the MCPC 2003, 2003.

Q. R. Wysk-r and . Xu-q, Extended structured adaptive supervisory control of shop-floor controls for an e-manufacturing system, International Journal of Production Research, vol.41, issue.8, pp.1605-1620, 2003.

Q. Roger, D. Causey-greg, C. Frank, L. Sargent-david, M. Barendt-nick et al., An agile manufacturing workcell design, IIE Transactions, vol.29, pp.901-909, 1997.

R. Benhabib-b, Supervisory control of reconfigurable flexiblemanufacturing workcells ? temporary addition of resources, International Journal of Computer Integrated Manufacturing, vol.16, issue.2, pp.93-111, 2003.

R. Leila and . Heikkila-tapio, Software development for holonic manufacturing systems, Computer in Industry, vol.37, pp.233-253, 1998.

R. I. Caines-p, Specification and supervisory control for multi-agent product systems, 15th IFAC World Congress, 2002.

R. E. Divoux-t, . Lepage-f, and . Veron-m, MMS virtual manufacturing devices generation : the Paris subway example, Integrated Manufacturing Systems Engineering, Part three : Enterprise Engineering, Chapman & Hall on Behalf of the International Federation for Information Processing IFIP TC5, pp.84-98, 1995.

R. J. , F. J. , and L. J. Medina-a, An algebraic approach for dependable logic control systems design, International Journal of Production Research, vol.42, issue.14, pp.2859-2876, 2004.

S. Jacques, Eléments de la théorie des automates, Vuibert, 2003.

S. A. Macchieto-s, Design of procedural controllers for chemical processes, Computers Chem. Engng, vol.19, pp.381-386, 1995.

S. Patrice, Théorie des automates, Vuibert, 1999.

. Sfalcin-alain, Contribution d'une approche semiotique à la réutilisation des composants de commande des machines et systèmes automatisés de production, Thèse de doctorat de l'université de, 1992.

S. M. Kumar-r, A New Framework for Supervisory Control of Discrete Event Systems, 1995.

S. M. Kumar-r, Supervisory control of nondeterministic systems with driven events via prioritized synchronization and trajectory models, SIAM Journal on Control and Optimization, pp.469-497, 1995.

S. Junho and C. Hyunbo, Planning and sequencing heuristics for feature based control of holonic machining equipement, The International Journal of Flexible Manufacturing Systems, pp.49-70, 2001.

S. Dusan and N. , Generation of alternative plans in integrated manufacturing systems, Journal of Intelligent Manufacturing, vol.14, pp.509-526, 2003.

R. Sousa-paulo and . Carlos, A dynamic scheduling holon for manufacturing orders, Journal of Intelligent Manufacturing, vol.9, issue.2, pp.107-112, 1998.
DOI : 10.1023/A:1008807726981

R. Sousa-paulo and . Carlos, A distributed architecture and negotiation protocol for scheduling in manufacturing systems, Computers in Industry, vol.38, issue.2, pp.103-113, 1999.
DOI : 10.1016/S0166-3615(98)00112-2

S. Ramavarapu and S. , On the existence of finite state supervisors for arbitrary supervisory control problems, IEEE Transactions on Automatic Control, vol.42, pp.928-945, 1997.

S. Ramavarapu and S. , On minimal representations of Petri nets langages, Proceedings of 6 th International Workshop on Discrete Event Systems, WODES'02, pp.2-4, 2002.

U. Mihaela, W. Brennan-robert, and S. Walker-scott, The Holonic enterprise: a model for Internet-enabled global manufacturing supply chain and workflow management, Integrated Manufacturing Systems, pp.538-550, 2002.

V. Paul, . Van-brussel-hendrik, . Jo, P. Luc, and . Patrick, Designing of holonic manufacturing systems, Robotics and Computer-Integrated Manufacturing, vol.14, pp.455-464, 1998.

V. Paul, Special issue: Holonic Manufacturing Systems, Computer In Industry, vol.46, issue.3, pp.233-331, 2001.

. Van-brussel-hendrik, . Jo, . Paul, P. Luc, and . Patrick, Reference architecture for holonic manufacturing systems: PROSA, Computers in Industry, pp.255-274, 1998.

V. Valeriy and H. Hans-michael, Verification of distributed control systems in intelligent manufacturing, Journal of Intelligent Manufacturing, vol.14, pp.123-136, 2003.

W. Engelbert, Technical intelligence for manufacturing, Proceedings of the Second International Manufacturing Systems, 1999.

W. Engelbert, . Ritter-arno, and . Schaeffer-christoph, Asimov-holonic multi-agent systems for AGVs, Proceedings of 2 nd International Workshop on Intelligent Manufacturing Systems, pp.93-97, 1999.

W. P. Bourne-d, Manufacturing intelligence, 1988.

W. Jo, Reference architecture for holonic manufacturing systems ? the key to support evolution and reconfiguration, Thèse de l, 1999.

X. Hao, . Trontis-anastasios, . Pang-yan, and P. Michael, Supervisory eventuality synthesis, Proceedings of 6 th International Workshop on Discrete Event Systems, WODES'02, pp.2-4, 2002.

. Xu-yuefei, W. Brennan-robert, N. Zhang-xiaokun, and H. Douglas, A gentic algorithmbased approach to holon virtual clustering, Proceedings of World Multiconference on Systems, Cubernetics and Informatics (SCI'2000), pp.380-385, 2000.

L. Yoo-tae-sic and . Stéphane, A general architecture for decentralized supervisory control of discrete-event systems, Proceedings of WODES 2000, Discrete Event Systems: Analysis and Control, pp.111-118, 2000.

L. Yoo-tae-sic and . Stéphane, New results on decentralized supervisor control of discreteevent systems, Proceedings of IEEE Conference on Decision and Control, 2000.

L. Yoo-tae-sic and . Stéphane, On the computational complexity of some problems arising in partially-observed discrete-event systems, Proceedings of the 2001 American Control Conference. (Cat. No.01CH37148), pp.25-27, 2001.
DOI : 10.1109/ACC.2001.945562

L. Yoo-tae-sic and . Stéphane, Decentralized supervisory control: a new architecture with a dynamic decision fusion rule, Sixth International Workshop on Discrete Event Systems, 2002. Proceedings., pp.2-4, 2002.
DOI : 10.1109/WODES.2002.1167663

Z. J. Ndjab-c, . V. Carre-menetrier, Z. Mai, N. Janan, C. Hagbebell-constant et al., On the synthesis of Grafcet using the supervisory control theory, IFAC Conference on Control of Industrial Systems Grafcet et graphe d'état : synthèse hors ligne de la commande, APII-Journal Européen des Systèmes Automatisés, vol.33, issue.7, pp.20-22, 1999.

Z. J. Carre-menetrier, Synthesis of a correct control implementation for manufacturing systems, International Journal of Production Research, vol.39, pp.329-345, 2001.

Z. Martin and B. Vernadat-françois, The CIMOSA business modelling process, Computer In Industry, vol.27, pp.123-142, 1995.

. Zhang-jie, C. Liang, T. S. Felix, and . Li-peigen, A holonic architecture of the concurrent integrated process planning system, Journal of Materials Processing Technology, vol.139, issue.1-3, pp.1-6, 2003.
DOI : 10.1016/S0924-0136(03)00233-4

N. Zhang-xiakun and H. Douglas, Holonic control at the production and controller levels, Proceedings of 2 nd International Workshop on Intelligent Manufacturing Systems, pp.215-224, 1999.

Z. Zhonghua and W. W. , STCT: An efficient algorithm for supervisory control design, Symposium on Supervisory Control of Discrete Event Systems, 2001.

Z. Hoa and W. W. Murray, On the consistency of hierarchical supervision in discrete event systems, IEEE Transactions on Automatic Control, vol.35, p.10, 1990.