Timed Petri Nets and Timed Automata: On the Discriminating Power of Zeno Sequences.

Patricia Bouyer Serge Haddad Pierre-Alain Reynier

Published in: ICALP (2) (2006)

Keyphrases

discriminating power
timed automata
timed petri nets
model checking
discrete event systems
recognition accuracy
feature space
theorem prover
theorem proving
medical image retrieval
petri net
image processing
first order logic
real time systems
automatic annotation
bayesian networks
face recognition