Login / Signup
C-Exact Hypergraphs in Concurrency and Sequentiality Analyses of Cyber-Physical Systems Specified by Safe Petri Nets.
Remigiusz Wisniewski
Monika Wisniewska
Marcin Jarnut
Published in:
IEEE Access (2019)
Keyphrases
</>
petri net
cyber physical systems
cyber physical
petri net model
discrete event systems
service composition
cyber security
colored petri nets
stochastic petri net
physical world
fuzzy petri net
database systems
social networks
programmable logic controller
software engineering
rough sets