Pages that link to "Item:Q3186587"
From MaRDI portal
The following pages link to Reversible Computation vs. Reversibility in Petri Nets (Q3186587):
Displayed 7 items.
- Formal translation from reversing Petri nets to coloured Petri nets (Q2097427) (← links)
- An axiomatic approach to reversible computation (Q2200840) (← links)
- Reversible computation in nets with bonds (Q2667186) (← links)
- Towards Bridging Time and Causal Reversibility (Q5041271) (← links)
- (Q5129948) (← links)
- Controlling Reversibility in Reversing Petri Nets with Application to Wireless Communications (Q5237227) (← links)
- Towards a taxonomy for reversible computation approaches (Q6148104) (← links)