On Opacity Verification for Discrete-Event Systems.

Jirí Balun Tomás Masopust

Published in: CoRR (2019)

Keyphrases

discrete event systems
petri net
complex systems
model based diagnosis
telecommunication networks
failure diagnosis
model checking
timed petri nets
discrete event
temporal constraints
high level
cooperative
management system
signature verification
verification method