Operational Representation of Dependencies in Context-Dependent Event Structures

被引：1
作者：
Pinna, G. Michele [1 ]
机构：
[1] Univ Cagliari, Dipartimento Matemat & Informat, Cagliari, Italy
来源：
COORDINATION MODELS AND LANGUAGES, COORDINATION 2020 | 2020年 / 12134卷
关键词：
Petri nets; Event structures; Operational semantics; Contextual nets; PETRI NETS; SEMANTICS;
D O I：
10.1007/978-3-030-50029-0_20
中图分类号：
TP31 [计算机软件];
学科分类号：
081202 ; 0835 ;
摘要：
The execution of an event in a complex and distributed system where the dependencies vary during the evolution of the system can be represented in many ways, and one of them is to use Context-Dependent Event structures. Many kinds of event structures are related to various kind of Petri nets. The aim of this paper is to find the appropriate kind of Petri net that can be used to give an operational flavour to the dependencies represented in a Context/Dependent Event structure.
引用
收藏
页码：320 / 338
页数：19
相关论文
共 28 条
[1]   DYNAMIC CAUSALITY IN EVENT STRUCTURES [J].
Arbach, Youssef ;
Karcher, David S. ;
Peters, Kirstin ;
Nestmann, Uwe .
LOGICAL METHODS IN COMPUTER SCIENCE, 2018, 14 (01)
[2]   Domain and event structure semantics for Petri nets with read and inhibitor arcs [J].
Baldan, P ;
Busi, N ;
Corradini, A ;
Pinna, GM .
THEORETICAL COMPUTER SCIENCE, 2004, 323 (1-3) :129-189
[3]   Contextual Petri nets, asymmetric event structures, and processes [J].
Baldan, P ;
Corradini, A ;
Montanari, U .
INFORMATION AND COMPUTATION, 2001, 171 (01) :1-49
[4]   EVENT STRUCTURES FOR PETRI NETS WITH PERSISTENCE [J].
Baldan, Paolo ;
Bruni, Roberto ;
Corradini, Andrea ;
Gadducci, Fabio ;
Melgratti, Hernan ;
Montanari, Ugo .
LOGICAL METHODS IN COMPUTER SCIENCE, 2018, 14 (03)
[5]   Lending Petri nets [J].
Bartoletti, Massimo ;
Cimoli, Tiziana ;
Pinna, G. Michele .
SCIENCE OF COMPUTER PROGRAMMING, 2015, 112 :75-101
[6]  
BOUDOL G, 1990, LECT NOTES COMPUT SC, V469, P62
[7]  
Casu Giovanni, 2014, Application and Theory of Petri Nets and Concurrency. 35th International Conference, PETRI NETS 2014. Proceedings: LNCS 8489, P170, DOI 10.1007/978-3-319-07734-5_10
[8]   Merging Relations: A Way to Compact Petri Nets' Behaviors Uniformly [J].
Casu, Giovanni ;
Pinna, G. Michele .
LANGUAGE AND AUTOMATA THEORY AND APPLICATIONS (LATA 2017), 2017, 10168 :325-337
[9]  
Casu Giovanni, 2017, SAC 2017, P1326, DOI [10.1145/3019612.3019806, DOI 10.1145/3019612.3019806]
[10]   Petri Nets With Persistence [J].
Crazzolara, Federico ;
Winskel, Glynn .
ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2005, 121 :143-155
123