Teng, Y.; Qi, L.; Du, Y. A Logic Petri Net-Based Repair Method of Process Models With Incomplete Choice and Concurrent Structures. Comput. Inform. 2020, 39, 264-297.