Reversible computation in Petri nets
From MaRDI portal
Recommendations
Cited in
(25)- Reversible computation in nets with bonds
- Applying reversibility theory for the performance evaluation of reversible computations
- scientific article; zbMATH DE number 4128407 (Why is no real title available?)
- Towards a taxonomy for reversible computation approaches
- revTPL: The Reversible Temporal Process Language
- Reversibility and asymmetric conflict in event structures
- Reversing steps in membrane systems computations
- On the Reversibility of Live Equal-Conflict Petri Nets
- Modelling of DNA mismatch repair with a reversible process calculus
- scientific article; zbMATH DE number 7559463 (Why is no real title available?)
- scientific article; zbMATH DE number 7269252 (Why is no real title available?)
- Reversibility and asymmetric conflict in event structures
- Reversible computation vs. reversibility in Petri nets
- Reversing transitions in bounded Petri nets
- Investigating reversibility of steps in Petri nets
- Encoding reversing Petri nets in answer set programming
- Acyclic and cyclic reversing computations in Petri nets
- Formal translation from reversing Petri nets to coloured Petri nets
- scientific article; zbMATH DE number 7559489 (Why is no real title available?)
- Controlling Reversibility in Reversing Petri Nets with Application to Wireless Communications
- A reversible perspective on Petri nets and event structures
- A collective interpretation semantics for reversing Petri nets
- Reversibility and Predictions
- Token multiplicity in reversing Petri nets under the individual token interpretation
- Operational semantics of reversibility in process algebra
This page was built for publication: Reversible computation in Petri nets
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1796369)
