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