Please use this identifier to cite or link to this item:
acessibilidade
http://hdl.handle.net/20.500.12207/4470
Full metadata record
DC Field | Value | Language |
---|---|---|
dc.contributor.author | Gomes, Luís | - |
dc.contributor.author | Moutinho, Filipe | - |
dc.contributor.author | Pereira, Fernando | - |
dc.contributor.author | Ribeiro, José | - |
dc.contributor.author | Costa, Anikó | - |
dc.contributor.author | Barros, João Paulo | - |
dc.date.accessioned | 2015-09-16T11:53:06Z | - |
dc.date.available | 2014 | - |
dc.date.available | 2015-09-16T11:53:06Z | - |
dc.date.issued | 2014 | - |
dc.identifier.uri | http://hdl.handle.net/20.500.12207/4470 | - |
dc.description.abstract | Petri nets have been widely used in the design of embedded controllers, namely in electronic hardware and computing platforms design, as well as within automation ap- plication areas. This paper presents updated characteristics of one class of Petri nets, named Input-Output Place-Transition Petri nets (IOPT nets), extended to support networked embedded controllers design and globally-asynchronous locally-synchronous (GALS) systems modeling, together with its associated meta- model and execution semantics. The proposed meta-model is compliant with the Petri Net Markup Language (PNML) meta- model, augmented with the descriptions for inputs and outputs, as well as for time domains and communication channels. The meta-model is described using UML class diagrams and has an equivalent Ecore meta-model that positioning IOPT nets within the Eclipse Modeling Framework (EMF). | pt_PT |
dc.language.iso | eng | pt_PT |
dc.publisher | IEEE | pt_PT |
dc.rights | info:eu-repo/semantics/restrictedAccess | pt_PT |
dc.title | Extending Input-Output Place-Transition Petri Nets for Distributed Controller Systems Development | pt_PT |
dc.type | conferenceObject | pt_PT |
dc.peerreviewed | yes | pt_PT |
degois.publication.location | IEEE International Conference on Mechatronics and Control (ICMC 2014), Jinzhou, China, July 2014 | pt_PT |
degois.publication.title | Proceedings of the 2014 IEEE International Conference on Mechatronics and Control (ICMC 2014) | pt_PT |
Appears in Collections: | D-ENG - Comunicações com peer review |
Files in This Item:
There are no files associated with this item.
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.