Nassar K, Casavant A. Analysis of timed petri nets for reachability in construction applications. JCEM [Internet]. 2008Sep.30 [cited 2024Nov.15];14(3):189-98. Available from: https://tede.vgtu.lt/index.php/JCEM/article/view/6867