Local Opacity Verification for Distributed Discrete Event Systems.

Sasinee Pruekprasert Kai Cai

Published in: CDC (2021)

Keyphrases

discrete event systems
petri net
model based diagnosis
telecommunication networks
timed petri nets
failure diagnosis
distributed systems
complex systems
discrete event
cooperative
model checking
peer to peer
distributed environment
computer networks
user defined
multi agent
dynamic programming
relational databases