Abstract
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.
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have