Song, Jian, Dongming Xiang, Guanjun Liu, and Leifeng He. 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.