Song, J. et al. 2022. Guard-Function-Constraint-Based Refinement Method to Generate Dynamic Behaviors of Workflow Net with Table. Computing and Informatics. 41, 4 (Nov. 2022), 1025–1053. DOI:https://doi.org/10.31577/cai_2022_4_1025.