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