An Approach to the Formal Specification of Holonic Control Systems

  • Paulo Leitão
  • Armando W. Colombo
  • Francisco Restivo
Part of the Lecture Notes in Computer Science book series (LNCS, volume 2744)


In the manufacturing world, globalisation leads to a trend towards the reduction of batches and product life cycle, and the increase of part diversity, which are in conflict with other requirements, such as the cost reduction achieved with higher productivity. Thus, the challenge is to develop flexible, agile and intelligent management and control architectures that satisfy the referred requirements. The holonic manufacturing and the agent-based manufacturing approaches allow a new approach to the manufacturing problem, through concepts such as modularity, decentralisation, autonomy and re-use of control software components. ADACOR, one of the holonic architectures recently proposed, defines a set of autonomous and intelligent holons aiming to improve the performance of control system in industrial scenarios characterised by the frequent occurrence of unexpected disturbances. The formal modeling and validation of the specifications of the ADACOR-holons and of the interactions between these holons to implement the manufacturing control functions is of critical importance. In this paper, a formal methodology is introduced and applied to model the dynamic behaviour of the ADACOR-holon classes.


Plan Execution Numerical Control Machine Intelligent Management Formal Methodology Operation Execution 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    Colombo, A.W.: Integration of High-Level Petri Net-based Formal Methods for the Supervision of Flexible Production Systems. In: Tutorial Lecture at the 1st Online Symposium for Electronics Engineers, 20th February (2001)Google Scholar
  2. 2.
    Van Brussel, H., Wyns, J., Valckenaers, P., Bongaerts, L., Peeters, P.: Reference Architecture for Holonic Manufacturing Systems: PROSA. Computers In Industry 37, 255–274 (1998)Google Scholar
  3. 3.
    Fisher, K.: Agent-Based Design of Holonic Manufacturing Systems. Journal of Robotics and Autonomous Systems 27, 3–13 (1999)Google Scholar
  4. 4.
    Maturana, F., Norrie, D.: Multi-Agent Mediator Architecture for Distributed Manufacturing. Journal of Intelligent Manufacturing 7, 257–270 (1996)Google Scholar
  5. 5.
    Van Dyke Parunak, H., Baker, A., Clark, S.: The AARIA Agent Architecture: An Example of Requirements-Driven Agent-Based System Design. In: Proceedings of 1st International Conference on Autonomous Agents, pp. 482–483 (1998)Google Scholar
  6. 6.
    Brennan, R., Fletcher, M., Norrie, D.: An Agent-based Approach to Recon-iguration of Real-Time Distributed Control Systems. In: IEEE Transactions on Robotics and Automation, vol. 18(4), pp. 444–451 (2002)Google Scholar
  7. 7.
    Colombo, A.W., Neubert, R., Schoop, R.: A Solution to Holonic Control Systems. In: Proceedings of the 8th IEEE International Conference on Emerging Technologies and Factory Automation, Sophia/Nice, France, pp. 489–498 (2001)Google Scholar
  8. 8.
    Leitão, P., Restivo, F.: 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 Society, Sevilla, Spain, 5-8 November, pp. 2968–2973 (2002)Google Scholar
  9. 9.
    Rumbaugh, J., Jacobson, I., Booch, G.: The Unified Modeling Language Reference Manual. Addison-Wesley, Reading (1998)Google Scholar
  10. 10.
    Silva, M., Valette, R.: Petri Nets and Flexible Manufacturing. In: Rozenberg, G. (ed.) APN 1989. LNCS, vol. 424, pp. 374–417. Springer, Heidelberg (1990)Google Scholar
  11. 11.
    Murata, T.: Petri Nets: Properties, Analysis and Applications. In: Proceedings of the IEEE, vol. 77(4), pp. 541–580 (1989)Google Scholar
  12. 12.
    Colombo, A.W., Carelli, R.: Petri Nets for Designing Manufacturing Systems. In: Tzafestas, S.G. (ed.) Computer-Assisted Management and Control of Manufacturing Systems, cap. 11. Springer, Heidelberg (1997)Google Scholar
  13. 13.
    Desrochers, A., Al-Jaar, R.: Applications of Petri Nets in Manufacturing Systems-Modeling, Control and Performance Analysis. IEEE Press, Los Alamitos (1995)zbMATHGoogle Scholar
  14. 14.
    Feldmann, K., Schnur, C., Colombo, A.W.: Modularized, Distributed Realtime Control of Flexible Production Cells, using Petri Nets. In: CEP, vol. 4(8), pp. 1067–1078 (1996)Google Scholar
  15. 15.
    Holloway, L., Krogh, B., Giua, A.: A Survey of Petri net Methods for Controlled Discrete-Event Systems. In: Discrete-Event Systems: Theory and Applications, vol. 7(2), pp. 151–190. Kluwer Academics, Dordrecht (1997)Google Scholar
  16. 16.
    Leitão, P., Restivo, F.: Identification of ADACOR Holons for Manufacturing Control. In: Proceedings of 7th IFAC Workshop on Intelligent Manufacturing Systems, Budapest, Hungary, 6-8 April, pp. 109–114 (2003)Google Scholar
  17. 17.
    Leitão, P., Colombo, A.W., Restivo, F.: A Formal Validation Approach for Holonic Control System Specifications. In: Submitted to 9th IEEE International Conference on Emerging Technologies and Factory Automation, Lisboa, Portugal (2003)Google Scholar
  18. 18.
    Vyatkin, V., Hanisch, H.-M., Ivanov, G.: 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 (ITM 2001), Istanbul, Turkey, 1-3 October, pp. 53–58 (2001)Google Scholar
  19. 19.
    Frey, G., Minas, M., John, K.: Steuerungsentwurf mit Petrinetzen. SPS-Magazin, Verlag Marburg, 4/5, 44-47 (2002)Google Scholar
  20. 20.
    Colombo, A.W., Neubert, R., Süssmann, B.: 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)Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2003

Authors and Affiliations

  • Paulo Leitão
    • 1
  • Armando W. Colombo
    • 2
  • Francisco Restivo
    • 3
  1. 1.Polytechnic Institute of BragançaQuinta Santa ApolóniaBragançaPortugal
  2. 2.Schneider Electric GmbH.SeligenstadtGermany
  3. 3.Faculty of EngineeringUniversity of PortoPortoPortugal

Personalised recommendations