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

• Type: Article in International Scientific Journal
• Date: 2012

Authors

Marco Mendes, JM (Author) Other; Leitao, P (Author) Other; Colombo, AW (Author) Other; Francisco Restivo (Author) Other

Journal

Title: International Journal of Production Research

Vol. 50

Pages: 1650-1665

ISSN: 0020-7543

Publisher: Taylor & Francis

Indexing

ISI Web of Knowledge - 14 Citations

Scopus - 18 Citations

Other information

Authenticus ID: P-002-GCN

DOI: 10.1080/00207543.2011.575892

Abstract (EN): 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.

Language: English

Type (Professor's evaluation): Scientific

No. of pages: 16