Teng, Y., Qi, L., & 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), 264–297. https://doi.org/10.31577/cai_2020_1-2_264