He, C., & Ding, Z. (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