Time Petri Net