Davide D'Aprile Susanna Donatelli Arnaud Sangnier Jeremy Sproston From Time Petri Nets to Timed Automata: An Untimed Approach. 216-230 2007 conf/tacas/2007 TACAS http://dx.doi.org/10.1007/978-3-540-71209-1_18 db/conf/tacas/tacas2007.html#DAprileDSS07