Paper Info
Title
A Method for Repairing Process Models Containing a Choice With Concurrency Structure by Using Logic Petri Nets.
Abstract
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.
Year
DOI
Venue
2019
10.1109/ACCESS.2019.2893327
IEEE ACCESS
Keywords
Field
DocType
Business process,deviation,alignment,choice with concurrency structure,logic Petri net
Information system,Petri net,Programming language,Business process,Computer science,Concurrency,Process modeling,Correctness,Enterprise information system,Concurrent computing,Distributed computing
Journal
Volume
ISSN
Citations 
7
2169-3536
0
PageRank 
References 
Authors
0.34
0
4
Name
Order
Citations
PageRank
Wentai Zheng100.68
YuYue Du226825.87
Liang Qi315627.14
Lu Wang4153.31