Safeness analysis of Petri net-based cyber-physical systems based on the linear algebra and parallel reductions.

A safeness analysis technique of a Petri net-based control part of cyber-physical system (CPS) is presented in the paper. The idea is based on the initial parallel reduction of a net, and further computation of the state machine components in the system. The effectiveness and efficiency of the proposed concept have been verified experimentally, with a set of 243 benchmarks (test modules). The method is especially dedicated (but not limited) to the Petri net-based models of the control part of CPS. [ABSTRACT FROM AUTHOR]