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…