A reversible perspective on Petri nets and event structures
From MaRDI portal
Publication:6636620
DOI10.1145/3686154MaRDI QIDQ6636620FDOQ6636620
G. Michele Pinna, Hernan Melgratti, Claudio Antares Mezzina
Publication date: 12 November 2024
Published in: ACM Transactions on Computational Logic (Search for Journal in Brave)
Cites Work
- Petri nets, event structures and domains. I
- Title not available (Why is that?)
- A Reversible Process Calculus and the Modelling of the ERK Signalling Pathway
- Concurrent Flexible Reversibility
- CONCUR 2005 – Concurrency Theory
- Configuration structures, event structures and Petri nets
- Domain and event structure semantics for Petri nets with read and inhibitor arcs
- Reversible occurrence nets and causal reversible prime event structures
- Contextual nets
- Mathematical Foundations of Computer Science 2004
- Reversibility and asymmetric conflict in event structures
- Reversible computation in Petri nets
- Towards a formal account for software transactional memory
- How Much Is Worth to Remember? A Taxonomy Based on Petri Nets Unfoldings
- Flow Unfolding of Multi-clock Nets
- Title not available (Why is that?)
- Causal-consistent replay debugging for message passing programs
- An axiomatic theory for reversible computation
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)
