Publication
Composition of Petri nets models in service-oriented industrial automation
| dc.contributor.author | Mendes, João M. | |
| dc.contributor.author | Leitão, Paulo | |
| dc.contributor.author | Restivo, Francisco | |
| dc.contributor.author | Colombo, Armando W. | |
| dc.date.accessioned | 2010-08-31T10:03:39Z | |
| dc.date.available | 2010-08-31T10:03:39Z | |
| dc.date.issued | 2010 | |
| dc.description.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. | por |
| dc.description.sponsorship | The authors would like to thank the European Commission and the partners of the EU FP6 project “Service-Oriented Cross-layer infrastructure for Distributed smart Embedded devices” (SOCRADES) and the EU FP7 project “Cooperating Objects Network of Excellence” (CONET) for their support. | |
| dc.identifier.citation | Mendes, João M.; Leitão, Paulo; Restivo, Francisco; Colombo, Armando W. (2010). Composition of Petri nets models in service-oriented industrial automation. In Proceedings of the 8th IEEE International Conference on Industrial Informatics (INDIN’10). p.578-583 | por |
| dc.identifier.uri | http://hdl.handle.net/10198/2576 | |
| dc.language.iso | eng | por |
| dc.publisher | IEEE | por |
| dc.relation | Cooperating Objects NETwork of excellence | |
| dc.subject | Service-oriented systems | por |
| dc.subject | Industrial automation | por |
| dc.subject | Petri nets | por |
| dc.title | Composition of Petri nets models in service-oriented industrial automation | por |
| dc.type | conference paper | |
| dspace.entity.type | Publication | |
| oaire.awardTitle | Cooperating Objects NETwork of excellence | |
| oaire.awardURI | info:eu-repo/grantAgreement/EC/FP7/224053/EU | |
| oaire.citation.conferencePlace | Osaka, Japan | por |
| oaire.citation.endPage | 583 | por |
| oaire.citation.startPage | 578 | por |
| oaire.citation.title | Proceedings of the 8th IEEE International Conference on Industrial Informatics (INDIN’10) | por |
| oaire.fundingStream | FP7 | |
| person.familyName | Leitão | |
| person.givenName | Paulo | |
| person.identifier | A-8390-2011 | |
| person.identifier.ciencia-id | 8316-8F13-DA71 | |
| person.identifier.orcid | 0000-0002-2151-7944 | |
| person.identifier.scopus-author-id | 35584388900 | |
| project.funder.identifier | http://doi.org/10.13039/501100008530 | |
| project.funder.name | European Commission | |
| rcaap.rights | openAccess | por |
| rcaap.type | conferenceObject | por |
| relation.isAuthorOfPublication | 68d9eb25-ad4f-439b-aeb2-35e8708644cc | |
| relation.isAuthorOfPublication.latestForDiscovery | 68d9eb25-ad4f-439b-aeb2-35e8708644cc | |
| relation.isProjectOfPublication | 2b5787b9-d081-4143-8d34-38d2156bd56a | |
| relation.isProjectOfPublication.latestForDiscovery | 2b5787b9-d081-4143-8d34-38d2156bd56a |