A Clustering Approach to Approximate the Timed Reachability Graph for a Class of Time Petri Nets

JiaZhong Zhou, Dimitri Lefebvre, Zhi-Wu Li 0001. A Clustering Approach to Approximate the Timed Reachability Graph for a Class of Time Petri Nets. IEEE Trans. Automat. Contr., 67(7):3693-3698, 2022. [doi]

Abstract

Abstract is missing.