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 Apr. 19];41(4):1025–1053. Available from: https://www.cai.sk/ojs/index.php/cai/article/view/2022_4_1025