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). Retrieved from https://www.cai.sk/ojs/index.php/cai/article/view/7164