From Time Petri Nets to Timed Automata: an Untimed Approach