C. He and Z. Ding, “More Efficient On-the-Fly Verification Methods of Colored Petri Nets”, Comput. Inform., vol. 40, no. 1, pp. 195–215, Aug. 2021.