Song, J., Xiang, D., Liu, G., & He, L. (2022). Guard-Function-Constraint-Based Refinement Method to Generate Dynamic Behaviors of Workflow Net with Table. Computing and Informatics, 41(4), 1025–1053. https://doi.org/10.31577/cai_2022_4_1025