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 条
[41]   Diagnosing behavioral differences between business process models: An approach based on event structures [J].
Armas-Cervantes, Abel ;
Baldan, Paolo ;
Dumas, Marlon ;
Garcia-Banuelos, Luciano .
INFORMATION SYSTEMS, 2016, 56 :304-325
[42]   Schedulers and finishers: On generating and filtering the behaviours of an event structure [J].
Mclver, Annabelle ;
Rabehaja, Tahiry ;
Struth, Georg .
THEORETICAL COMPUTER SCIENCE, 2018, 744 :97-112
[43]   Discovering Structural Errors From Business Process Event Logs [J].
Song, Wei ;
Chang, Zhen ;
Jacobsen, Hans-Arno ;
Zhang, Pengcheng .
IEEE TRANSACTIONS ON KNOWLEDGE AND DATA ENGINEERING, 2022, 34 (11) :5293-5306
[44]   Discovering discrete event processes through event clustering [J].
Garcia-Uribe, Cristian ;
Lopez-Mellado, Ernesto .
INFORMATION SCIENCES, 2025, 718
[45]   Confusion diagnosis and avoidance of discrete event systems using supervisory control [J].
Chen, Xiaoliang ;
Li, Zhiwu ;
Wu, Naiqi ;
Al-Ahmari, Abdulrahman ;
El-Tamimi, Abdulaziz Mohammed ;
Nasr, Emad Abouel .
IEEJ TRANSACTIONS ON ELECTRICAL AND ELECTRONIC ENGINEERING, 2016, 11 (01) :49-62
[46]   Confusion avoidance for discrete event systems by P/E constraints and supervisory control [J].
Chen, Xiaoliang ;
Li, Zhiwu ;
Wu, Naiqi ;
Al-Ahmari, Abdulrahman M. ;
El-Tamimi, Abdulaziz Mohammed ;
Nasr, Emad S. Abouel .
IMA JOURNAL OF MATHEMATICAL CONTROL AND INFORMATION, 2016, 33 (02) :309-332
[47]   Event Identifier Logic [J].
Phillips, Iain ;
Ulidowski, Irek .
MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE, 2014, 24 (02)
[48]   Input Event Modeling for Discrete-Event Controllers: A Petri Net Approach [J].
Gomes, Luis ;
Campos-Rebelo, Rogerio ;
Costa, Aniko ;
Barros, Joao-Paulo .
CONTROLO 2022, 2022, 930 :498-508
[49]   Event-Based Modeling of Input Signal Behaviors for Discrete-Event Controllers [J].
Gomes, Luis ;
Natario, Diogo ;
Costa, Aniko ;
Barros, Joao-Paulo ;
Campos-Rebelo, Rogerio .
APPLIED SCIENCES-BASEL, 2024, 14 (12)
[50]   Condition/Event Net Synthesis for Discrete Event Control Using Partial Language Specifications [J].
Hashizume, Satoru ;
Hashizume, Susumu ;
Yajima, Tomoyuki ;
Onogi, Katsuaki .
2013 PROCEEDINGS OF SICE ANNUAL CONFERENCE (SICE), 2013, :587-594