TY - GEN
T1 - From non-autonomous Petri net models to executable state machines
AU - Barros, Joao Paulo
AU - Gomes, Luis
N1 - Funding Information:
ACKNOWLEDGMENT This work was partially financed by Portuguese Agency FCT Fundac¸ão para a Ciência e Tecnologia, in the framework of project UID/EEA/00066/2019.
Publisher Copyright:
© 2019 IEEE.
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 Inc.
T2 - 28th IEEE International Symposium on Industrial Electronics, ISIE 2019
Y2 - 12 June 2019 through 14 June 2019
ER -