Teng, Y., Qi, L. and Du, Y. (2020) “A Logic Petri Net-Based Repair Method of Process Models with Incomplete Choice and Concurrent Structures”, COMPUTING AND INFORMATICS, 39(1-2), pp. 264–297. doi: 10.31577/cai_2020_1-2_264.