Simulation of Timed Petri Nets by Ordinary Petri Nets and Applications to Decidability of the Timed Reachability Problem and other Related Problems.

Valentín Valero Ruiz David de Frutos-Escrig Fernando Cuartero Simulation of Timed Petri Nets by Ordinary Petri Nets and Applications to Decidability of the Timed Reachability Problem and other Related Problems. 154-163 1991 PNPM db/conf/pnpm/pnpm1991.html#RuizFC91