NASSAR, K.; CASAVANT, A. Analysis of timed petri nets for reachability in construction applications. Journal of Civil Engineering and Management, v. 14, n. 3, p. 189-198, 30 Sep. 2008.