A Logic Petri Net-Based Model Repair Approach by Constructing Choice Bridges

Abstract

Process models can be discovered from event logs generated by the enterprise information system. As business processes' frequently changing, some activities in event logs may belong to different choice branches, while the actual model can only replay activities on the same choice branch. Thus, the model needs to be repaired to describe the business process accurately. For activities occurring in a choice structure, although the model repaired by the existing methods has good fitness, its structure may have changed a lot. This paper proposes a new model repair method based on logic Petri nets. First, we define a new event log type-choice deviation sub-log. Then, we find deviation positions according to the principle of token replaying. Next, we add bridges among choice branches to repair the model. We conduct experiments on some cases from cancer treatment processes in a hospital. The effectiveness and correctness of our method can be illustrated. The model repaired by our method is similar to the original one, and it has a higher precision compared with the existing model repair methods.INDEX TERMS Logic Petri net, process mining, model repair, choice structures.

A Process Model Repair Approach by Constructing Choice Structures via Logic Petri Nets

“…Then, the repaired models by different methods are compared and analyzed according to the criteria for evaluating the qualities of models. The most recent model repair methods [10]- [12] only consider some particular structures, which are different from this paper. There is no comparability among them.…”

“…The model repaired by this method also has a high fitness value. Other recent model repair methods [10]- [12] mainly consider some particular structures. For instance, the method proposed in [10] can add bridges to choice structures.…”

“…Other recent model repair methods [10]- [12] mainly consider some particular structures. For instance, the method proposed in [10] can add bridges to choice structures. The model repaired by this method can replay activities that belong to the same choice branch or different choice branches.…”

“…Therefore, they cannot ensure an acceptable precision and simplicity of the model. The model repair methods in [10], [12] cannot add new activities to the model. And the method proposed in [11] only adds new activities to choice structures, and it cannot construct new choice structures in the model.…”

Risk Analysis of Cash on Delivery Payment Method by Social Network Analysis and Fuzzy Petri Net

“…(6) C is a triangular matrix, which represents the truth degree of transition. For the quantitative calculation of Petri net [26], the method of truth degree is used to express the strength of transaction risk judgment, and risk is quantitatively calculated so as to more accurately represent the situation of risk. The main idea of truth degree method is that the truth value of the combination of fuzzy propositions takes the minimum value of the truth value of each sub formula, and the truth value of the disjunction of fuzzy propositions takes the maximum value of the truth value of each sub formula [27].…”