Hadjdj, R., & Boucheneb, H. (2008). Model checking of time Petri nets. Dans Petri Net: Theory and application . Lien externe