Conflict-preserving abstraction of discrete event systems using annotated automata.
Simon WareRobi MalikPublished in: Discret. Event Dyn. Syst. (2012)
Keyphrases
- discrete event systems
- petri net
- complex systems
- model based diagnosis
- discrete event
- telecommunication networks
- timed petri nets
- failure diagnosis
- cellular automata
- conflict resolution
- temporal constraints
- high level
- finite state
- regular expressions
- finite automata
- database
- tree automata
- np complete
- special case
- dynamic systems
- integrity constraints