Publication
Extending IOPT nets with a module construct
| dc.contributor.author | Ribeiro, José | |
| dc.contributor.author | Melicio, Fernando | |
| dc.contributor.author | Gomes, Luís | |
| dc.date.accessioned | 2019-02-27T11:43:51Z | |
| dc.date.available | 2019-02-27T11:43:51Z | |
| dc.date.issued | 2016 | |
| dc.description.abstract | Input-output place-transition nets (IOPT nets) is a Petri net based formalism targeted for the development of embedded systems controllers. It is an extension to common place-transition Petri nets, introducing constructs to model the communication between the controller and the environment and using an execution semantics assuring a deterministic behavior. However, IOPT nets and the supporting tools framework -the IOPT-Tools-do not have a mechanism to support model structuring. Since models are flat, all the graphical components and annotations are visualized in the same page. Systems with several dozens of nodes become very difficult to manage. In this paper a modular construct for IOPT nets is presented, helping to manage large-scale systems, and the reuse of model components across projects. The algebraic specification of the model is provided and an example illustrating the concept is presented. | pt_PT |
| dc.description.version | info:eu-repo/semantics/publishedVersion | pt_PT |
| dc.identifier.citation | RIBEIRO, José; MELÍCIO, Fernando; GOMES, Luís – Extending IOPT nets with a module construct. In 7th IFIP WG 5.5/SOCOLNET Advanced Doctoral Conference on Computing (Technological Innovation for Cyber-Physical Systems). Costa da Caparica, Portugal: Springer, 2016. ISSN 1868-4238. Vol. 470, pp. 86-95 | pt_PT |
| dc.identifier.doi | 10.1007/978-3-319-31165-4_9 | pt_PT |
| dc.identifier.issn | 1868-4238 | |
| dc.identifier.uri | http://hdl.handle.net/10400.21/9591 | |
| dc.language.iso | eng | pt_PT |
| dc.publisher | Springer | pt_PT |
| dc.subject | Modularity | pt_PT |
| dc.subject | Composition | pt_PT |
| dc.subject | Low-level Petri nets | pt_PT |
| dc.subject | IOPT nets | pt_PT |
| dc.title | Extending IOPT nets with a module construct | pt_PT |
| dc.type | conference object | |
| dspace.entity.type | Publication | |
| oaire.citation.conferencePlace | April 11-13, 2016 - Costa da Caparica, Portugal | pt_PT |
| oaire.citation.endPage | 95 | pt_PT |
| oaire.citation.startPage | 86 | pt_PT |
| oaire.citation.title | 7th IFIP WG 5.5/SOCOLNET Advanced Doctoral Conference on Computing | pt_PT |
| oaire.citation.volume | 470 | pt_PT |
| person.familyName | Melicio | |
| person.givenName | Fernando | |
| person.identifier.orcid | 0000-0001-7825-2687 | |
| person.identifier.scopus-author-id | 55894265100 | |
| rcaap.rights | closedAccess | pt_PT |
| rcaap.type | conferenceObject | pt_PT |
| relation.isAuthorOfPublication | 204f288e-1618-482d-ad30-4b86afc47d25 | |
| relation.isAuthorOfPublication.latestForDiscovery | 204f288e-1618-482d-ad30-4b86afc47d25 |