Du, Y.; Luan, W.; Zhang, X.; Chen, M. Constructing and Repairing Process Models Containing Loop Return Structures via Logic Petri Nets. Comput. Inform. 2026, 44.