Return to Article Details Analysis of timed petri nets for reachability in construction applications Download Download PDF