A Clustering Approach to Approximate the Timed Reachability Graph for a Class of Time Petri Nets | IEEE Journals & Magazine | IEEE Xplore