Timed Petri nets and timed automata: On the discriminating power of zeno sequences.
Patricia BouyerSerge HaddadPierre-Alain ReynierPublished in: Inf. Comput. (2008)
Keyphrases
- discriminating power
- timed automata
- timed petri nets
- model checking
- discrete event systems
- feature space
- recognition accuracy
- theorem prover
- theorem proving
- first order logic
- mathematical modeling
- medical image retrieval
- expert systems
- image processing
- real time systems
- petri net
- face recognition
- inference rules
- discrete event
- complex systems