research
∙
02/27/2023
Relating Reversible Petri Nets and Reversible Event Structures, categorically
Petri nets, where causal dependencies are modelled via inhibitor arcs, c...
share
research
∙
11/30/2020
A new operational representation of dependencies in Event Structures
The execution of an event in a complex and distributed system where the ...
research
∙
10/24/2019
Reversible Causal Nets and Reversible Event Structures
One of the well-known results in concurrency theory concerns the relatio...
research
∙
10/06/2019
Representing Dependencies in Event Structures
Event structures where the causality may explicitly change during a comp...
research
∙
10/05/2018