Modelling and Control of Resource Allocation Systems within Discrete Event Systems by Means of Petri Nets -- Part 1: Invariants, Siphons and Traps in Deadlock Avoidance

For the development of modern complex production processes in Industry 4.0, it is appropriate to effectively use advanced mathematical models based on Petri nets. Due to their versatility in modeling discrete-event systems, Petri nets are an important support in creating new platforms for digitized production systems. The main aim of the proposed article is to design a new software tool for modeling and control of discrete-event and hybrid systems using Arduino and similar microcontrollers. To accomplish these tasks, a new tool called PN2ARDUINO based on Petri nets is proposed able to communicate with the microcontroller. Communication with the microcontroller is based on the modified Firmata protocol hence, the control algorithm can be implemented on all microcontrollers that support this type of protocol. The developed software tool was successfully verified in control of laboratory systems. In addition, it can be used for education and research purposes as it offers a graphical environment for designing control algorithms for hybrid and mainly discrete-event systems. The proposed software tool can improve education and practice in cyber-physical systems (Industry 4.0).

Download Full-text

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

Applied Sciences ◽

10.3390/app10217662 ◽

2020 ◽

Vol 10 (21) ◽

pp. 7662

Author(s):

Erik Kučera ◽

Oto Haffner ◽

Peter Drahoš ◽

Roman Leskovský ◽

Ján Cigánek

Keyword(s):

Petri Nets ◽

Code Generation ◽

Industry 4.0 ◽

Discrete Event Systems ◽

Production Systems ◽

Discrete Event ◽

Software Tool ◽

System Control ◽

Event Systems ◽

And Control

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).

Download Full-text

Petri Nets at Modelling and Control of Discrete-Event Systems with Nondeterminism -- Part 2

Computing and Informatics ◽

10.31577/cai_2019_3_728 ◽

2019 ◽

Vol 38 (3) ◽

pp. 728-764

Author(s):

František Čapkovič

Keyword(s):

Petri Nets ◽

Discrete Event Systems ◽

Discrete Event ◽

Event Systems ◽

And Control

Download Full-text

A class of extended time Petri nets for modeling and simulation of discrete event systems

SIMULATION ◽

10.1177/0037549717742716 ◽

2017 ◽

Vol 94 (8) ◽

pp. 753-762 ◽

Cited By ~ 1

Author(s):

Fei Liu ◽

Hongmei Zhang

Keyword(s):

Petri Nets ◽

Discrete Event Systems ◽

Discrete Event ◽

Time Petri Nets ◽

Extended Time ◽

Event Systems ◽

Manufacturing Supply Chain ◽

Military Systems ◽

And Control ◽

Command And Control System

Time Petri nets (TPNs) have been widely used for modeling discrete event systems such as manufacturing, supply chain, and military systems. However, TPNs still have many drawbacks in some scenarios where an operation or process is associated with probability, and also lack appropriate simulation algorithms for analyzing different types of systems. In this paper, we address these two issues by proposing a class of extended time Petri nets (ETPNs) and presenting an appropriate simulation algorithm. We illustrate and validate our approach using a hypothetic command and control system, which shows that this approach could be a powerful tool for modeling and analyzing discrete event systems.

Download Full-text