Return to Article Details A Logic Petri Net-Based Repair Method of Process Models with Incomplete Choice and Concurrent Structures Download Download PDF