Decidability of the strict reachability problem for TPN's with rational and real durations | IEEE Conference Publication | IEEE Xplore