Nassar, K.; Casavant, A. Analysis of Timed Petri Nets for Reachability in Construction Applications. JCEM 2008, 14, 189-198.