"From Time Petri Nets to Timed Automata: An Untimed Approach."

Davide D'Aprile et al. (2007)
a service of Schloss Dagstuhl - Leibniz Center for Informatics