TY - JOUR
T1 - High-level Petri nets for the process description and control in service-oriented manufacturing systems
AU - Mendes, J. Marco
AU - Leitão, Paulo
AU - Colombo, Armando W.
AU - Restivo, Francisco
N1 - Funding Information:
The authors would like to thank the European Commission and the partners of the EU ICT FP7 projects ‘ArchitecturE for Service-Oriented Process – Monitoring and Control’ (IMC-AESOP) and ‘Co-operating Objects Network of Excellence’ (CONET) for their support.
Copyright:
Copyright 2012 Elsevier B.V., All rights reserved.
PY - 2012/3/15
Y1 - 2012/3/15
N2 - 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-level Petri net formalism as the formal language to describe the system behaviour. The use of the proposed approach contributes to achieving an easier and faster development of these solutions and provides the basis to support modularity and re-configurability.
AB - 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-level Petri net formalism as the formal language to describe the system behaviour. The use of the proposed approach contributes to achieving an easier and faster development of these solutions and provides the basis to support modularity and re-configurability.
KW - Flexible manufacturing systems
KW - High-level Petri nets
KW - Reconfigurability
KW - Service-oriented systems
UR - http://www.scopus.com/inward/record.url?scp=84861381551&partnerID=8YFLogxK
U2 - 10.1080/00207543.2011.575892
DO - 10.1080/00207543.2011.575892
M3 - Article
AN - SCOPUS:84861381551
SN - 0020-7543
VL - 50
SP - 1650
EP - 1665
JO - International Journal of Production Research
JF - International Journal of Production Research
IS - 6
ER -
