Timed Bisimulation and Open Maps.

Thomas Hune Mogens Nielsen

Published in: MFCS (1998)

Keyphrases

petri net
data sets
real time
machine learning
genetic algorithm
markov chain
cloud computing
open systems
timed automata