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

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

Authors

J. Marco Mendes (Author) FEUP; Paulo Leitão (Author) FEUP; Armando W. Colombo (Author) FEUP; Francisco Restivo (Author) FEUP

Journal

Title: International Journal of Production Research

Vol. 50 No. 6

Pages: 1650-1665

ISSN: 0020-7543

Publisher: Taylor & Francis

Scientific classification

FOS: Engineering and technology > Electrical engineering, Electronic engineering, Information engineering

CORDIS: Technological sciences > Engineering > Computer engineering

Other information

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