Modeling of discrete event systems using finite automata with variables.
Markus SköldstamKnut ÅkessonMartin FabianPublished in: CDC (2007)
Keyphrases
- finite automata
- discrete event systems
- petri net
- complex systems
- probabilistic automata
- timed petri nets
- deterministic automata
- regular expressions
- grammatical inference
- telecommunication networks
- discrete event
- model based diagnosis
- database
- databases
- temporal information
- data integration
- finite automaton
- hidden markov models