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 条

[41] A Polynomial-Time Algorithm for Detection of Uncovered Transitions in a Petri Net-Based Concurrent System
Wojnakowski, Marcin
Malinski, Maxim
Wisniewski, Remigiusz
Obuchowicz, Andrzej
Li, Zhiwu
Konarczak, Dawid
APPLIED SCIENCES-BASEL, 2025, 15 (02):
[42] A Petri Net-Based Software Process Model for Developing Process-Oriented Information Systems
Li, Yu
Oberweis, Andreas
INFORMATION SYSTEMS DEVELOPMENT: ASIAN EXPERIENCES, 2011, : 27 - 39
[43] Petri net-based method for the analysis of the dynamics of signal propagation in signaling pathways
Hardy, Simon
Robillard, Pierre N.
BIOINFORMATICS, 2008, 24 (02) : 209 - 217
[44] A Colored Petri Net-based modeling method for supply chain inventory management
Drakaki, Maria
Tzionas, Panagiotis
SIMULATION-TRANSACTIONS OF THE SOCIETY FOR MODELING AND SIMULATION INTERNATIONAL, 2022, 98 (03): : 257 - 271
[45] Design optimization of the Petri net-based production process supported by additive manufacturing technologies
Patalas-Maliszewska, Justyna
Wisniewski, Remigiusz
Topczak, Marcin
Wojnakowski, Marcin
BULLETIN OF THE POLISH ACADEMY OF SCIENCES-TECHNICAL SCIENCES, 2022, 70 (02)
[46] A Polynomial-Time Algorithm for Detecting Potentially Unbounded Places in a Petri Net-Based Concurrent System
Wojnakowski, Marcin
Wisniewski, Remigiusz
Poplawski, Mateusz
EURO-PAR 2023: PARALLEL PROCESSING WORKSHOPS, PT II, EURO-PAR 2023, 2024, 14352 : 277 - 283
[47] Petri Net-Based R&D Process Modeling and Optimization for Composite Materials
Hu, Xiaomei
Zhao, Lei
Li, Wenlong
JOURNAL OF APPLIED MATHEMATICS, 2013,
[48] Petri Net-based workflow management systems for in-process control in a plastic processing plant
Fung, RYK
Au, AYM
Ip, AWH
JOURNAL OF MATERIALS PROCESSING TECHNOLOGY, 2003, 139 (1-3) : 302 - 309
[49] Process knowledge verification method based on Petri net
Wang Daliang
Zhang De-zheng
Gao Li-xin
Liu Jian-ming
Zhang Huan-sheng
FIRST INTERNATIONAL WORKSHOP ON KNOWLEDGE DISCOVERY AND DATA MINING, PROCEEDINGS, 2007, : 173 - +
[50] An aspect-oriented approach to resource composition in Petri net-based software architectural models
Kim, Tae-Hyung
Chang, Carl K.
30TH ANNUAL INTERNATIONAL COMPUTER SOFTWARE AND APPLICATIONS CONFERENCE, VOL 1, REGULAR PAPERS/PANELS, PROCEEDINGS, 2006, : 87 - +

← 1 2 3 4 5 →