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