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 April 29, 2024. https://journals.vilniustech.lt/index.php/JCEM/article/view/6867.