Symbolic Verification of Current-State Opacity of Discrete Event Systems Using Petri Nets.

Yifan Dong Zhiwu Li Naiqi Wu

Published in: IEEE Trans. Syst. Man Cybern. Syst. (2022)

Keyphrases

discrete event systems
petri net
petri net model
colored petri nets
concurrent systems
timed petri nets
complex systems
model based diagnosis
manufacturing systems
telecommunication networks
temporal constraints
service composition
discrete event
stochastic petri net
programmable logic controller