Formal specification of holonic control system ADACOR product holon, using high-level Petri Nets

IEEE International Conference on Industrial Informatics (INDIN)

Volumn 2003-January, Issue , 2003, Pages 263-272

  Leitão, Paulo ^a   Colombo, Armando W ^b   Restivo, Francisco ^c   Schoop, Ronald ^d  

^a INSTITUTO POLITÉCNICO DE BRAGANÇA   (Portugal)

^b Schneider Electric GmbH   (Germany)

^c UNIVERSITY OF PORTO   (Portugal)

^d Schneider Automation   (France)

Author keywords

Coloured Petri nets; Flexible manufacturing systems; Formal specification; Holonic manufacturing systems; Modelling

Indexed keywords

COORDINATION REACTIONS; FLEXIBLE MANUFACTURING SYSTEMS; INFORMATION SCIENCE; MANUFACTURE; MODELS; MULTI AGENT SYSTEMS; PETRI NETS; SPECIFICATIONS;

COLOURED PETRI NETS; DECENTRALISATION; DYNAMIC BEHAVIOURS; FORMAL VALIDATION; HIGH-LEVEL PETRI NETS; HOLONIC CONTROL; HOLONIC MANUFACTURING; HOLONIC MANUFACTURING SYSTEM;

FORMAL SPECIFICATION;

EID: 84944679071     PISSN: 19354576     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/INDIN.2003.1300278     Document Type: Conference Paper

References (20)

1. H. Van Brussel, J. Wyns, P. Valckenaers, L. Bongaerts and P. Peeters, " Architecture for Holonic Manufacturing Systems: PROSA", Computers In Industry, vol. 37, 1998, pp. 255-274
2. K. Fisher, "Agent-Based Design of Holonic Manufacturing Systems", Journal of Robotics and Autonomous Systems, Elsevier Science B.V., vol.27, pp 3-13.
3. M. Fletcher, V. Marik and P. Vrba, "Design Issues in Holonic Inventoly Management and Material Handling Systems", in Knowledge and Technology Integration in Production and Services: Balancing Knowledge and Technology in Production and Service Life Cycle, V. Marik, L. M Camarinha-Matos and H. Afsarmaneh (eds.), Kluwer Academic Publisers, 2002, pp. 271-280
4. L. Gou, P. B. Luh and Y. Kyoya, "Holonic manufacturing scheduling: architecture, cooperation mechanism, and implementationo, computers in Industry, vol. 37, 1998, pp. 213-231
5. A. W. Colombo, R. Neubert and R. Schoop, " A Solution to Holonic Control Systems", in Proceedings of the gh IEEE International Conference on Emerging Technologies and Factory Automation, SophiaiNice, France, 2001, pp 489-498.
6. Journal of Applied Systems Studies, Special Issue on Industrial Applications of Multi-Agent and Holonic Systems, 2(1), 2001.
7. P. LeitSio and F. Restivo, "Adaptive Production Control Systems", in Proceedings of special session on Agent-based Intelligent Automation and Holonic Control Systems of the 28th Annual Conference of the IEEE Industrial Electronics Sociery, Sevilla, Spain, 5-8 November, 2002, pp 2968-2973.
8. P. Leitb, A.W. Colombo and F. Restivo, "An Approach for the Formal Specification of Holonic Control Systems", to appear in the 1" International Conference on Applications of Holonic and Multi-Agent Systems (HoloMAS), September 1-3, 2003, Prague, Republic Czech.
9. T. Murata, "Petri Nets: Properties, Analysis and Applications", Proceedings of the IEEE, 77(4), 1989, pp 541-580.
10. A.W. Colombo and R. Carelli, "Petri Nets for Designing Manufacturing Systems", Computer-Assisted Management and Control of Manufacturing Systems, S.G. Tzafestas (ed.), cap. 11, Springer-Verlag 1997.
11. P. Leittlo, A.W. Colombo and F. Restivo, "A Formal Validation Approach for Holonic Control System Specifications", submitted to the Yh IEEE International Conference on Emerging Technologies and Factory Automation, September 16-19, 2003, Lisboa, Portugal.
12. A. W. Colombo, R. Neubert and B. Sussmann, "A Colored Petri Net based Approach Towards a Formal Specification of Agent- Controlled Production Systems", in Proceedings of the IEEE International Conference on Systems, Man and Cybernetics, Tunisia, 2002.
13. K. Jensen, "Coloured Petri Nets. Basic Concepts, Analysis Methods andpractical Use", vol. 2, 1995, Springer Verlag.
14. B. Zhou, L. Wang and D. Norrie, "Design of Distributed realtime control agents for intelligent manufacturing systems", in Proceedings of the 2th International Workshop on Intelligent Manufacturing Systems, Leuven, Belgium, 1999, pp. 237-244.
15. K. Feldmann and A. W. Colombo, "Material Flow and Control Sequence Specification of Flexible Production Systems using Coloured Petri nets", International Jomol of Advanced Manufacmring Technology (IJAMT), vol. 14, 1998, pp. 760-714. Springer Verlag, London.
16. M. Couvreur and Martinez, "Linear Invariants in Commutative High-Level Nets", Advances in Petri Nets, Lecrure Notes in Computer Science, vol. 483, pp. 146-165. Springer Verlag, 1990.
17. S. Haddad and J. M. Couvreur, "Towards a General and Powerful Computation of Flows for Parametrized Coloured nets", in qh European Workshop on Applications and Theoty of Petri Nets, Venice, Italy, 1988.
18. K. Jensen, "Coloured Petri nets. Basic Concepts, Analysis methods and Practical Use", vol. 1, Monographs on Theoretical Computer Science, Springer Verlag 1992.
19. V. Vyatkin, H-M. Hanisch and G. Ivanov, "Application of Formal Methods for Deep Testing of Controllers in Holonic Systems", in proceedings of the 1st IEEE International Conference on Information Technology in Mechatronics (lTM2001), Istanbul, Turkey, 1-3 October (2001) 53-58.
20. G. Frey, M. Minas and K. John, "Steuerungsentwwf mit Petrinetzen. SPSMagazino, Verlag Marburg, 415 (2002) 44-47.