K-Step Opacity in Discrete Event Systems: Verification, Complexity, and Relations.
Jirí BalunTomás MasopustPublished in: CoRR (2021)
Keyphrases
- discrete event systems
- petri net
- complex systems
- telecommunication networks
- failure diagnosis
- model based diagnosis
- timed petri nets
- post processing
- discrete event
- model checking
- temporal constraints
- cooperative
- space complexity
- computational complexity
- constraint satisfaction
- action recognition
- worst case
- data model
- xml documents
- lower bound