High-level Petri nets for the process description and control in service-oriented manufacturing systems

  title={High-level Petri nets for the process description and control in service-oriented manufacturing systems},
  author={J. Mendes and P. Leit{\~a}o and A. Colombo and Francisco Restivo},
  journal={International Journal of Production Research},
  pages={1650 - 1665}
  • J. Mendes, P. Leitão, +1 author Francisco Restivo
  • Published 2012
  • Computer Science
  • International Journal of Production Research
  • The use of service-orientation principles in manufacturing systems is a promising solution to achieve modularity, flexibility, re-configurability and interoperability. Crucial issues in these service-oriented systems are the description and co-ordination of the execution of the services offered by the distributed entities. This paper introduces an integrated approach for the design, analysis, validation, simulation and process execution of service-oriented manufacturing systems, using the High… CONTINUE READING
    24 Citations
    Service-based manufacturing systems: modelling and control
    • 1
    • Highly Influenced
    Analyzing and Completing Middleware Designs for Enterprise Integration Using Coloured Petri Nets
    • 20
    • PDF
    A Distributed Data Processing Perspective on Industrial Real-Time Systems
    • Highly Influenced
    • PDF


    Customizable service-oriented Petri net controllers
    • 9
    • PDF
    Composition of Petri nets models in service-oriented industrial automation
    • 18
    • PDF
    A temporised Petri net approach for design, modelling and analysis of flexible production systems
    • 23
    Service-oriented control architecture for reconfigurable production systems
    • 49
    • PDF
    Formal specification of holonic control system ADACOR product holon, using high-level Petri nets
    • 6
    • PDF
    Software Methodologies for the Engineering of Service-Oriented Industrial Automation: The Continuum Project
    • 39
    • PDF
    Modularised, distributed real-time control of flexible production cells, using petri nets
    • 26