Simultaneity in Event Structures

被引:0
作者
Pinna, G. Michele [1 ]
Saba, Andrea [1 ]
机构
[1] Univ Cagliari, Dipartimento Matemat & Informat, I-09124 Cagliari, Italy
来源
THEORY AND APPLICATIONS OF MODELS OF COMPUTATION, PROCEEDINGS | 2010年 / 6108卷
关键词
PETRI NETS; STRUCTURE SEMANTICS; CONCURRENCY;
D O I
暂无
中图分类号
TP301 [理论、方法];
学科分类号
081202 ;
摘要
Various brand of event structures, prime, bundle, flow, asymmetric, inhibitor just to mention some, have been proposed to face the various kinds of causality and conflict arising in computation. The notion of simultaneity, i.e., the faithful representation that certain events have to occur together, is usually left out from the models for concurrent computations, with some notably exceptions like Pratt's Chu spaces or Bruni&Montanari's Zero-Safe nets. In this paper we propose a notion of event, structures with simultaneity to take into account the simultaneity and we relate the introduced notion with the prime event structures and domains.
引用
收藏
页码:385 / 396
页数:12
相关论文
共 50 条
[31]   A distributed operational view of Reversible Prime Event Structures [J].
Melgratti, Hernan ;
Mezzina, Claudio Antares ;
Pinna, G. Michele .
2021 36TH ANNUAL ACM/IEEE SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE (LICS), 2021,
[32]   Grounding Thin-Air Reads with Event Structures [J].
Chakraborty, Soham ;
Vafeiadis, Viktor .
PROCEEDINGS OF THE ACM ON PROGRAMMING LANGUAGES-PACMPL, 2019, 3 (POPL)
[33]   Operational Representation of Dependencies in Context-Dependent Event Structures [J].
Pinna, G. Michele .
COORDINATION MODELS AND LANGUAGES, COORDINATION 2020, 2020, 12134 :320-338
[34]   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
[35]   Prime Miner - Process Discovery using Prime Event Structures [J].
Bergenthum, Robin .
2019 INTERNATIONAL CONFERENCE ON PROCESS MINING (ICPM 2019), 2019, :41-48
[36]   Concurrent semantics for fusions: Weak prime domains and connected event structures [J].
Baldan, Paolo ;
Corradini, Andrea ;
Gadducci, Fabio .
INFORMATION AND COMPUTATION, 2021, 281
[37]   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
[38]   DeBanda and its multiples: places, spaces, simultaneity and concurrency [J].
Lignelli, Cesar ;
Mayer, Guilherme .
URDIMENTO-REVISTA DE ESTUDOS EM ARTES CENICAS, 2021, 3 (42)
[39]   Well-behaved flow event structures for parallel composition and action refinement [J].
van Glabbeek, R ;
Goltz, U .
THEORETICAL COMPUTER SCIENCE, 2004, 311 (1-3) :463-478
[40]   Rule-based and object-based event structures for membrane systems [J].
Agrigoroaiei, Oana ;
Ciobanu, Gabriel .
JOURNAL OF LOGIC AND ALGEBRAIC PROGRAMMING, 2010, 79 (06) :295-303