PetriNet Editor + PetriNet Engine: New Software Tool For Modelling and Control of Discrete Event Systems Using Petri Nets and Code Generation

Erik Kučera,Roman Leskovský,Oto Haffner,Ján Cigánek,Peter Drahoš

doi:10.3390/app10217662

Erik Kučera, Roman Leskovský + Show 3 more

Open Access

https://doi.org/10.3390/app10217662

Copy DOI

Abstract

Petri nets are an important tool for creation of new platforms for digitised production systems due to their versatility in modelling discrete event systems. For the development of modern complex production processes for Industry 4.0, using advanced mathematical models based on Petri nets is an appropriate and effective option. The main aim of the proposed article is to design a new software tool for modelling and control of discrete event systems using Arduino-type microcontrollers and code generation techniques. To accomplish this task, a new tool called “PetriNet editor + PetriNet engine” based on Petri nets is proposed able to generate the code for the microcontroller according to the modelled Petri net. The developed software tool was successfully verified in control of a laboratory plant. Offering a graphical environment for the design of discrete event system control algorithms, it can be used for education, research and practice in cyber-physical systems (Industry 4.0).

Highlights

Cyber-physical system development is a dynamic discipline that requires several tasks, such as system design, property specification, implementation and system testing [1]
Our Petri net editor is an extension of PNEditor
PetriNet engine is the new module which enriches the application with possibility to generate control code for microcontroller according to the modelled Petri net

Summary

Introduction

Cyber-physical system development is a dynamic discipline that requires several tasks, such as system design, property specification, implementation and system testing [1]. These operations are essential, so it is necessary to first create a system model [2,3,4]. Development of control methods for discrete event systems belongs to new trends in mechatronics and automation. Using the Petri nets formalisms, the control rules can be managed in a very robust, efficient, and visual way. New Petri net tool for modelling and control of discrete event systems using microcontrollers is developed. Case study dealing with control of a laboratory car wiper system is presented

Methods

Results

Conclusion