Nassar, K., and A. Casavant. “Analysis of Timed Petri Nets for Reachability in Construction Applications”. Journal of Civil Engineering and Management, vol. 14, no. 3, Sept. 2008, pp. 189-98, doi:10.3846/1392-3730.2008.14.16.