Timed Petri Nets