Abstract
A method of repairing process models with non-free-choice constructs is proposed based on logical Petri nets, aiming at the problem of low precision in the existing repair methods. An extended successor matrix of transitions is determined according to the distance between any two transitions. There are two types of choice-construct transitions. One is a non-free-choice construct transition, and the other is a general choice construct transition. The type of choice-construct transitions can be determined based on the extended successor matrix and the relationship between the front and back sets of transitions. The location of the deviations is calculated by an improved replaying method. Finally, a model can be repaired according to remaining-token places and missing-token places. Based on the experiments on real event logs, the method proposed in this paper has a better performance in fitness, precision, and simplicity compared with its peers.
Keywords
Cite this article
@article{cai-5859,
author = {Erjing Bai and Man Qi and Wenjing Luan and Peng Li and Yuyue Du},
title = {Repairing Process Models with Non-Free-Choice Constructs Based on Token Replay},
journal = {Computing and Informatics},
volume = {41},
number = {4},
pages = {1054--1077},
year = {2022},
issn = {1335-9150},
doi = {10.31577/cai_2022_4_1054}
}
TY - JOUR AU - Erjing Bai AU - Man Qi AU - Wenjing Luan AU - Peng Li AU - Yuyue Du TI - Repairing Process Models with Non-Free-Choice Constructs Based on Token Replay JO - Computing and Informatics VL - 41 IS - 4 SP - 1054 EP - 1077 PY - 2022 SN - 1335-9150 DO - 10.31577/cai_2022_4_1054 UR - https://doi.org/10.31577/cai_2022_4_1054 KW - Model repair KW - non-free-choice constructs KW - logical Petri net KW - token replay KW - process model KW - event logs ER -
Bai, E., Qi, M., Luan, W., Li, P., & Du, Y. (2022). Repairing Process Models with Non-Free-Choice Constructs Based on Token Replay. Computing and Informatics, 41(4), 1054–1077. https://doi.org/10.31577/cai_2022_4_1054