Conflict Reduction of Acyclic Flow Event Structures

被引:0
作者
Miyamoto, Toshiyuki [1 ]
Izawa, Marika [2 ]
机构
[1] Osaka Inst Technol, Fac Informat Sci andTechnol, Hirakata 5730916, Japan
[2] Osaka Univ, Grad Sch Engn, Suita 5650871, Japan
关键词
key flow event structures; reduction of conflict relation; semantic conflict; local configuration; PETRI NETS; MODELS;
D O I
10.1587/transfun.2022MAP0002
中图分类号
TP3 [计算技术、计算机技术];
学科分类号
0812 ;
摘要
Event structures are a well-known modeling formalism for concurrent systems with causality and conflict relations. The flow event structure (FES) is a variant of event structures, which is a generalization of the prime event structure. In an FES, two events may be in conflict even though they are not syntactically in conflict; this is called a semantic conflict. The existence of semantic conflict in an FES motivates reducing conflict relations (i.e., conflict reduction) to obtain a simpler structure. In this paper, we study conflict reduction in acyclic FESs. A necessary and sufficient condition for conflict reduction is given; algorithms to compute semantic conflict, local configurations, and conflict reduction are proposed. A great time reduction was observed in computational experiments when comparing the proposed with the naive method.
引用
收藏
页码:707 / 714
页数:8
相关论文
共 50 条
[31]   Operational Representation of Dependencies in Context-Dependent Event Structures [J].
Pinna, G. Michele .
COORDINATION MODELS AND LANGUAGES, COORDINATION 2020, 2020, 12134 :320-338
[32]   Event Circuit Structures for Deadlock Avoidance in Flexible Manufacturing Systems [J].
Fan, Xing ;
Hu, Hesuan ;
Yang, Benyuan ;
Liu, Yuming ;
He, Gaoyun .
IEEE TRANSACTIONS ON AUTOMATION SCIENCE AND ENGINEERING, 2023, 20 (01) :597-610
[33]   Prime Miner - Process Discovery using Prime Event Structures [J].
Bergenthum, Robin .
2019 INTERNATIONAL CONFERENCE ON PROCESS MINING (ICPM 2019), 2019, :41-48
[34]   Spatial mobility of the inhabitants of the countries of NATO's eastern flank in the event of a military conflict [J].
Borowska-Stefanska, Marta ;
Goniewicz, Krzysztof ;
Grama, Vasile ;
Hornak, Marcel ;
Masierek, Edyta ;
Morar, Cezar ;
Penzes, Janos ;
Rochovska, Alena ;
Turobos, Filip ;
Wisniewski, Szymon .
MORAVIAN GEOGRAPHICAL REPORTS, 2024, 32 (01) :51-65
[35]   DAGSENS: Directed Acyclic Graph Based Direct and Adjoint Transient Sensitivity Analysis for Event-Driven Objective Functions [J].
Aadithya, Karthik V. ;
Keiter, Eric ;
Mei, Ting .
2017 IEEE/ACM INTERNATIONAL CONFERENCE ON COMPUTER-AIDED DESIGN (ICCAD), 2017, :155-162
[36]   Topographic forcing of flow partition and flow structures at river bifurcations [J].
Miori, Stefano ;
Hardy, Richard J. ;
Lane, S. N. .
EARTH SURFACE PROCESSES AND LANDFORMS, 2012, 37 (06) :666-679
[37]   Reduction of variability in a smart shop floor using discrete event simulation [J].
Bussacarini, Maria Vitoria Pallone ;
Sagawa, Juliana Keiko ;
Longo, Francesco ;
Padovano, Antonio .
INTERNATIONAL JOURNAL OF ADVANCED MANUFACTURING TECHNOLOGY, 2023, 128 (3-4) :1829-1844
[38]   Event-Related Potentials with the Stroop colour-word task: Timing of semantic conflict [J].
Zurron, Montserrat ;
Pouso, Maria ;
Lindin, Monica ;
Galdo, Santiago ;
Diaz, Fernando .
INTERNATIONAL JOURNAL OF PSYCHOPHYSIOLOGY, 2009, 72 (03) :246-252
[39]   Concurrent semantics for fusions: Weak prime domains and connected event structures [J].
Baldan, Paolo ;
Corradini, Andrea ;
Gadducci, Fabio .
INFORMATION AND COMPUTATION, 2021, 281
[40]   Behavioral Comparison of Process Models Based on Canonically Reduced Event Structures [J].
Armas-Cervantes, Abel ;
Baldan, Paolo ;
Dumas, Marlon ;
Garcia-Banuelos, Luciano .
BUSINESS PROCESS MANAGEMENT, BPM 2014, 2014, 8659 :267-282