Extending input-output place-transition Petri nets for distributed controller systems development

Luis Gomes; Filipe Moutinho; Fernando Pereira; José Manuel Matos Ribeiro da Fonseca; Aniko Costa; Joao Paulo Barros

doi:10.1109/ICMC.2014.7231723

Extending input-output place-transition Petri nets for distributed controller systems development

Luis Gomes, Filipe Moutinho, Fernando Pereira, José Manuel Matos Ribeiro da Fonseca, Aniko Costa, Joao Paulo Barros

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

25 Citations (Scopus)

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 application 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 metamodel and execution semantics. The proposed meta-model is compliant with the Petri Net Markup Language (PNML) metamodel, 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).

Original language	English
Title of host publication	Proceedings - 2014 International Conference on Mechatronics and Control (ICMC 2014)
Place of Publication	New York
Publisher	Institute of Electrical and Electronics Engineers (IEEE)
Pages	1099-1104
Number of pages	6
ISBN (Electronic)	978-1-4799-2538-4
DOIs	https://doi.org/10.1109/ICMC.2014.7231723
Publication status	Published - 31 Aug 2015
Event	International Conference on Mechatronics and Control, ICMC 2014 - Jinzhou, China Duration: 3 Jul 2014 → 5 Jul 2014

Conference

Conference	International Conference on Mechatronics and Control, ICMC 2014
Country/Territory	China
City	Jinzhou
Period	3/07/14 → 5/07/14

Keywords

Embedded systems
Equivalence classes
Markup languages
Petri nets
Semantics

Access to Document

10.1109/ICMC.2014.7231723

Cite this

Gomes, L., Moutinho, F., Pereira, F., Fonseca, J. M. M. R. D., Costa, A., & Barros, J. P. (2015). Extending input-output place-transition Petri nets for distributed controller systems development. In Proceedings - 2014 International Conference on Mechatronics and Control (ICMC 2014) (pp. 1099-1104). Article 7231723 Institute of Electrical and Electronics Engineers (IEEE). https://doi.org/10.1109/ICMC.2014.7231723

@inproceedings{d8e6ca0a414341d980a9b1bb99766599,

title = "Extending input-output place-transition Petri nets for distributed controller systems development",

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 application 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 metamodel and execution semantics. The proposed meta-model is compliant with the Petri Net Markup Language (PNML) metamodel, 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).",

keywords = "Embedded systems , Equivalence classes , Markup languages , Petri nets, Semantics",

author = "Luis Gomes and Filipe Moutinho and Fernando Pereira and Fonseca, {Jos{\'e} Manuel Matos Ribeiro da} and Aniko Costa and Barros, {Joao Paulo}",

note = "This work is financed by National Funds through Portuguese Agency ”FCT - Funda{\c c}{\~a}o para a Ci{\^e}ncia e a Tecnologia” in the framework of projects PEstOE/EEI/UI0066/2011 and PTDC/EEI-AUT/2641/2012.; International Conference on Mechatronics and Control, ICMC 2014 ; Conference date: 03-07-2014 Through 05-07-2014",

year = "2015",

month = aug,

day = "31",

doi = "10.1109/ICMC.2014.7231723",

language = "English",

pages = "1099--1104",

booktitle = "Proceedings - 2014 International Conference on Mechatronics and Control (ICMC 2014)",

publisher = "Institute of Electrical and Electronics Engineers (IEEE)",

address = "United States",

}

Gomes, L , Moutinho, F, Pereira, F, Fonseca, JMMRD , Costa, A & Barros, JP 2015, Extending input-output place-transition Petri nets for distributed controller systems development. in Proceedings - 2014 International Conference on Mechatronics and Control (ICMC 2014)., 7231723, Institute of Electrical and Electronics Engineers (IEEE), New York, pp. 1099-1104, International Conference on Mechatronics and Control, ICMC 2014, Jinzhou, China, 3/07/14. https://doi.org/10.1109/ICMC.2014.7231723

Extending input-output place-transition Petri nets for distributed controller systems development. / Gomes, Luis ; Moutinho, Filipe; Pereira, Fernando et al.
Proceedings - 2014 International Conference on Mechatronics and Control (ICMC 2014). New York: Institute of Electrical and Electronics Engineers (IEEE), 2015. p. 1099-1104 7231723.

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

TY - GEN

T1 - Extending input-output place-transition Petri nets for distributed controller systems development

AU - Gomes, Luis

AU - Moutinho, Filipe

AU - Pereira, Fernando

AU - Fonseca, José Manuel Matos Ribeiro da

AU - Costa, Aniko

AU - Barros, Joao Paulo

N1 - This work is financed by National Funds through Portuguese Agency ”FCT - Fundação para a Ciência e a Tecnologia” in the framework of projects PEstOE/EEI/UI0066/2011 and PTDC/EEI-AUT/2641/2012.

PY - 2015/8/31

Y1 - 2015/8/31

N2 - 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 application 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 metamodel and execution semantics. The proposed meta-model is compliant with the Petri Net Markup Language (PNML) metamodel, 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).

AB - 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 application 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 metamodel and execution semantics. The proposed meta-model is compliant with the Petri Net Markup Language (PNML) metamodel, 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).

KW - Embedded systems

KW - Equivalence classes

KW - Markup languages

KW - Petri nets

KW - Semantics

UR - http://www.scopus.com/inward/record.url?scp=84953792159&partnerID=8YFLogxK

U2 - 10.1109/ICMC.2014.7231723

DO - 10.1109/ICMC.2014.7231723

M3 - Conference contribution

SP - 1099

EP - 1104

BT - Proceedings - 2014 International Conference on Mechatronics and Control (ICMC 2014)

PB - Institute of Electrical and Electronics Engineers (IEEE)

CY - New York

T2 - International Conference on Mechatronics and Control, ICMC 2014

Y2 - 3 July 2014 through 5 July 2014

ER -

Gomes L , Moutinho F, Pereira F, Fonseca JMMRD , Costa A, Barros JP. Extending input-output place-transition Petri nets for distributed controller systems development. In Proceedings - 2014 International Conference on Mechatronics and Control (ICMC 2014). New York: Institute of Electrical and Electronics Engineers (IEEE). 2015. p. 1099-1104. 7231723 doi: 10.1109/ICMC.2014.7231723

Extending input-output place-transition Petri nets for distributed controller systems development

Abstract

Conference

Keywords

Access to Document

Other files and links

Fingerprint

Cite this