Teng, Yuanxiu, Liang Qi, and Yuyue Du. “A Logic Petri Net-Based Repair Method of Process Models With Incomplete Choice and Concurrent Structures”. Computing and Informatics 39, no. 1-2 (February 29, 2020): 264–297. Accessed November 23, 2024. http://147.213.75.17/ojs/index.php/cai/article/view/2020_1-2_264.