Please use this identifier to cite or link to this item:
|Title:||Extending Input-Output Place-Transition Petri Nets for Distributed Controller Systems Development|
Barros, João Paulo
|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).|
|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.