A class of extended time Petri nets for modeling and simulation of discrete event systems. (August 2018)