From non-autonomous Petri net models to executable state machines

Joao Paulo Barros; Luis Gomes

doi:10.1109/ISIE.2019.8781246

From non-autonomous Petri net models to executable state machines

Joao Paulo Barros, Luis Gomes

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

2 Citations (Scopus)

Abstract

Petri nets have long been known as a readable and powerful graphical modelling language. In particular, Petri nets also allow the creation of high-level models of embedded controllers. These models can be translated to executable code. This possibility is already available in some tools including the IOPT Tools. Another possibility is to translate the Petri net model into a state machine, which can then be easily executed by an even larger number of platforms for cyber-physical systems. In that sense, this paper presents a tool that is able to generate a state machine from a non-autonomous class of Petri supported by the IOPT Tools framework (which is publicly available). These state machines would be too large to be manually generated, but can now be automatically created, simulated, and verified using an higher-level modelling language. The state machines can then be used for execution or even as input for additional verification tools. This paper presents the translation algorithm and an illustrative example.

Original language	English
Title of host publication	Proceedings - 2019 IEEE 28th International Symposium on Industrial Electronics, ISIE 2019
Publisher	Institute of Electrical and Electronics Engineers (IEEE)
Pages	1638-1643
Number of pages	6
ISBN (Electronic)	9781728136660
DOIs	https://doi.org/10.1109/ISIE.2019.8781246
Publication status	Published - Jun 2019
Event	28th IEEE International Symposium on Industrial Electronics, ISIE 2019 - Vancouver, Canada Duration: 12 Jun 2019 → 14 Jun 2019 Conference number: 28th

Publication series

Name	IEEE International Symposium on Industrial Electronics
Volume	2019-June

Conference

Conference	28th IEEE International Symposium on Industrial Electronics, ISIE 2019
Abbreviated title	ISIE 2019
Country/Territory	Canada
City	Vancouver
Period	12/06/19 → 14/06/19

Keywords

cyber-physical systems
design tools
embedded systems
model-driven development
Petri nets

Access to Document

10.1109/ISIE.2019.8781246

Cite this

Barros, J. P., & Gomes, L. (2019). From non-autonomous Petri net models to executable state machines. In Proceedings - 2019 IEEE 28th International Symposium on Industrial Electronics, ISIE 2019 (pp. 1638-1643). Article 8781246 (IEEE International Symposium on Industrial Electronics; Vol. 2019-June). Institute of Electrical and Electronics Engineers (IEEE). https://doi.org/10.1109/ISIE.2019.8781246

@inproceedings{9b340918ff4549188d45745be4b9d29b,

title = "From non-autonomous Petri net models to executable state machines",

abstract = "Petri nets have long been known as a readable and powerful graphical modelling language. In particular, Petri nets also allow the creation of high-level models of embedded controllers. These models can be translated to executable code. This possibility is already available in some tools including the IOPT Tools. Another possibility is to translate the Petri net model into a state machine, which can then be easily executed by an even larger number of platforms for cyber-physical systems. In that sense, this paper presents a tool that is able to generate a state machine from a non-autonomous class of Petri supported by the IOPT Tools framework (which is publicly available). These state machines would be too large to be manually generated, but can now be automatically created, simulated, and verified using an higher-level modelling language. The state machines can then be used for execution or even as input for additional verification tools. This paper presents the translation algorithm and an illustrative example.",

keywords = "cyber-physical systems, design tools, embedded systems, model-driven development, Petri nets",

author = "Barros, {Joao Paulo} and Luis Gomes",

note = "Funding Information: ACKNOWLEDGMENT This work was partially financed by Portuguese Agency FCT Fundac¸{\~a}o para a Ci{\^e}ncia e Tecnologia, in the framework of project UID/EEA/00066/2019. Publisher Copyright: {\textcopyright} 2019 IEEE.; 28th IEEE International Symposium on Industrial Electronics, ISIE 2019, ISIE 2019 ; Conference date: 12-06-2019 Through 14-06-2019",

year = "2019",

month = jun,

doi = "10.1109/ISIE.2019.8781246",

language = "English",

series = "IEEE International Symposium on Industrial Electronics",

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

pages = "1638--1643",

booktitle = "Proceedings - 2019 IEEE 28th International Symposium on Industrial Electronics, ISIE 2019",

address = "United States",

}

