Simulation of timed Petri nets by ordinary Petri nets and applications to decidability of the timed reachability problem and other related problems | Publicación