A collective interpretation semantics for reversing Petri nets
From MaRDI portal
Publication:2672648
DOI10.1016/j.tcs.2022.05.016OpenAlexW4281395835MaRDI QIDQ2672648
Publication date: 13 June 2022
Published in: Theoretical Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.tcs.2022.05.016
local reversibilitysodium-potassium pumpcollective token interpretationcontrolling reversibilityreversing Petri nets
Related Items (2)
Uses Software
Cites Work
- Unnamed Item
- Reversibility in the higher-order \(\pi\)-calculus
- Reversibility and asymmetric conflict in event structures
- A note on transition systems
- BioMaxP: a formal approach for cellular ion pumps
- Reversible computation in Petri nets
- BioAmbients: an abstraction for biological compartments
- Encoding reversing Petri nets in answer set programming
- An axiomatic approach to reversible computation
- Bio-PEPA: A framework for the modelling and analysis of biological systems
- Reversing algebraic process calculi
- Reversible computation in nets with bonds
- Modelling of Bonding with Processes and Events
- Controlling Reversibility in Higher-Order Pi
- On the Statistical Thermodynamics of Reversible Communicating Processes
- A Calculus for Local Reversibility
- A Reversible Process Calculus and the Modelling of the ERK Signalling Pathway
- Controlled Reversibility and Compensations
- Rule-Based Modelling of Cellular Signalling
- Controlling Reversibility in Reversing Petri Nets with Application to Wireless Communications
- CONCUR 2004 - Concurrency Theory
- Membrane Computing
- Concurrent Flexible Reversibility
- Computational Methods in Systems Biology
- CONCUR 2005 – Concurrency Theory
- CONCUR 2005 – Concurrency Theory
This page was built for publication: A collective interpretation semantics for reversing Petri nets
