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