Local Opacity Verification for Distributed Discrete Event Systems.

Sasinee Pruekprasert Kai Cai

Published in: CoRR (2021)

Keyphrases

discrete event systems
petri net
model based diagnosis
complex systems
discrete event
distributed systems
telecommunication networks
timed petri nets
failure diagnosis
multi agent
mobile agents
model checking
database
distributed environment
cooperative
computer networks
signature verification