From non-autonomous Petri net models to executable state machines

Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-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 languageEnglish
Title of host publicationProceedings - 2019 IEEE 28th International Symposium on Industrial Electronics, ISIE 2019
PublisherInstitute of Electrical and Electronics Engineers Inc.
Pages1638-1643
Number of pages6
ISBN (Electronic)9781728136660
DOIs
Publication statusPublished - Jun 2019
Event28th IEEE International Symposium on Industrial Electronics, ISIE 2019 - Vancouver, Canada
Duration: 12 Jun 201914 Jun 2019

Publication series

NameIEEE International Symposium on Industrial Electronics
Volume2019-June

Conference

Conference28th IEEE International Symposium on Industrial Electronics, ISIE 2019
Country/TerritoryCanada
CityVancouver
Period12/06/1914/06/19

Keywords

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

Fingerprint

Dive into the research topics of 'From non-autonomous Petri net models to executable state machines'. Together they form a unique fingerprint.

Cite this