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

Process models are used to describe or verify the correctness of business processes before their implementation by enterprise information systems. With the development of data mining technologies, a lot of event logs generated from such systems can be used to check conformance of business processes and process models. For models containing a choice with concurrency structure, although the model repaired by the existing method can replay the event log, it is quite different from the business process. Therefore, we propose a model repair method based on logic Petri net. First, we give an algorithm to find the position of the deviation. Then, we add directed arcs from a place to a transition or from a transition to a place via logic Petri nets. Finally, we repair the model by adding logic transitions with logic functions. The repaired model can efficiently enhance conformance dimensions, such as simplicity and precision. The correctness and effectiveness of the method are verified by experimental results.