A Method for Repairing Process Models Containing a Choice With Concurrency Structure by Using Logic Petri Nets. - Wentai Zheng; Yuyue Du; Liang Qi 001; Lu Wang (IEEE Access, 2019)

Repair Process Models Containing Non-Free-Choice Structures Based on Logic Petri Nets. - Wentai Zheng; Yuyue Du; Shouguang Wang; Liang Qi 001 (IEEE Access, 2019)