English (United Kingdom)

https://curated-unify.zendy.io/wp-json/zendy-region/v1/featured_content/oa?rat=en

https://curated-unify.zendy.io/wp-json/zendy-region/v1/highlighted_journal/

Global: Zendy Plus annual

Presents the access of premium content as premium feature

Premium Content

Presents the keyphrase highlighting as premium feature

Keyphrase Highlighting

Presents the summarisation as premium feature

Summarisation

Insights

Presents the pdf analysis as premium feature

PDF Analysis

Presents the zaia usage as premium feature

ZAIA

Global: Zendy Tools annual

Global: Zendy Free Plan

Global: Zendy Tools monthly

Global: Zendy Plus monthly

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.

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