Teng, Yuanxiu, Liang Qi, and Yuyue Du. 2020. “A Logic Petri Net-Based Repair Method of Process Models With Incomplete Choice and Concurrent Structures”. Computing and Informatics 39 (1-2):264-97. https://doi.org/10.31577/cai_2020_1-2_264.