Determinism in Cyber-Physical Systems Specified by Interpreted Petri Nets
In this paper, we study selected aspects of determinism in the control part of a cyber-physical system (CPS) that is specified by a Petri net-based model. In particular, the control interpreted Petri nets (CIPNs) are applied, which are an extension of the ordinary Petri nets, supplemented by signals...
| Main Authors: | , , |
|---|---|
| Format: | Article |
| Language: | English |
| Published: |
MDPI AG
2020-09-01
|
| Series: | Sensors |
| Subjects: | |
| Online Access: | https://www.mdpi.com/1424-8220/20/19/5565 |
| _version_ | 1827705299854688256 |
|---|---|
| author | Remigiusz Wisniewski Iwona Grobelna Andrei Karatkevich |
| author_facet | Remigiusz Wisniewski Iwona Grobelna Andrei Karatkevich |
| author_sort | Remigiusz Wisniewski |
| collection | DOAJ |
| description | In this paper, we study selected aspects of determinism in the control part of a cyber-physical system (CPS) that is specified by a Petri net-based model. In particular, the control interpreted Petri nets (CIPNs) are applied, which are an extension of the ordinary Petri nets, supplemented by signals (related to sensors and actuators) that permit communication with the environment. The notions of weak and strong determinism in a system described by a CIPN are introduced in the paper. The proposed concepts are supported by formal definitions and theorems. Moreover, a novel modelling methodology for a deterministic system specified by a CIPN is proposed. The presented solutions are illustrated by a case study example of a real-life cyber-physical system. Finally, the results of experimental verification of the proposed determinism-based techniques are demonstrated and discussed. |
| first_indexed | 2024-03-10T15:59:13Z |
| format | Article |
| id | doaj.art-d851729b9b764fa68ff48c9f53855494 |
| institution | Directory Open Access Journal |
| issn | 1424-8220 |
| language | English |
| last_indexed | 2024-03-10T15:59:13Z |
| publishDate | 2020-09-01 |
| publisher | MDPI AG |
| record_format | Article |
| series | Sensors |
| spelling | doaj.art-d851729b9b764fa68ff48c9f538554942023-11-20T15:26:19ZengMDPI AGSensors1424-82202020-09-012019556510.3390/s20195565Determinism in Cyber-Physical Systems Specified by Interpreted Petri NetsRemigiusz Wisniewski0Iwona Grobelna1Andrei Karatkevich2Institute of Automatics, Electronics and Electrical Engineering, University of Zielona Góra, 65-417 Zielona Góra, PolandInstitute of Automatics, Electronics and Electrical Engineering, University of Zielona Góra, 65-417 Zielona Góra, PolandDepartment of Applied Computer Science, AGH University of Science and Technology, 30-059 Kraków, PolandIn this paper, we study selected aspects of determinism in the control part of a cyber-physical system (CPS) that is specified by a Petri net-based model. In particular, the control interpreted Petri nets (CIPNs) are applied, which are an extension of the ordinary Petri nets, supplemented by signals (related to sensors and actuators) that permit communication with the environment. The notions of weak and strong determinism in a system described by a CIPN are introduced in the paper. The proposed concepts are supported by formal definitions and theorems. Moreover, a novel modelling methodology for a deterministic system specified by a CIPN is proposed. The presented solutions are illustrated by a case study example of a real-life cyber-physical system. Finally, the results of experimental verification of the proposed determinism-based techniques are demonstrated and discussed.https://www.mdpi.com/1424-8220/20/19/5565Petri netsdeterminismcontrol logiccontrol systemscyber-physical systems |
| spellingShingle | Remigiusz Wisniewski Iwona Grobelna Andrei Karatkevich Determinism in Cyber-Physical Systems Specified by Interpreted Petri Nets Sensors Petri nets determinism control logic control systems cyber-physical systems |
| title | Determinism in Cyber-Physical Systems Specified by Interpreted Petri Nets |
| title_full | Determinism in Cyber-Physical Systems Specified by Interpreted Petri Nets |
| title_fullStr | Determinism in Cyber-Physical Systems Specified by Interpreted Petri Nets |
| title_full_unstemmed | Determinism in Cyber-Physical Systems Specified by Interpreted Petri Nets |
| title_short | Determinism in Cyber-Physical Systems Specified by Interpreted Petri Nets |
| title_sort | determinism in cyber physical systems specified by interpreted petri nets |
| topic | Petri nets determinism control logic control systems cyber-physical systems |
| url | https://www.mdpi.com/1424-8220/20/19/5565 |
| work_keys_str_mv | AT remigiuszwisniewski determinismincyberphysicalsystemsspecifiedbyinterpretedpetrinets AT iwonagrobelna determinismincyberphysicalsystemsspecifiedbyinterpretedpetrinets AT andreikaratkevich determinismincyberphysicalsystemsspecifiedbyinterpretedpetrinets |