B. Bako, R. Valette, and C. M. , A controlled rule-based system interpreter: an application to FMS simulation. AI, Simulation and Planning in High Autonomy Systems, 1990.

. Bako, . Valette, V. Bako, and R. Valette, Towards a decentralization of rule-based systems controlled by Petri Nets: an application to FMS, Fourth International Symposium on Knowledge Engineering, 1990.

R. W. Brennan, Performance comparison and analysis of reactive and planning-based control architectures for manufacturing, Robotic and Computer Integrated Manufacturing, pp.2-3, 2000.
DOI : 10.1016/S0736-5845(00)00007-7

N. Brennan, R. W. Brennan, and N. D. , Evaluating the performance of reactive control architectures for manufacturing production control, Computers in Industry, vol.46, issue.3, 2001.
DOI : 10.1016/S0166-3615(01)00108-7

. Breugnot, SIGMA: An Intelligent and Graphical Environment for the Modelling of Flexible Assembly-Systems, Proceedings of the European Simulation Symposium. Ghent (Belgium, 1990.

. Breugnot, GAME, Proceedings of the 24th Annual Simulation Symposium (pp 217-227) -joint publication -ACM SIG SIM The Special Interest Group on Simulation v. 21 n. 3, 1991.
DOI : 10.1145/106073.306862

D. Brugali, G. Menga, and A. A. , The framework life span, Object-Oriented Application Frameworks, 1998.
DOI : 10.1145/262793.262806

V. Cardoso, J. Cardoso, and R. Valette, Redes de Petri, Editora da UFSC. Florianópolis, 1997.

L. G. Carvalho, Concepção de um Módulo de Monitoração para ANALYTICE II, 2003.

C. , L. Cassandras, C. G. Lafortune, and S. , Introduction to discrete event systems, 1999.

J. K. Chaar, D. Teichroew, and R. A. Volz, Developing manufacturing control software: A survey and critique, International Journal of Flexible Manufacturing Systems, vol.16, issue.1, pp.53-88, 1993.
DOI : 10.1007/BF01328739

W. Chao, D. Y. Chao, and D. T. Wang, XPN-FMS: A CAD tool for FMS modeling, analysis, animation, and simulation using Petri nets and X window, International Journal of Flexible Manufacturing Systems, vol.23, issue.2, pp.339-360, 1995.
DOI : 10.1007/BF01325064

F. Cheng, C. Chang, and S. Wu, 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

B. P. Chézaviel, L. Künzle, F. Girault, and R. Valette, Calculation duration of concurrent scenarios in time Petri nets, Rairo -Journal Européen des Systèmes Automatisés (JESA), v.33, pp.8-9943, 1999.

. Couloris, Distributed Systems ? Concepts and Designs, 2001.

J. E. Cury, Modular Supervisory Control of Large Scale Discrete Event Systems In: Discrete Event Systems -Analysis and Control.1 ed, pp.103-110, 2000.

J. E. Cury, C. R. Torrico, and C. A. , Supervisory Control of Discrete Event Systems with Flexible Marking*, European Journal of Control, vol.10, issue.1, pp.47-60, 2004.
DOI : 10.3166/ejc.10.47-60

D. Silveira, Mass customization: Literature review and research directions, International Journal of Production Economics, vol.72, issue.1, pp.72-73, 2001.
DOI : 10.1016/S0925-5273(00)00079-7

D. , W. Davis, L. Williams, and G. , Evaluating and Selecting Simulation Software using The Analytic Hierarchy Process, Integrated Manufacturing Systems, vol.5, issue.1, 1992.

S. M. Deen, Agent-Based Manufacturing: Advances in the Holonic Approach, 2003.
DOI : 10.1007/978-3-662-05624-0

H. Etessami, F. S. Etessami, and G. S. Hura, Knowledge net shell (KNS): Petri net based development tool for expert systems, Microelectronics Reliability, vol.31, issue.4, pp.793-812, 1991.
DOI : 10.1016/0026-2714(91)90014-X

C. Eyzell, J. M. Eyzell, and J. E. Cury, Exploiting Symmetry in the Synthesis of Supervisors for Discrete Event Systems, IEEE Transactions on Automatic Control, issue.469, pp.1500-1505, 2001.

M. Fletcher, R. W. Brennan, and N. D. , Modeling and reconfiguring intelligent holonic manufacturing systems with Internet-based mobile agents, Journal of Intelligent Manufacturing, 2003.

C. L. Forgy, Rete: A fast algorithm for the many pattern/many object pattern match problem, Artificial Intelligence, vol.19, issue.1, 1982.
DOI : 10.1016/0004-3702(82)90020-0

F. , G. Franklin, S. Graesser, and A. , Is It an Agent, or Just a Program? A Taxonomy for Autonomous Agents, Institute for Intelligent Systems, Proceedings of the Third International Workshop on Agent Theories, Architectures and Languages, 1996.

D. Frey, J. Nimis, H. Wörn, and P. Lockemann, Benchmarking and Robust Multiagent-based Production Planning and Control, In: (Morel et Grabot, 2003.
DOI : 10.1016/s0952-1976(03)00075-7

. Fusaoka, A description and reasoning of plant controllers in temporal logic, Proceedings of the 8 th International Joint Conference on Artificial Intelligence, 1983.

. García, The Impact Of Auto-Id Technology Budapest (Hungary), Material Handling Systems. 7 th IFAC Workshop on Intelligent Manufacturing Systems, IMS 2003 PREPRINTS, pp.227-232, 2003.

. Germain, Budapest (Hungary), Multi-Agent Manufacturing Control/ an Industrial Case Study. 7 th IFAC Workshop on Intelligent Manufacturing Systems, IMS 2003 PREPRINTS, pp.227-232, 2003.

D. Gouyon, Contrôle par le Produit des Systèmes d'Éxecution de la Production: Apport des Techniques de Synthése, 2004.

D. Gouyon, J. M. Simão, A. Khaled, and G. Morel, Product-Driven Issues for B2M- Control Systems Integration, INCOM 2004 ? 11th IFAC Symposium on Information Control Problems in Manufacturing, 2004.
URL : https://hal.archives-ouvertes.fr/hal-00083045

G. A. Graham, Encyclopedia of Industrial Automation, Ed. Longman Scientific & Technical, 1988.

. Gullander, Comparison of Reference Architectures: Chalmers Modified Hierarchical Architecture vs. K.U.Leuven Holonic Architecture, Proc. of European Conference on Integration in Manufactruing, pp.710-719, 1998.

. Harhalakis, Structured Representation of Rule-Based Specifications, CIM Using Updated Petri Nets, 1995.

X. He, W. C. Chu, H. Yang, and Y. S. , A new approach to verify rule-based systems using petri nets, Twenty-Third Annual International Computer Software and Applications Conference (IEEE). Phoenix -Arizona, 1999.
DOI : 10.1016/S0950-5849(03)00058-2

. Heikkila, An agent architecture for manufacturing control: manAge, Computers in Industry, vol.46, issue.3, pp.315-331, 2001.
DOI : 10.1016/S0166-3615(01)00130-0

. Hollocks, Assessing Enterprise Integration for Competitive Advantage, Enterprise Engineering and Integration: Building International Consensus, pp.96-107, 1997.

B. Iung, E. Neunreuther, and B. Morel, Engineering process of integrated ??? distributed shop floor architecture based on interoperable field components, International Journal of Computer Integrated Manufacturing, vol.14, issue.3, 2001.
DOI : 10.1080/0951120010001957

P. Jackson, Introduction to Expert Systems, 1990.

M. D. Jeng, Modular Synthesis of Petri Nets for Modelling Flexible Manufacturing Systems. The International Journal of Flexible Manufacturing Systems, 1995.

. Kärkkäinen, Intelligent products???a step towards a more effective project delivery chain, Computers in Industry 50, pp.141-151, 2003.
DOI : 10.1016/S0166-3615(02)00116-1

A. Koscianski, Projeto e Implementação de um Simulador com Animação Gráfica para FMS, 2000.

. Koscianski, FMS Design and Analysis: Developing a Simulation Environment, Proceedings of the 15th International Conference on CAD/CAM, Robotics and Factories of the Future, pp.25-210, 1999.

D. Kotak, S. Wu, M. Fleetwood, and H. Tamoto, Agent-based holonic design and operations environment for distributed manufacturing, Computers in Industry, vol.52, issue.2, pp.95-108, 2003.
DOI : 10.1016/S0166-3615(03)00101-5

L. A. Künzle and . Cpgii-cefet-pr, Controle de Sistemas Flexíveis de Manufatura ? Especificação dos Níveis Equipamento e Estação de Trabalho, Curitiba, 1990.

L. A. Künzle, R. Valette, and C. B. , Temporal reasoning in fuzzy time Petri nets, Fuzziness in Petri Nets, pp.146-173, 1999.

G. Langer, C. Sorensen, J. Schnell, and A. L. , Design of a Holonic Shop Floor Control System for a Steel Plate Milling-Cell. 2000 International CIRP Design Seminar on Design with Manufacturing: Intelligent Design Concepts Methods and Algorithms, Haifa, 2000.

M. H. Larsen, C. Sorensen, and G. Langer, Development of a Production Meta Product State Model, Computers in Industry, vol.46, issue.3, 2001.
DOI : 10.1016/S0166-3615(01)00128-2

J. Lavigne, F. Mayer, and P. Lhoste, Category Theory Based Approach for IMS Modelling, 2003.

A. M. Law, Introduction to Simulation: A Powerful Tool for Analysing Complex Manufacturing System, Industrial Engineering, 1986.

. Law, . Kelton, A. V. Law, and W. D. Kelton, Simulation Modelling & Analysis, 1991.

D. Lima, E. A. Lima, and C. E. Dórea, An Algorithm for Supervisory Control of Discrete-Event Systems via Place Invariants, Proceedings of the 15th IFAC World Congress, 2002.

I. Lima, D. Lima, I. E. Dórea, and C. E. , Synthesis and PLC Implementation of Supervisory Control via Place Invariants for a Manufacturing Cell, 11th IFAC Symposium on Information Control Problems in Manufacturing, 2004.

. Lira, An Assembly Planning Method for Families of Products, International CIRP Design Seminar. Haifa, 2000.

L. Et-pétin-)-lhoste, P. Pétin, and J. , Réactivité et Déterminisme ds Modèles de Systèmes à Événements Discrets, 2001.

M. Machi, M. Cavalieri, and M. Garetti, The complexity of design and test of multi-agent control systems: lessons learned in a decade of research experience, 2003.

V. Ma?ík, Industrial Application of the Agent-based Technology

D. Mcfarlane, Product Identity and Its Impact on Discrete Event Observability, 2003.

DOI : 10.3182/20020721-6-ES-1901.00011

B. Mcfarlane, D. C. Mcfarlane, and S. Bussmann, Holonic Manufacturing Control: Rationales, Developments and Open Issues, pp.303-326, 2003.
DOI : 10.1007/978-3-662-05624-0_13

M. Minski, The Society of Mind, Heinemann, 1985.

P. E. Miyagi, Controle Programável ? Fundamentos do Controle de Sistemas a Eventos Discretos, Editora Edgard Blücher Ltda, 1996.

G. Morel, H. Panetto, M. B. Zaremba, and M. F. , Manufacturing Enterprise Control and Management System Engineering: paradigms and open issues, Annual Reviews in Control, vol.27, issue.2, pp.199-2091367, 2003.
DOI : 10.1016/j.arcontrol.2003.09.003

URL : https://hal.archives-ouvertes.fr/hal-00121506

E. Muhl, Contribution a la Vision Globale de l'Ordonnancement du Flux Vehicule, 2002.

E. Muhl, P. Charpentier, and F. Chaxel, Optimization of physical flows in an automotive manufacturing plant: some experiments and issues, Engineering Applications of Artificial Intelligence, vol.16, issue.4, pp.293-305, 2003.
DOI : 10.1016/S0952-1976(03)00081-2

J. P. Müller, Architectures and Applications of Intelligent Agents: A Survey. International House, Knowledge Engineering Review, 1998.

D. L. Nazareth, Investigating the applicability of Petri nets for rule-based system verification, IEEE Transactions on Knowledge and Data Engineering, vol.5, issue.3, 1993.
DOI : 10.1109/69.224193

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

. Ollero, Milestone report of the manufacturing and instrumentation coordinating committee: From MEMS to enterprise systems, Annual Reviews in Control, vol.26, issue.2, pp.151-162, 2003.
DOI : 10.1016/S1367-5788(02)00026-3

. Pan, FuzyyShell: A Large-Scale Expert System Shell Using Fuzzy Logic for Uncertainty Reasoning, IEEE Transactions on Fuzzy Systems, vol.6, issue.4, 1998.

V. Patriti, Systemes de Pilotage Auto-Organises et Gammes Distribuees: Methode de Conception et Application a Une Machine-Outil, 1998.

. Aspectos, Série Lógica e Teoria da Ciência, 1998.

R. Qiu, R. Wysk, and Q. Xu, Extended structured adaptive supervisory control model of shop floor controls for an e-Manufacturing system, International Journal of Production Research, vol.41, issue.8, pp.1605-1620, 2003.
DOI : 10.1080/1352816031000074964

P. J. Ramadge and W. M. Wonham, Supervisory control of a class of discrete event processes, SIAM Journal of Control and Optimization, vol.25, p.1, 1987.

. Rumbaugh, The Unified Modeling Language Reference Manual, 1999.

R. Knight, E. Rich, K. Knight, and L. F. Rosinha, Artificial Intelligence Proposta de uma Arquitetura de Simulação para Sistemas Flexíveis de Manufatura e de Modelagem de Equipamentos Industriais, 1991.

Z. Rosenschein, J. S. Rosenschein, and G. Zlotkin, Rules of encounter: design conventions for automated negotiation among computers, 1994.

R. , N. Russell, S. Norvig, and P. , Artificial Intelligence: A Modern Approach, 1995.

R. , N. Russell, S. Norvig, and P. , Artificial Intelligence: A Modern Approach, 2003.

F. T. Sautter, . Cpgii-/-cefet-pr, and . Curitiba, Escalonamento da Produção em Sistemas Flexíveis de Manufatura, 1991.

. Schastai, Sequence Analysis for Time Petri Nets, 2004.

M. A. Schmeil, Sistemas Multiagente na Modelação da Estrutura e Relações de Contratação de Organizações, 1999.

H. A. Schmid, Creating the Architecture of a Manufacturing Framework by Design Patterns, Fachbereich Informatik, Fachhochschule konstanz. OOPSLA'95, 1995.

. Schriber, . Brunner, T. J. Schriber, and D. T. Brunner, Inside Simulation Software: how it works and why it matters, Proceedings of the 1996 Winter Simulation Conference, 1996.
DOI : 10.1109/wsc.1994.717072

URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=

J. A. Setti and . Cpgei-/-cefet-pr, Simulação da Síntese de Controle e Arquitetura de Robôs Manipuladores no Sistema ANALYTICE, Curitiba, 1998.

P. R. Silva and . Cpgei-/-cefet-pr, Especificação de uma Arquitetura de Supervisão Industrial para o Simulador de FMS ANALYTICE II, Curitiba, 2001.

M. Silva, E. Teruel, R. Valette, and H. Pingaud, Petri nets and production systems, Lecture on Petri nets II : applications. Lectures notes in Computer Science 1492, pp.85-124, 1998.
DOI : 10.1007/3-540-65307-4_47

F. Silva, M. Castilho, and K. L. , Petriplan: a new algorithm for plan generation, The International Joint Conference, 2000.
DOI : 10.1007/3-540-44399-1_10

URL : http://doi.org/10.1007/3-540-44399-1_10

J. M. Simão and . Cpgei-/-cefet-pr, Proposta de uma Arquitetura de Controle para Sistemas Flexíveis de Manufatura Baseada em Regras e Agentes, 2001.

. Simão, Rule and Agent oriented Software Architecture for Controlling Automated Manufacturing Systems, Frontiers in Artificial Intelligence and ApplicationsLogic, Artificial Intelligence and Robotics LAPTEC, vol.71, 2001.

J. M. Simão, M. A. Quinaia, and P. C. Stadzisz, Um Padrão Arquitetural para Sistemas Computacionais de Controle Supervisório, Second Latin American Conference on Pattern Languages of Programing (SugarLoafPLoP'03), 2002.

J. M. Simão, J. A. Fabro, P. C. Stadzisz, L. V. Arruda, and S. Ishimatsu, An Agent- Oriented Fuzzy Inference Engine, 6°Simpósio Brasileiro de Automação Inteligente ( SBAI), 2003.

. Simão, Rule and Agent-Oriented Architecture to Discrete Control Applied as Petri Net PlayersAdvances in Logic, Artificial Intelligence and Robotics, Frontiers in Artificial Intelligence and Applications, vol.101, pp.121-129, 2003.

J. M. Simão, P. C. Stadzisz, and G. Morel, Manufacturing Execution System For Customised Production, III Congresso Brasileiro de Engenharia da Fabricação (COBEF). Joinville (Brazil) 2005. Accpet in, 2005.

S. Simão, J. M. Simão, and P. C. Stadzisz, An Agent-Oriented Inference Engine applied for Supervisory Control of Automated Manufacturing SystemsAdvances in Logic, Artificial Intelligence and Robotics" LAPTEC, Frontiers in Artificial Intelligence and Applications, vol.85, pp.234-241, 2002.

V. Solot, . Vliet, P. Solot, V. Vliet, and M. , Analytical Models for FMS Design Optimization: A Survey. The International Journal of Flexible Manufacturing Systems, pp.209-233, 1994.

J. U. Souza, . Cpgei-/-cefet-pr, and . Curitiba, F: Tecnologia de Grupo: Algoritmos e Ferramenta Gráfica, 1991.

P. C. Stadzisz and . Cpgii-/-cefet-pr, Especificação de um Ambiente Computacional para Auxílio ao Projeto do Arranjo Físico de Sistemas Flexíveis de Manufatura, Curitiba, 1990.

P. C. Stadzisz, L. A. Künzle, and M. Tazza, A Simulation Architecture for Flexible Manufacturing Systems, Proceedings of the International Conference on Information and System, pp.258-261, 1991.

. Stadzisz, A Pattern System to Supervisory Control of Automated Manufacturing System, Third Latin American Conference on Pattern Languages of Programing (SugarLoafPLoP'03), Porto de Galinhas-PE Brazil, 2003.

D. Stadzisz, P. C. Stadzisz, and L. M. Doll, Utilizando Redes de Petri na Modelagem da Dinâmica de Sistemas Orientados a Objetos, 2a. Jornada Ibero-Americana de Engenharia de Software e Engenharia do Conhecimento, 2002.

H. Stadzisz, P. C. Stadzisz, and J. M. Henrioud, An integrated approach for the design of multi-product assembly systems, Computers in Industry. v.36, pp.21-29, 1998.
DOI : 10.1016/S0166-3615(97)00094-8

C. A. Tacla, . Cpgei-/-cefet-pr, and . Curitiba, Controle de Sistemas Flexíveis de Manufatura ? Especificação do Nível Estação, 1993.

C. A. Tacla, M. Tazza, and K. L. , Control System For FMS Workstations, IFIP WG5.7 Working Conference on Evaluation of Production Management Methods, pp.117-124, 1994.

. Tacla, Software tool for manufacturing systems simulation and performance evaluation, 1997 IEEE International Conference on Systems, Man, and Cybernetics. Computational Cybernetics and Simulation, pp.1285-1290, 1997.
DOI : 10.1109/ICSMC.1997.638141

C. A. Tacla and J. Barthes, A multi-agent system for acquiring and sharing lessons learned, Computers in Industry, vol.52, issue.1, pp.525-531, 2003.
DOI : 10.1016/S0166-3615(03)00065-4

T. Tacla, In: Manufatura Integrado por Computador: Contexto, Tendências, Técnicas. Fundação CEFETMINAS pp: Petri Net Based Tool For Shop-Floor Control Design And Simulation, 1st Advances in Industrial Engineering Applications and Practice, pp.227-244, 1995.

M. Tazza, P. C. Stadzisz, and J. H. Souza, CELULA-ED : Software para o Projeto de Células Flexíveis de Manufatura, Anais do IV Congresso Latino-Americano de Controle Automático, pp.35-40, 1990.

M. Tazza, P. C. Stadzisz, L. A. Künzle, and T. C. , ANALYTICE : Ferramenta para o Projeto e Análise de Sistemas Flexíveis de Manufatura, 9° Congresso Brasileiro de Automática (CBA), pp.1078-1083, 1992.

. Tharumarajah, Comparison of the bionic, fractal and holonic manufacturing system concepts, International Journal of Computer Integrated Manufacturing, vol.9, issue.3, pp.217-226, 1996.
DOI : 10.1080/095119296131670

. Tharumarajah, Comparison of emerging manufacturing concepts, SMC'98 Conference Proceedings. 1998 IEEE International Conference on Systems, Man, and Cybernetics (Cat. No.98CH36218), 1998.
DOI : 10.1109/ICSMC.1998.725430

S. Terzi, S. Cavalieri, M. Garetti, M. Macchi, and H. Panetto, Development of a Reference Architecture for Benchmarking Service of Manufacturing Systems. 7 th IFAC Workshop pn Intelligent Manufacturing Systems Budapest (Hungary), IMS 2003 PREPRINTS, pp.227-232, 2003.

P. Valckenaers, Special issue: Holonic Manufacturing Systems. Computers in Industry, pp.233-331, 2001.
DOI : 10.1016/s0166-3615(01)00131-2

. Valckenaers, Holonic Manufacturing Systems, 1998.
DOI : 10.1016/B978-0-12-803662-4.00005-9

. Valckenaers, On the design of emergent systems: an investigation of integration and interoperability issues, Engineering Applications of Artificial Intelligence, vol.16, issue.4, pp.377-393, 2003.
DOI : 10.1016/S0952-1976(03)00080-0

. Van-brussel, Reference architecture for holonic manufacturing systems: PROSA, Computers in Industry, vol.37, issue.3, pp.255-274, 1998.
DOI : 10.1016/S0166-3615(98)00102-X

M. C. Waldrop, Complexity, The Emerging Science at the Edge of Order and Chaos. VIKING, Penguin group, 1992.

H. J. Warnecke, Die Fraktale Fabrik, Revolution der Unternehmen-Skultur, 1992.

. Viswanadham, Performability studies of automated manufacturing systems with multiple part types, IEEE Transactions on Robotics and Automation, vol.11, issue.5, pp.692-709, 1995.
DOI : 10.1109/70.466614

J. Wyns, Reference Architecture for Holonic Manufacturing Systems ? The Key to Support Evolution and Reconfiguration, 1999.

Y. Et-shuzhen-yufeng, L. Shuzhen, and Y. , Research On The Multi-Agent Model Of Autonomous Distributed Control System, 31 International Conference Technology of Object- Oriented Language and Systems, 1999.

B. P. Zeigler, T. H. Cho, and R. J. , A knowledge-based simulation environment for hierarchical flexible manufacturing, IEEE Transactions on Systems, Man, and Cybernetics - Part A: Systems and Humans, vol.26, issue.1, pp.81-90, 1996.
DOI : 10.1109/3468.477862