Analysis of Timed Petri Nets for Reachability in Construction Applications. JCEM 2008, 14 (3), 189-198. https://doi.org/10.3846/1392-3730.2008.14.16.