An Efficient Translation of Timed-Arc Petri Nets to Networks of Timed Automata