2 papers
cs.LO2025
Relating Reversible Petri Nets and Reversible Event Structures, categorically
Hernán Melgratti, Claudio Antares Mezzina, G. Michele Pinna
Causal nets (CNs) are Petri nets where causal dependencies are modelled via inhibitor arcs. They play the role of occurrence nets when representing the behaviour of a concurrent an…
cs.LO2024
A Truly Concurrent Semantics for Reversible CCS
Hernán Melgratti, Claudio Antares Mezzina, G. Michele Pinna
Reversible CCS (RCCS) is a well-established, formal model for reversible communicating systems, which has been built on top of the classical Calculus of Communicating Systems (CCS)…