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).