Nassar, K. and Casavant, A. 2008. Analysis of timed petri nets for reachability in construction applications. Journal of Civil Engineering and Management. 14, 3 (Sep. 2008), 189-198. DOI:https://doi.org/10.3846/1392-3730.2008.14.16.