Teng, Yuanxiu, et al. “A Logic Petri Net-Based Repair Method of Process Models With Incomplete Choice and Concurrent Structures”. COMPUTING AND INFORMATICS, vol. 39, no. 1-2, Feb. 2020, pp. 264-97, doi:10.31577/cai_2020_1-2_264.