Composition of Petri Nets models in service-oriented industrial automation

• Tipo: Artigo em Livro de Atas de Conferência Internacional
• Data: 2010

Autores

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

Ata de Conferência Internacional

Título: INDIN 2010 8th IEEE International Conference on Industrial Informatics

Páginas: 578-583

INDIN 2010 8th IEEE International Conference on Industrial Informatics: Information Technologies for Sustainable Development

Osaka, Japan, July 13-16, 2010

Indexação

INSPEC

Classificação Científica

FOS: Ciências da engenharia e tecnologias > Engenharia electrotécnica, electrónica e informática

CORDIS: Ciências Tecnológicas > Engenharia > Engenharia de controlo

Outras Informações

DOI: 10.1109/INDIN.2010.5549677

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

Idioma: Inglês

Tipo (Avaliação Docente): Científica

Nº de páginas: 6