State-Based Opacity Verification of Networked Discrete Event Systems Using Labeled Petri Nets.

Yifan Dong Naiqi Wu Zhiwu Li

Published in: IEEE CAA J. Autom. Sinica (2024)

Keyphrases

discrete event systems
petri net
petri net model
colored petri nets
concurrent systems
complex systems
timed petri nets
manufacturing systems
service composition
discrete event
telecommunication networks
model based diagnosis
state machines
fuzzy petri net
stochastic petri net
web services
ims ld
computer systems