Repository logo
 
Publication

High-level Petri nets modules for embedded controllers design

2015Conference object Restricted access
Simple item page
dc.contributor.authorRibeiro, José
dc.contributor.authorMelicio, Fernando
dc.contributor.authorGomes, Luís
dc.date.accessioned2016-04-14T16:09:23Z
dc.date.available2016-04-14T16:09:23Z
dc.date.issued2015
dc.description.abstractModular design is crucial to manage large-scale systems and to support the divide-and-conquer development approach. It allows hierarchical representations and, therefore, one can have a system overview, as well as observe component details. Petri nets are suitable to model concurrent systems, but lack on structuring mechanisms to support abstractions and the composition of sub-models, in particular when considering applications to embedded controllers design. In this paper we present a module construct, and an underlying high-level Petri net type, to model embedded controllers. Multiple interfaces can be declared in a module, thus, different instances of the same module can be used in different situations. The interface is a subset of the module nodes, through which the communication with the environment is made. Module places can be annotated with a generic type, overridden with a concrete type at instance level, and constants declared in a module may have a new value in each instance.pt_PT
dc.identifier.citationRIBEIRO, José; [et al] - High-level Petri nets modules for embedded controllers design. INDIN 2015, 2015 IEEE 13th International Conference on Industrial Informatics. ISBN 978-1-4799-6649-3. pp. 876-882, 2015pt_PT
dc.identifier.doi10.1109/INDIN.2015.7281851pt_PT
dc.identifier.isbn978-1-4799-6649-3
dc.identifier.urihttp://hdl.handle.net/10400.21/5984
dc.language.isoengpt_PT
dc.peerreviewedyespt_PT
dc.publisherIEEE - Institute of Electrical and Electronics Engineers Inc.pt_PT
dc.subjectCompositionpt_PT
dc.subjectEmbedded systems designpt_PT
dc.subjectHigh-level Petri netspt_PT
dc.subjectModularitypt_PT
dc.titleHigh-level Petri nets modules for embedded controllers designpt_PT
dc.typeconference object
dspace.entity.typePublication
oaire.citation.conferencePlaceCambridge, United Kingdompt_PT
oaire.citation.endPage882pt_PT
oaire.citation.startPage876pt_PT
oaire.citation.titleINDIN 2015, 2015 IEEE 13th International Conference on Industrial Informaticspt_PT
person.familyNameMelicio
person.givenNameFernando
person.identifier.orcid0000-0001-7825-2687
person.identifier.scopus-author-id55894265100
rcaap.rightsclosedAccesspt_PT
rcaap.typeconferenceObjectpt_PT
relation.isAuthorOfPublication204f288e-1618-482d-ad30-4b86afc47d25
relation.isAuthorOfPublication.latestForDiscovery204f288e-1618-482d-ad30-4b86afc47d25

Files

Original bundle
Now showing 1 - 1 of 1
No Thumbnail Available
Name:
High-level Petri nets modules for embedded controllers design.pdf
Size:
1.4 MB
Format:
Adobe Portable Document Format
Download
License bundle
Now showing 1 - 1 of 1
No Thumbnail Available
Name:
license.txt
Size:
1.71 KB
Format:
Item-specific license agreed upon to submission
Description:
Download

Collections

ISEL - Eng. Electrotécn. - Comunicações