Teng, Y. et al. 2020. A Logic Petri Net-Based Repair Method of Process Models with Incomplete Choice and Concurrent Structures. COMPUTING AND INFORMATICS. 39, 1-2 (Feb. 2020), 264–297. DOI:https://doi.org/10.31577/cai_2020_1-2_264.