Song, Jian, Dongming Xiang, Guanjun Liu, and Leifeng He. “Guard-Function-Constraint-Based Refinement Method to Generate Dynamic Behaviors of Workflow Net With Table”. Computing and Informatics 41, no. 4 (November 9, 2022): 1025–1053. Accessed November 7, 2024. http://147.213.75.17/ojs/index.php/cai/article/view/2022_4_1025.