Verification of State-Based Opacity Using Petri Nets.

Yin Tong Zhiwu Li Carla Seatzu Alessandro Giua

Published in: IEEE Trans. Autom. Control. (2017)

Keyphrases

petri net
petri net model
colored petri nets
concurrent systems
manufacturing systems
discrete event systems
service composition
fuzzy petri net
process model
ims ld
state machines
high level petri nets
neural network
data analysis
cellular automata