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