He, Cong, and Zhijun Ding. “More Efficient On-the-Fly Verification Methods of Colored Petri Nets”. Computing and Informatics, vol. 40, no. 1, Aug. 2021, pp. 195–215, doi:10.31577/cai_2021_1_195.