A syntax-independent code generation tool for IOPT-Petri nets

This paper presents a new code generation infrastructure for the IOPT-Tools framework, that automatically produces code in multiple languages from Input-Output Place-Transition (IOPT) Petri net models, to support the development of hardware/software controllers for embedded systems. The proposed infrastructure employs a two-step approach that starts with the creation of a language-independent XML document describing the execution semantics of the original Petri net model, which is later transformed into the syntax of the desired target programming or hardware description languages. The output of the first step is shared by all target languages, ensuring execution behavior consistency, independent of the chosen target language. As the IOPT simulation and model-checking tools also employ the code generated automatically, the proposed solution contributes to obtaining consistency between the behavior observed during simulation and model-checking and the final controllers running on embedded devices.