Skip navigation
Please use this identifier to cite or link to this item:

acessibilidade

http://hdl.handle.net/123456789/4470
wcag
Title: Extending Input-Output Place-Transition Petri Nets for Distributed Controller Systems Development
Authors: Gomes, Luís
Moutinho, Filipe
Pereira, Fernando
Ribeiro, José
Costa, Anikó
Barros, João Paulo
Issue Date: 2014
Publisher: IEEE
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).
Peer reviewed: yes
URI: https://repositorio.ipbeja.pt/handle/123456789/4470
Appears in Collections:D-ENG - Comunicações com peer review

Files in This Item:
There are no files associated with this item.


FacebookTwitterDeliciousLinkedInDiggGoogle BookmarksMySpace
Formato BibTex MendeleyEndnote Currículo DeGóis 

Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.