Token multiplicity in reversing Petri nets under the individual token interpretation
From MaRDI portal
Publication:6190872
arXiv2209.02359MaRDI QIDQ6190872FDOQ6190872
Authors: Anna Philippou, Kyriaki Psara 
Publication date: 6 February 2024
Full work available at URL: https://arxiv.org/abs/2209.02359
Recommendations
Cites Work
- Petri nets with individual tokens
- Reversing algebraic process calculi
- Reversibility in the higher-order \(\pi\)-calculus
- A Reversible Process Calculus and the Modelling of the ERK Signalling Pathway
- CONCUR 2004 - Concurrency Theory
- CONCUR 2005 – Concurrency Theory
- Title not available (Why is that?)
- Reversible occurrence nets and causal reversible prime event structures
- Title not available (Why is that?)
- An axiomatic approach to reversible computation
- A note on transition systems
- CONCUR 2005 – Concurrency Theory
- Modelling of Bonding with Processes and Events
- Concurrency and reversibility
- Reversibility and asymmetric conflict in event structures
- Reversible computation in Petri nets
- Encoding reversing Petri nets in answer set programming
- Formal translation from reversing Petri nets to coloured Petri nets
- A collective interpretation semantics for reversing Petri nets
- Reversible computation in nets with bonds
- Title not available (Why is that?)
- Controlling Reversibility in Reversing Petri Nets with Application to Wireless Communications
- Reversing Unbounded Petri Nets
- Bonding calculus
This page was built for publication: Token multiplicity in reversing Petri nets under the individual token interpretation
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6190872)
