A Logic Petri Net-Based Repair Method of Process Models with Incomplete Choice and Concurrent Structures

Authors

  • Yuanxiu Teng The College of Computer Science and Engineering, Shandong University of Science and Technology, Qingdao 266590, China
  • Liang Qi The College of Computer Science and Engineering, Shandong University of Science and Technology, Qingdao 266590, China
  • Yuyue Du The College of Computer Science and Engineering, Shandong University of Science and Technology, Qingdao 266590, China

DOI:

https://doi.org/10.31577/cai_2020_1-2_264

Keywords:

Process model, model repair, process tree, alignment, logic Petri net

Abstract

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.

Downloads

Download data is not yet available.

Downloads

Published

2020-02-29

How to Cite

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. https://doi.org/10.31577/cai_2020_1-2_264

Issue

Vol. 39 No. 1-2 (2020): Computing and Informatics

Section

Special Section Articles