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