Time Petri Nets with Action Duration: A True Concurrency Real-Time Model

Nabil Belala, Djamel-Eddine Saïdouni, R. Boukharrou, A.-C. Chaouche, A. Seraoui, A. Chachoua. Time Petri Nets with Action Duration: A True Concurrency Real-Time Model. IJERTCS, 4(2):62-83, 2013. [doi]

Abstract

Abstract is missing.