K. Nassar and A. Casavant, “Analysis of timed petri nets for reachability in construction applications”, JCEM, vol. 14, no. 3, pp. 189-198, Sep. 2008.