Delay-Dependent Partial Order Reduction Technique for Time Petri Nets. - Hanifa Boucheneb; Kamel Barkaoui; Karim Weslati (FORMATS, 2014)