scholarly journals 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

2021 ◽  
Vol 40 (3) ◽  
pp. 648-689
Author(s):  
František Čapkovič
Keyword(s):  
Resource Allocation ◽  
Petri Nets ◽  
Discrete Event Systems ◽  
Discrete Event ◽  
Deadlock Avoidance ◽  
Event Systems ◽  
Resource Allocation Systems ◽  
And Control

scholarly journals New Software Tool for Modeling and Control of Discrete-Event and Hybrid Systems Using Timed Interpreted Petri Nets

2020 ◽  
Vol 10 (15) ◽  
pp. 5027 ◽  
Author(s):  
Erik Kučera ◽  
Oto Haffner ◽  
Peter Drahoš ◽  
Ján Cigánek ◽  
Roman Leskovský  ◽  
...  
Keyword(s):  
Petri Nets ◽  
Hybrid Systems ◽  
Industry 4.0 ◽  
Discrete Event Systems ◽  
Production Systems ◽  
Discrete Event ◽  
Software Tool ◽  
Modeling And Control ◽  
Event Systems ◽  
And Control

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

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

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

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

SIMULATION ◽  
2017 ◽  
Vol 94 (8) ◽  
pp. 753-762 ◽  
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.

Confusion Diagnosis and Control of Discrete Event Systems Using Synchronized Petri Nets

2013 ◽  
Vol 15 (6) ◽  
pp. 1736-1751 ◽  
Author(s):  
Xiao-liang Chen ◽  
Zhi-wu Li ◽  
Abdulrahman M. Al-Ahmari ◽  
Abdulaziz Mohammed El-Tamimi ◽  
Emad S. Abouel Nasr
Keyword(s):  
Petri Nets ◽  
Discrete Event Systems ◽  
Discrete Event ◽  
Event Systems ◽  
And Control

PNetLab: a tool for the simulation, analysis and control of discrete event systems based on petri nets

2004 ◽  
Vol 37 (18) ◽  
pp. 213-218
Author(s):  
Francesco Basile ◽  
Ciro Carbone ◽  
Pasquale Chiacchio
Keyword(s):  
Petri Nets ◽  
Discrete Event Systems ◽  
Simulation Analysis ◽  
Discrete Event ◽  
Event Systems ◽  
And Control
Sign in / Sign up

Export Citation Format

Share Document