Du, Y., Luan, W., Zhang, X., & Chen, M. (2026). Constructing and Repairing Process Models Containing Loop Return Structures via Logic Petri Nets. Computing and Informatics, 44(6), 1393–1422. https://doi.org/10.31577/cai_2025_6_1393