Login / Signup
On the Complexity of Initial-and-Final-State Opacity for Discrete Event Systems.
Tomás Masopust
Petr Osicka
Published in:
CoRR (2024)
Keyphrases
</>
discrete event systems
petri net
complex systems
model based diagnosis
failure diagnosis
computational complexity
database systems
multi agent systems
state space
worst case
database design
simulation model
timed petri nets