“Analysis of Timed Petri Nets for Reachability in Construction Applications”. 2008. Journal of Civil Engineering and Management 14 (3): 189-98. https://doi.org/10.3846/1392-3730.2008.14.16.