A new operational representation of dependencies in Event Structures

by   G. Michele Pinna, et al.

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. Event structures are related to Petri nets. The aim of this paper is to propose what can be the appropriate kind of Petri net corresponding to Context-Dependent Event structures, giving an operational flavour to the dependencies represented in a Context/Dependent Event structure. Dependencies are often operationally represented, in Petri nets, by tokens produced by activities and consumed by others. Here we shift the perspective using contextual arcs to characterize what has happened so far and in this way to describe the dependencies among the various activities.


page 1

page 2

page 3

page 4


Representing Dependencies in Event Structures

Event structures where the causality may explicitly change during a comp...

Event Structures for Petri nets with Persistence

Event structures are a widely accepted model of concurrency. In a semina...

Reversible Causal Nets and Reversible Event Structures

One of the well-known results in concurrency theory concerns the relatio...

Event structure semantics for multiparty sessions

We propose an interpretation of multiparty sessions as "flow event struc...

1-Safe Petri nets and special cube complexes: equivalence and applications

Nielsen, Plotkin, and Winskel (1981) proved that every 1-safe Petri net ...

Event Correlation and Forecasting over Multivariate Streaming Sensor Data

Event management in sensor networks is a multidisciplinary field involvi...

On Thin Air Reads: Towards an Event Structures Model of Relaxed Memory

This is the first paper to propose a pure event structures model of rela...