He, C. and Ding, Z. (2021) “More Efficient On-the-Fly Verification Methods of Colored Petri Nets”, COMPUTING AND INFORMATICS, 40(1), pp. 195–215. doi: 10.31577/cai_2021_1_195.