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

Authors :: Jiazhong Zhou
Dimitri Lefebvre
Zhiwu Li
Source :: IEEE Transactions on Automatic Control. 67:3693-3698
Publication Year :: 2022
Publisher :: Institute of Electrical and Electronics Engineers (IEEE), 2022.

Subjects :: Class (computer programming)
Theoretical computer science
Control and Systems Engineering
Reachability
Computer science
Graph (abstract data type)
Electrical and Electronic Engineering
Petri net
Cluster analysis
Computer Science Applications

Tools