A reversible perspective on Petri nets and event structures

DOI10.1145/3686154MaRDI QIDQ6636620zbMATH OpenFDO

Authors Hernan Melgratti, Claudio Antares Mezzina, G. Michele Pinna

Publication date 12 November 2024

Published in ACM Transactions on Computational Logic (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1145/3686154

zbMATH Keywords

reversibilityPetri netsevent structures

Mathematics Subject Classification ID

Logic in computer science (03B70) Computer science (68-XX)

Cites work

• scientific article; zbMATH DE number 4018370 (Why is no real title available?)
• scientific article; zbMATH DE number 7269252 (Why is no real title available?)
• A Reversible Process Calculus and the Modelling of the ERK Signalling Pathway
• An axiomatic theory for reversible computation
• CONCUR 2005 – Concurrency Theory
• Causal-consistent replay debugging for message passing programs
• Concurrent flexible reversibility
• Configuration structures, event structures and Petri nets
• Contextual nets
• Domain and event structure semantics for Petri nets with read and inhibitor arcs
• Flow unfolding of multi-clock nets
• How Much Is Worth to Remember? A Taxonomy Based on Petri Nets Unfoldings
• Mathematical Foundations of Computer Science 2004
• Petri nets, event structures and domains. I
• Reversibility and asymmetric conflict in event structures
• Reversible computation in Petri nets
• Reversible occurrence nets and causal reversible prime event structures
• Towards a formal account for software transactional memory

Cited in

(2)

• A truly concurrent semantics for reversible CCS
• Relating reversible Petri nets and reversible event structures, categorically

This page was built for publication: A reversible perspective on Petri nets and event structures

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6636620)