Controlling Reversibility in Reversing Petri Nets with Application to Wireless Communications
From MaRDI portal
Publication:5237227
DOI10.1007/978-3-030-21500-2_15OpenAlexW2948006995MaRDI QIDQ5237227
Kyriaki Psara, Anna Philippou, Harun Šiljak
Publication date: 17 October 2019
Published in: Reversible Computation (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/1905.11958
Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10) Quantum computation (81P68)
Related Items (5)
Reversible computation in nets with bonds ⋮ A collective interpretation semantics for reversing Petri nets ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Formal translation from reversing Petri nets to coloured Petri nets
Cites Work
- Reversibility in the higher-order \(\pi\)-calculus
- Reversible computation in Petri nets
- Formal translation from reversing Petri nets to coloured Petri nets
- Controlling Reversibility in Higher-Order Pi
- On the Statistical Thermodynamics of Reversible Communicating Processes
- Reversible Computation vs. Reversibility in Petri Nets
- Concurrency and Reversibility
- A Reversible Process Calculus and the Modelling of the ERK Signalling Pathway
- Controlled Reversibility and Compensations
- Coloured Petri Nets
- CONCUR 2004 - Concurrency Theory
- Concurrent Flexible Reversibility
- CONCUR 2005 – Concurrency Theory
- Foundations of Software Science and Computation Structures
This page was built for publication: Controlling Reversibility in Reversing Petri Nets with Application to Wireless Communications
