He, C.; Ding, Z. More Efficient On-the-Fly Verification Methods of Colored Petri Nets. Comput. Inform. 2021, 40, 195–215.