A LOGIC PETRI NET-BASED REPAIR METHOD OF PROCESS MODELS WITH INCOMPLETE CHOICE AND CONCURRENT STRUCTURES

被引：5
|
作者：
Teng, Yuanxiu [1 ]
Qi, Liang [1 ]
Du, Yuyue [1 ]
机构：
[1] Shandong Univ Sci & Technol, Coll Comp Sci & Engn, Qingdao 266590, Peoples R China
来源：
COMPUTING AND INFORMATICS | 2020年 / 39卷 / 1-2期
基金：
中国国家自然科学基金;
关键词：
Process model; model repair; process tree; alignment; logic Petri net;
D O I：
10.31577/cai_2020_1-2_264
中图分类号：
TP18 [人工智能理论];
学科分类号：
081104 ; 0812 ; 0835 ; 1405 ;
摘要：
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.
引用
收藏
页码：264 / 297
页数：34
相关论文
共 50 条
  • [1] An approach to repair Petri net-based process models with choice structures
    Qi, HongDa
    Du, YuYue
    Qi, Liang
    Wang, Lu
    [J]. ENTERPRISE INFORMATION SYSTEMS, 2018, 12 (8-9) : 1149 - 1179
  • [2] A Logic Petri Net-Based Method for Repairing Process Models With Concurrent Blocks
    Teng, Yuanxiu
    Du, Yuyue
    Qi, Liang
    Luan, Wenjing
    [J]. IEEE ACCESS, 2019, 7 : 8266 - 8282
  • [3] A Logic Petri Net-Based Model Repair Approach by Constructing Choice Bridges
    Xu, Yuhua
    Du, Yuyue
    Qi, Liang
    Luan, Wenjing
    Wang, Lu
    [J]. IEEE ACCESS, 2019, 7 : 18531 - 18545
  • [4] Repair Process Models Containing Non-Free-Choice Structures Based on Logic Petri Nets
    Zheng, Wentai
    Du, Yuyue
    Wang, Shouguang
    Qi, Liang
    [J]. IEEE ACCESS, 2019, 7 : 105132 - 105145
  • [5] Verifying Petri Net-Based Process Models using Automated Planning
    Agostinelli, Simone
    Maggi, Fabrizio Maria
    Marrella, Andrea
    Mecella, Massimo
    [J]. 2019 IEEE 23RD INTERNATIONAL ENTERPRISE DISTRIBUTED OBJECT COMPUTING WORKSHOP (EDOCW 2019), 2019, : 44 - 53
  • [6] Fuzzy Petri net-based programmable logic controller
    Andreu, D
    Pascal, JC
    Valette, R
    [J]. IEEE TRANSACTIONS ON SYSTEMS MAN AND CYBERNETICS PART B-CYBERNETICS, 1997, 27 (06): : 952 - 961
  • [7] Petri net-based specification, analysis and synthesis of logic controllers
    Wegrzyn, A
    Wegrzyn, M
    [J]. PROCEEDINGS OF THE 2000 IEEE INTERNATIONAL SYMPOSIUM ON INDUSTRIAL ELECTRONICS, VOL 1 AND 2, 2000, : 20 - 26
  • [8] Petri Net-based Business Process Model Change
    Gao, Ying
    Luo, Zong-wei
    Wu, Zhen-huan
    Liu, Cong
    [J]. INTERNATIONAL CONFERENCE ON COMPUTER SCIENCE AND INFORMATION ENGINEERING (CSIE 2015), 2015, : 44 - 49
  • [9] Petri net-based hierarchical business process mining
    基于Petri网的分层业务过程挖掘方法
    [J]. Zeng, Qingtian (qtzeng@163.com), 1600, CIMS (26): : 1525 - 1537
  • [10] Concurrent resolution in logic programming using Petri net models
    Bhattacharya, Alakananda
    Konar, Amit
    Mandal, Ajit K.
    [J]. ICCIMA 2007: INTERNATIONAL CONFERENCE ON COMPUTATIONAL INTELLIGENCE AND MULTIMEDIA APPLICATIONS, VOL II, PROCEEDINGS, 2007, : 43 - 47
12345