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

@article{Mendes2012HighlevelPN,
  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},
  year={2012},
  volume={50},
  pages={1650 - 1665}
}
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… Expand
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
...
1
2
3
...

References

SHOWING 1-10 OF 38 REFERENCES
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
A Petri Net-Based Controller for Flexible and Maintainable Sequence Control and its Applications in Factory Automation
  • 196
Modularised, distributed real-time control of flexible production cells, using petri nets
  • 26
...
1
2
3
4
...