Liveness of Parameterized Timed Networks.

Benjamin Aminof Sasha Rubin Francesco Spegni Florian Zuleger

Published in: CoRR (2016)

Keyphrases

computer networks
petri net
network analysis
image processing
search algorithm
complex systems
network design
timed automata
database
real time
bayesian networks
heterogeneous networks
cellular networks
telecommunication networks
connectionist networks