Title
A Simple Logic Transition Repair Method for Business Process Models via Logic Petri Nets.
Abstract
Business processes are usually described and verified by process models before their realization in enterprise information systems. When event logs generated from systems cannot be replayed well in the process models, the process models need to be improved accordingly. Most model repair methods based on logic Petri nets are often designed for specific structures, which is difficult to be extended in reality. This paper proposes a simple logic transition repair method for logic Petri net-based business process models. This method can check whether models match event logs. According to different structures, we obtain the deviation positions based on the results of conformance checking. Without adding invisible transitions and repeated transitions, the model is repaired by adding arcs and logic transitions, and the original structure is maintained. Finally, the simulation experiment illustrates the correctness and effectiveness of the proposed model repair method.
Year
DOI
Venue
2019
10.1109/ACCESS.2019.2921884
IEEE ACCESS
Keywords
Field
DocType
Process model,model repair,logic Petri net,conformance checking
Petri net,Computer science,Business process modeling,Distributed computing
Journal
Volume
ISSN
Citations 
7
2169-3536
0
PageRank 
References 
Authors
0.34
0
5
Name
Order
Citations
PageRank
Yuanxiu Teng100.68
YuYue Du226825.87
Liang Qi315627.14
Wenjing Luan4197.08
Lu Wang5153.31