Translation from timed Petri nets with intervals on transitions to intervals on places (with urgency)