Y. Du, W. Luan, X. Zhang, and M. Chen, “Constructing and Repairing Process Models Containing Loop Return Structures via Logic Petri Nets”, Comput. Inform., vol. 44, no. 6, Feb. 2026.