Nassar, Khaled, and Albert Casavant. “Analysis of Timed Petri Nets for Reachability in Construction Applications”. Journal of Civil Engineering and Management 14, no. 3 (September 30, 2008): 189-198. Accessed July 6, 2024. https://jau.vgtu.lt/index.php/JCEM/article/view/6867.