Performance Evaluation of Discrete Event Systems Thanks to New Representations for (max, +) Automata.
Rabah BoukraSébastien LahayeJean-Louis BoimondPublished in: ICINCO (1) (2012)
Keyphrases
- discrete event systems
- petri net
- complex systems
- model based diagnosis
- discrete event
- failure diagnosis
- telecommunication networks
- timed petri nets
- temporal constraints
- cellular automata
- finite state
- relational databases
- dynamic systems
- special case
- regular expressions
- expert systems
- temporal reasoning
- constraint satisfaction
- finite automata
- tree automata