Hadjdj, R., & Boucheneb, H. (2008). Model checking of time Petri nets. In Petri Net: Theory and application . External link