Barros, JP & Gomes, L 2019, From non-autonomous Petri net models to executable state machines. in Proceedings - 2019 IEEE 28th International Symposium on Industrial Electronics, ISIE 2019., 8781246, IEEE International Symposium on Industrial Electronics, vol. 2019-June, Institute of Electrical and Electronics Engineers (IEEE), pp. 1638-1643, 28th IEEE International Symposium on Industrial Electronics, ISIE 2019, Vancouver, British Columbia, Canada, 12/06/19. https://doi.org/10.1109/ISIE.2019.8781246

From non-autonomous Petri net models to executable state machines. / Barros, Joao Paulo ; Gomes, Luis.
Proceedings - 2019 IEEE 28th International Symposium on Industrial Electronics, ISIE 2019. Institute of Electrical and Electronics Engineers (IEEE), 2019. p. 1638-1643 8781246 (IEEE International Symposium on Industrial Electronics; Vol. 2019-June).

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

TY - GEN

T1 - From non-autonomous Petri net models to executable state machines

AU - Barros, Joao Paulo

AU - Gomes, Luis

N1 - Conference code: 28th

PY - 2019/6

Y1 - 2019/6

N2 - Petri nets have long been known as a readable and powerful graphical modelling language. In particular, Petri nets also allow the creation of high-level models of embedded controllers. These models can be translated to executable code. This possibility is already available in some tools including the IOPT Tools. Another possibility is to translate the Petri net model into a state machine, which can then be easily executed by an even larger number of platforms for cyber-physical systems. In that sense, this paper presents a tool that is able to generate a state machine from a non-autonomous class of Petri supported by the IOPT Tools framework (which is publicly available). These state machines would be too large to be manually generated, but can now be automatically created, simulated, and verified using an higher-level modelling language. The state machines can then be used for execution or even as input for additional verification tools. This paper presents the translation algorithm and an illustrative example.

AB - Petri nets have long been known as a readable and powerful graphical modelling language. In particular, Petri nets also allow the creation of high-level models of embedded controllers. These models can be translated to executable code. This possibility is already available in some tools including the IOPT Tools. Another possibility is to translate the Petri net model into a state machine, which can then be easily executed by an even larger number of platforms for cyber-physical systems. In that sense, this paper presents a tool that is able to generate a state machine from a non-autonomous class of Petri supported by the IOPT Tools framework (which is publicly available). These state machines would be too large to be manually generated, but can now be automatically created, simulated, and verified using an higher-level modelling language. The state machines can then be used for execution or even as input for additional verification tools. This paper presents the translation algorithm and an illustrative example.

KW - cyber-physical systems

KW - design tools

KW - embedded systems

KW - model-driven development

KW - Petri nets

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

U2 - 10.1109/ISIE.2019.8781246

DO - 10.1109/ISIE.2019.8781246

M3 - Conference contribution

AN - SCOPUS:85070649667

T3 - IEEE International Symposium on Industrial Electronics

SP - 1638

EP - 1643

BT - Proceedings - 2019 IEEE 28th International Symposium on Industrial Electronics, ISIE 2019

PB - Institute of Electrical and Electronics Engineers (IEEE)

T2 - 28th IEEE International Symposium on Industrial Electronics, ISIE 2019

Y2 - 12 June 2019 through 14 June 2019

ER -

From non-autonomous Petri net models to executable state machines

Abstract

Publication series

Conference

Keywords

Access to Document

Other files and links

Fingerprint

Cite this