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 April 25, 2024. https://www.cai.sk/ojs/index.php/cai/article/view/2022_4_1025.