scholarly journals Using Petri nets for modeling and verification of Hybrid Systems

10.5772/7518 ◽  
2010 ◽  
Author(s):  
Ricardo Rodriguez ◽  
Otoniel Rodriguez ◽  
Gerardo Reyes ◽  
Vianey Cruz
Keyword(s):  
Petri Nets ◽  
Hybrid Systems ◽  
Verification Of Hybrid Systems

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

Sign in / Sign up

Export Citation Format

Share Document