Partial Reachability Graph Analysis of Petri Nets for Flexible Manufacturing Systems. - Menghuan Hu; Shaohua Yang; Yufeng Chen 001 (IEEE Access, 2020)