Reversible occurrence nets and causal reversible prime event structures

DOI10.1007/978-3-030-52482-1_2OpenAlexW3040945577MaRDI QIDQ2039888

Irek Ulidowski, Claudio Antares Mezzina, Hernán Melgratti, Iain Phillips, G. Michele Pinna

Publication date: 5 July 2021

Full work available at URL: https://arxiv.org/abs/1910.10987

zbMATH Keywords

Petri netscausalityreversibilityevent structures

Mathematics Subject Classification ID

Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10) Quantum computation (81P68) Other nonclassical models of computation (68Q09)

Related Items (7)

Modelling of DNA mismatch repair with a reversible process calculus ⋮ Reversible computation in nets with bonds ⋮ Comparative Transition System Semantics for Cause-Respecting Reversible Prime Event Structures ⋮ Unnamed Item ⋮ Towards a Truly Concurrent Semantics for Reversible CCS ⋮ An axiomatic theory for reversible computation ⋮ Formal translation from reversing Petri nets to coloured Petri nets

This page was built for publication: Reversible occurrence nets and causal reversible prime event structures