Utilize este identificador para referenciar este registo:
https://hdl.handle.net/10216/25234| Autor(es): | J. Marco Mendes Paulo Leitão Francisco Restivo Armando W. Colombo |
| Título: | Composition of Petri Nets models in service-oriented industrial automation |
| Data de publicação: | 2010 |
| 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. |
| Assunto: | Engenharia de controlo, Engenharia electrotécnica, electrónica e informática Control engineering, Electrical engineering, Electronic engineering, Information engineering |
| Áreas do conhecimento: | Ciências da engenharia e tecnologias::Engenharia electrotécnica, electrónica e informática Engineering and technology::Electrical engineering, Electronic engineering, Information engineering |
| DOI: | 10.1109/INDIN.2010.5549677 |
| URI: | https://hdl.handle.net/10216/25234 |
| Fonte: | INDIN 2010 8th IEEE International Conference on Industrial Informatics |
| Tipo de Documento: | Artigo em Livro de Atas de Conferência Internacional |
| Condições de Acesso: | restrictedAccess |
| Licença: | https://creativecommons.org/licenses/by-nc/4.0/ |
| Aparece nas coleções: | FEUP - Artigo em Livro de Atas de Conferência Internacional |
Ficheiros deste registo:
| Ficheiro | Descrição | Tamanho | Formato | |
|---|---|---|---|---|
| 57310.pdf Restricted Access | 1.35 MB | Adobe PDF | Ver/Abrir |
Este registo está protegido por Licença Creative Commons
