New representations for (max, +) automata with applications to the performance evaluation of discrete event systems.
Rabah BoukraSébastien LahayeJean-Louis BoimondPublished in: WODES (2012)
Keyphrases
- discrete event systems
- petri net
- complex systems
- telecommunication networks
- model based diagnosis
- failure diagnosis
- discrete event
- timed petri nets
- cellular automata
- temporal constraints
- search space
- dynamic systems
- finite state machines
- simulation model
- finite automata
- tree automata
- expert systems
- objective function