A Method for Repairing Process Models Containing a Choice With Concurrency Structure by Using Logic Petri Nets

Wentai Zheng, Yuyue Du, Liang Qi, Lu Wang. A Method for Repairing Process Models Containing a Choice With Concurrency Structure by Using Logic Petri Nets. IEEE Access, 7:13106-13120, 2019. [doi]

Abstract

Abstract is missing.