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