Composition of Petri nets models in serviceoriented industrial automation

J. Marco Mendes, Paulo Leitão, Francisco Restivo, Armando W. Colombo

Resultado de pesquisarevisão de pares

13 Citações (Scopus)

Resumo

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 originalEnglish
Título da publicação do anfitriãoProceedings - INDIN 2010
Subtítulo da publicação do anfitrião8th IEEE International Conference on Industrial Informatics
Páginas578-583
Número de páginas6
DOIs
Estado da publicaçãoPublicado - 2010
Publicado externamenteSim
Evento8th IEEE International Conference on Industrial Informatics, INDIN 2010 - Osaka
Duração: 13 jul. 201016 jul. 2010

Série de publicação

NomeIEEE International Conference on Industrial Informatics (INDIN)
ISSN (impresso)1935-4576

Conferência

Conferência8th IEEE International Conference on Industrial Informatics, INDIN 2010
País/TerritórioJapan
CidadeOsaka
Período13/07/1016/07/10

Impressão digital

Mergulhe nos tópicos de investigação de “Composition of Petri nets models in serviceoriented industrial automation“. Em conjunto formam uma impressão digital única.

Citação