In: Computing and Informatics, vol. 39, no. 1-2
Yuanxiu Teng - Liang Qi - Yuyue Du
Detaily:
Rok, strany: 2020, 264 - 297
Jazyk: eng
Kľúčové slová:
Process model, model repair, process tree, alignment, logic Petri net
O článku:
Current model repair methods cannot repair incomplete choice and concurrent structures precisely and simply. This paper presents a repair method of process models with incomplete choice and concurrent structures via logic Petri nets. The relation sets are constructed based on process trees, including branch sets, choice activity sets and concurrent activity sets. The deviations are determined by analyzing the relation between relation sets and activities in the optimal alignment. The model repair method is proposed for models with incomplete choice and concurrent structures via logic Petri nets according to different deviation positions. Finally, the correctness and effectiveness of the logic Petri net-based repair method are illustrated by simulation experiments.
Ako citovať:
ISO 690:
Teng, Y., Qi, L., Du, Y. 2020. A Logic Petri Net-Based Repair Method of Process Models with Incomplete Choice and Concurrent Structures. In Computing and Informatics, vol. 39, no.1-2, pp. 264-297. 1335-9150. DOI: https://doi.org/10.31577/cai_2020_1-2_264
APA:
Teng, Y., Qi, L., Du, Y. (2020). A Logic Petri Net-Based Repair Method of Process Models with Incomplete Choice and Concurrent Structures. Computing and Informatics, 39(1-2), 264-297. 1335-9150. DOI: https://doi.org/10.31577/cai_2020_1-2_264
O vydaní:
Vydavateľ: Ústav informatiky SAV
Publikované: 20. 7. 2020