Du, Y. et al. 2026. Constructing and Repairing Process Models Containing Loop Return Structures via Logic Petri Nets. Computing and Informatics. 44, 6 (Feb. 2026), 1393–1422. DOI:https://doi.org/10.31577/cai_2025_6_1393.