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

Davide D'Aprile, Susanna Donatelli, Arnaud Sangnier, Jeremy Sproston

Browse the full TACAS paper archive.