Y. Teng, L. Qi, and Y. Du, “A Logic Petri Net-Based Repair Method of Process Models with Incomplete Choice and Concurrent Structures”, Comput. Inform., vol. 39, no. 1-2, pp. 264–297, Feb. 2020.