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, doi: 10.3846/1392-3730.2008.14.16.