Time Petri Nets with Action Duration: A True Concurrency Real-Time Model. - Nabil Belala; Djamel-Eddine Saïdouni; Radja Boukharrou; Ahmed-Chawki Chaouche; A. Seraoui; A. Chachoua (Int. J. Embed. Real Time Commun. Syst., 2013)