C-Exact Hypergraphs in Concurrency and Sequentiality Analyses of Cyber-Physical Systems Specified by Safe Petri Nets

The paper proposes the novel concurrency and sequentiality analysis techniques of a cyber-physical system specified by a safe Petri net. The presented methods are based on the hypergraph theory and apply computation of exact transversals in a c-exact hypergraph. The proposed techniques are supported by adequate algorithms, theorems, and proofs. Furthermore, the presented methods are illustrated by a case-study example of a real-life cyber-physical system. Finally, the results of the conducted experiments are shown and discussed.