Song, Jian, et al. “Guard-Function-Constraint-Based Refinement Method to Generate Dynamic Behaviors of Workflow Net With Table”. Computing and Informatics, vol. 41, no. 4, Nov. 2022, pp. 1025–1053, doi:10.31577/cai_2022_4_1025.