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 条
[21]   A NEW OPERATIONAL REPRESENTATION OF DEPENDENCIES IN EVENT STRUCTURES [J].
Pinna, G. Michele .
LOGICAL METHODS IN COMPUTER SCIENCE, 2021, 17 (04)
[22]   A Reversible Perspective on Petri Nets and Event Structures [J].
Melgratti, Hernan ;
Mezzina, Claudio Antares ;
Pinna, G. Michele .
ACM TRANSACTIONS ON COMPUTATIONAL LOGIC, 2024, 25 (04)
[23]   Event Structures for the Reversible Early Internal π-Calculus [J].
Graversen, Eva ;
Phillips, Iain ;
Yoshida, Nobuko .
REVERSIBLE COMPUTATION (RC 2020), 2020, 12227 :71-90
[24]   Conflict Reduction of Acyclic Flow Event Structures [J].
Miyamoto, Toshiyuki ;
Izawa, Marika .
IEICE TRANSACTIONS ON FUNDAMENTALS OF ELECTRONICS COMMUNICATIONS AND COMPUTER SCIENCES, 2023, E106A (05) :707-714
[25]   Event structures for the reversible early internal π-calculus [J].
Graversen, Eva ;
Phillips, Iain ;
Yoshida, Nobuko .
JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING, 2022, 124
[26]   Transition systems from event structures revisited [J].
Majster-Cederbaum, M ;
Roggenbach, M .
INFORMATION PROCESSING LETTERS, 1998, 67 (03) :119-124
[27]   Configuration- and Residual-Based Transition Systems for Event Structures with Asymmetric Conflict [J].
Best, Eike ;
Gribovskaya, Nataliya ;
Virbitskaite, Irina .
SOFSEM 2017: THEORY AND PRACTICE OF COMPUTER SCIENCE, 2017, 10139 :132-146
[28]   Process Mining Reloaded: Event Structures as a Unified Representation of Process Models and Event Logs [J].
Dumas, Marlon ;
Garcia-Banuelos, Luciano .
APPLICATION AND THEORY OF PETRI NETS AND CONCURRENCY, 2015, 9115 :33-48
[29]   A counterexample to Thiagarajan's conjecture on regular event structures [J].
Chalopin, Jeremie ;
Chepoi, Victor .
JOURNAL OF COMPUTER AND SYSTEM SCIENCES, 2020, 113 :76-100
[30]   Reduction of event structures under history preserving bisimulation [J].
Armas-Cervantes, Abel ;
Baldan, Paolo ;
Garcia-Banuelos, Luciano .
JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING, 2016, 85 (06) :1110-1130