Please use this identifier to cite or link to this item: https://hdl.handle.net/10216/25234
Author(s): J. Marco Mendes
Paulo Leitão
Francisco Restivo
Armando W. Colombo
Title: Composition of Petri Nets models in service-oriented industrial automation
Issue Date: 2010
Abstract: In service-oriented systems, composition of services is required to build new, distributed and more complex services, based on the logic behavior of individual ones. This paper discusses the formal composition of Petri nets models used for the process description and control in service-oriented automation systems. The proposed approach considers two forms for the composition of services, notably the offline composition, applied during the design phase, and the online composition, related to the synchronization of Petri nets models on the fly. An experimental case study is used to illustrate the proposed composition approach.
Subject: Engenharia de controlo, Engenharia electrotécnica, electrónica e informática
Control engineering, Electrical engineering, Electronic engineering, Information engineering
Scientific areas: Ciências da engenharia e tecnologias::Engenharia electrotécnica, electrónica e informática
Engineering and technology::Electrical engineering, Electronic engineering, Information engineering
URI: https://repositorio-aberto.up.pt/handle/10216/25234
Source: INDIN 2010 8th IEEE International Conference on Industrial Informatics
Document Type: Artigo em Livro de Atas de Conferência Internacional
Rights: restrictedAccess
License: https://creativecommons.org/licenses/by-nc/4.0/
Appears in Collections:FEUP - Artigo em Livro de Atas de Conferência Internacional

Files in This Item:
File Description SizeFormat 
57310.pdf
  Restricted Access
1.35 MBAdobe PDF    Request a copy from the Author(s)


This item is licensed under a Creative Commons License Creative Commons