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