Operational Representation of Dependencies in Context-Dependent Event Structures

G. Michele Pinna
First
2020-01-01

Abstract

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.
2020
Inglese
Coordination Models and Languages. 22nd IFIP WG 6.1 International Conference, COORDINATION 2020, Held as Part of the 15th International Federated Conference on Distributed Computing Techniques, DisCoTec 2020, Valletta, Malta, June 15–19, 2020, Proceedings
978-3-030-50028-3
Springer
Simon Bliudze, Laura Bocchi
LECTURE NOTES IN COMPUTER SCIENCE
12134
320
338
19
2-s2.0-85087040461
https://link.springer.com/chapter/10.1007/978-3-030-50029-0_20
22nd IFIP WG 6.1 International Conference on Coordination Models and Languages, COORDINATION 2020
Contributo
Esperti anonimi
15 - 19 Giugno 2020
La Valletta, Malta
internazionale
scientifica
Petri Nets; Event Structures; Operational Semantics; Contextual Nets
no
4 Contributo in Atti di Convegno (Proceeding)::4.1 Contributo in Atti di convegno
Michele Pinna, G.
273
1
4.1 Contributo in Atti di convegno
reserved
info:eu-repo/semantics/conferencePaper
Files in This Item:
File Size Format  
00CoordPaperProofs.pdf

Solo gestori archivio

Type: versione pre-print
Size 349.6 kB
Format Adobe PDF
& nbsp; View / Open   Request a copy
349.6 kB Adobe PDF & nbsp; View / Open   Request a copy

Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.

Questionnaire and social

Share on:
Impostazioni cookie