Song J, Xiang D, Liu G, He L. Guard-Function-Constraint-Based Refinement Method to Generate Dynamic Behaviors of Workflow Net with Table. Comput. Inform. [Internet]. 2022 Nov. 9 [cited 2024 Nov. 7];41(4):1025–1053. Available from: http://147.213.75.17/ojs/index.php/cai/article/view/2022_4_1025