A Logic Petri Net-Based Repair Method of Process Models with Incomplete Choice and Concurrent Structures

Yuanxiu Teng, Yuyue Du, Liang Qi. A Logic Petri Net-Based Repair Method of Process Models with Incomplete Choice and Concurrent Structures. Computers and Artificial Intelligence, 39(1):264-297, 2020. [doi]

Abstract

Abstract is missing.