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 April 24, 2024. https://www.cai.sk/ojs/index.php/cai/article/view/2020_1-2_264.