11 citations · 69 across the 24 of their papers we have counts for
Showing 2019Show all
2 papers · 1 filter
cs.LO2019
Reversible Causal Nets and Reversible Event Structures
Hernán Melgratti, Claudio Antares Mezzina, Iain Phillips +2
One of the well-known results in concurrency theory concerns the relationship between event structures and occurrence nets: an occurrence net can be associated with a prime event s…
cs.LO2019★ 8 cited
Reversing Place Transition Nets
Hernán Melgratti, Claudio Antares Mezzina, Irek Ulidowski
Petri nets are a well-known model of concurrency and provide an ideal setting for the study of fundamental aspects in concurrent systems. Despite their simplicity, they still lack…