Du, Y. (2026) “Constructing and Repairing Process Models Containing Loop Return Structures via Logic Petri Nets”, Computing and Informatics, 44(6), pp. 1393–1422. doi: 10.31577/cai_2025_6_1393.