Reversing place transition nets

MaRDI QIDQ5129948zbMATH OpenFDO

Authors Hernan Melgratti, Claudio Antares Mezzina, Irek Ulidowski

Publication date 3 November 2020

Full work available at URL https://arxiv.org/abs/1910.04266, https://lmcs.episciences.org/6843

zbMATH Keywords

causally-consistent reversibilityPetri nets

Mathematics Subject Classification ID

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

Recommendations

• Reversing transitions in bounded Petri nets
• Reversing Steps in Petri Nets
• Investigating reversibility of steps in Petri nets
• Reversing Unbounded Petri Nets
• Reversible computation vs. reversibility in Petri nets

Cites work

• A calculus for local reversibility
• A compositional semantics for the reversible -calculus
• A formal approach to undo operations in programming languages
• A parametric framework for reversible \(\pi\)-calculi
• A Reversible Process Calculus and the Modelling of the ERK Signalling Pathway
• An axiomatic approach to reversible computation
• Cauder: a causal-consistent reversible debugger for Erlang
• Causal-consistent reversibility
• Causal-consistent rollback in a tuple-based language
• Checkpoint/rollback vs causally-consistent reversibility
• CONCUR 2004 - Concurrency Theory
• CONCUR 2005 – Concurrency Theory
• Controlling Reversibility in Higher-Order Pi
• Controlling Reversibility in Reversing Petri Nets with Application to Wireless Communications
• Event structure semantics of (controlled) reversible CCS
• scientific article; zbMATH DE number 3582425 (Why is no real title available?)
• Petri nets, event structures and domains. I
• Reverse code generation for parallel discrete event simulation
• Reversibility and asymmetric conflict in event structures
• Reversibility and models for concurrency
• Reversibility in the higher-order \(\pi\)-calculus
• Reversible computation in Petri nets
• Reversible computation vs. reversibility in Petri nets
• Reversible Imperative Parallel Programs and Debugging
• Reversing algebraic process calculi
• Reversing place transition nets
• Reversing steps in membrane systems computations
• Rigid families for CCS and the -calculus
• Synthesis of quantum circuits vs. synthesis of classical reversible circuits
• The unfolding of general Petri nets
• Towards a formal account for software transactional memory

Cited in

(22)

• A Petri net view of covalent bonds
• Formal translation from reversing Petri nets to coloured Petri nets
• Modelling of DNA mismatch repair with a reversible process calculus
• Controlled reversibility in communicating reaction systems
• An axiomatic approach to reversible computation
• A collective interpretation semantics for reversing Petri nets
• A new operational representation of dependencies in event structures
• Reversing place transition nets
• Towards a Truly Concurrent Semantics for Reversible CCS
• Forward-reverse observational equivalences in CCSK
• Reversing Steps in Petri Nets
• Towards a taxonomy for reversible computation approaches
• Token multiplicity in reversing Petri nets under the individual token interpretation
• An axiomatic theory for reversible computation
• Relating reversible Petri nets and reversible event structures, categorically
• Causal reversibility implies time reversibility
• A reversible perspective on Petri nets and event structures
• Model checking reversible systems: forwardly
• Tallulah, a tool to support the axiomatic approach to causal-consistent reversibility
• Relating reversible Petri nets and reversible event structures, categorically
• A truly concurrent semantics for reversible CCS
• On reversibility in Petri nets

Describes a project that uses

Uses Software

• CauDEr

This page was built for publication: Reversing place transition nets

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