Nassar, Khaled, and Albert Casavant. 2008. “Analysis of Timed Petri Nets for Reachability in Construction Applications”. Journal of Civil Engineering and Management 14 (3):189-98. https://doi.org/10.3846/1392-3730.2008.14.16.