Analysis of Control Part of Cyber-Physical Systems Specified by Interpreted Petri Nets
Marcin Wojnakowski, Remigiusz Wiśniewski, Mateusz Popławski, Grzegorz Bazydło · 2022 IEEE International Conference on Systems, Man, and Cybernetics (SMC) · 2022
The paper proposes a novel analysis algorithm of the control part of cyber-physical systems specified by an interpreted Petri net. In particular, the three essential properties of Petri nets are studied: boundedness, safeness, and liveness. The presented idea combines linear algebra technique with reachability tree analysis. To clarify the presented concept, the method is illustrated by a real-life example of a cyber-physical system. Moreover, the experimental verification of the proposed technique was performed to examine its effectiveness and efficiency.