Modeling and Control of Discrete Event and Hybrid Systems Using Petri Nets and OPC Unified Architecture
Discrete event system is a type of system, which changes its state based on asynchronously occuring events. One of many approaches of describing this category of systems is a mathematical formalism called the Petri Net. This article introduces an original software solution, leveraging the graphical...
| Main Authors: | , , , |
|---|---|
| Format: | Article |
| Language: | English |
| Published: |
IEEE
2022-01-01
|
| Series: | IEEE Access |
| Subjects: | |
| Online Access: | https://ieeexplore.ieee.org/document/9953998/ |
| _version_ | 1811322058733256704 |
|---|---|
| author | Erik Kucera Oto Haffner Peter Drahos Alena Kozakova |
| author_facet | Erik Kucera Oto Haffner Peter Drahos Alena Kozakova |
| author_sort | Erik Kucera |
| collection | DOAJ |
| description | Discrete event system is a type of system, which changes its state based on asynchronously occuring events. One of many approaches of describing this category of systems is a mathematical formalism called the Petri Net. This article introduces an original software solution, leveraging the graphical representation of this formalism in conjunction with the communication standard OPC Unified Architecture. This combination enables the user to model and control discrete event and hybrid systems using an intuitive, user-friendly graphical interface. The software application also brings new possibilities into scope of this academic domain due to the implementation of a Petri Net formalism extension - continuous elements, which greatly expands the area of systems, which can be modelled and controlled using this tool. The developed software tool was successfully verified in control of a virtual systems. Offering a graphical environment for the design of discrete event / hybrid system control algorithms, it can be used for education, research and practice in cyber-physical systems (Industry 4.0). |
| first_indexed | 2024-04-13T13:28:32Z |
| format | Article |
| id | doaj.art-b1ca99cb50c84d87b89ff4dd86dc8447 |
| institution | Directory Open Access Journal |
| issn | 2169-3536 |
| language | English |
| last_indexed | 2024-04-13T13:28:32Z |
| publishDate | 2022-01-01 |
| publisher | IEEE |
| record_format | Article |
| series | IEEE Access |
| spelling | doaj.art-b1ca99cb50c84d87b89ff4dd86dc84472022-12-22T02:45:02ZengIEEEIEEE Access2169-35362022-01-011012073512075110.1109/ACCESS.2022.32228289953998Modeling and Control of Discrete Event and Hybrid Systems Using Petri Nets and OPC Unified ArchitectureErik Kucera0https://orcid.org/0000-0002-4880-6746Oto Haffner1Peter Drahos2Alena Kozakova3Faculty of Electrical Engineering and Information Technology, Slovak University of Technology in Bratislava, Bratislava, SlovakiaFaculty of Electrical Engineering and Information Technology, Slovak University of Technology in Bratislava, Bratislava, SlovakiaFaculty of Electrical Engineering and Information Technology, Slovak University of Technology in Bratislava, Bratislava, SlovakiaFaculty of Electrical Engineering and Information Technology, Slovak University of Technology in Bratislava, Bratislava, SlovakiaDiscrete event system is a type of system, which changes its state based on asynchronously occuring events. One of many approaches of describing this category of systems is a mathematical formalism called the Petri Net. This article introduces an original software solution, leveraging the graphical representation of this formalism in conjunction with the communication standard OPC Unified Architecture. This combination enables the user to model and control discrete event and hybrid systems using an intuitive, user-friendly graphical interface. The software application also brings new possibilities into scope of this academic domain due to the implementation of a Petri Net formalism extension - continuous elements, which greatly expands the area of systems, which can be modelled and controlled using this tool. The developed software tool was successfully verified in control of a virtual systems. Offering a graphical environment for the design of discrete event / hybrid system control algorithms, it can be used for education, research and practice in cyber-physical systems (Industry 4.0).https://ieeexplore.ieee.org/document/9953998/Discrete-event systemOPC unified architecturecyber-physical systemsystem controlhybrid systemPetri nets |
| spellingShingle | Erik Kucera Oto Haffner Peter Drahos Alena Kozakova Modeling and Control of Discrete Event and Hybrid Systems Using Petri Nets and OPC Unified Architecture IEEE Access Discrete-event system OPC unified architecture cyber-physical system system control hybrid system Petri nets |
| title | Modeling and Control of Discrete Event and Hybrid Systems Using Petri Nets and OPC Unified Architecture |
| title_full | Modeling and Control of Discrete Event and Hybrid Systems Using Petri Nets and OPC Unified Architecture |
| title_fullStr | Modeling and Control of Discrete Event and Hybrid Systems Using Petri Nets and OPC Unified Architecture |
| title_full_unstemmed | Modeling and Control of Discrete Event and Hybrid Systems Using Petri Nets and OPC Unified Architecture |
| title_short | Modeling and Control of Discrete Event and Hybrid Systems Using Petri Nets and OPC Unified Architecture |
| title_sort | modeling and control of discrete event and hybrid systems using petri nets and opc unified architecture |
| topic | Discrete-event system OPC unified architecture cyber-physical system system control hybrid system Petri nets |
| url | https://ieeexplore.ieee.org/document/9953998/ |
| work_keys_str_mv | AT erikkucera modelingandcontrolofdiscreteeventandhybridsystemsusingpetrinetsandopcunifiedarchitecture AT otohaffner modelingandcontrolofdiscreteeventandhybridsystemsusingpetrinetsandopcunifiedarchitecture AT peterdrahos modelingandcontrolofdiscreteeventandhybridsystemsusingpetrinetsandopcunifiedarchitecture AT alenakozakova modelingandcontrolofdiscreteeventandhybridsystemsusingpetrinetsandopcunifiedarchitecture |