Login / Signup
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