Timed Equivalences for Timed Event Structures.

Maria V. Andreeva Irina B. Virbitskaite

Published in: PaCT (2005)

Keyphrases

petri net
timed automata
finite state machines
discrete event
image processing
markov chain
colored petri nets
real world
information retrieval
learning algorithm
computer vision
decision making
bayesian networks
multiscale
event detection
theorem prover