extended Time Petri net formalism