Pages that link to "Item:Q3186587"
From MaRDI portal
The following pages link to Reversible Computation vs. Reversibility in Petri Nets (Q3186587):
Displaying 10 items.
- Reversible computation in Petri nets (Q1796369) (← links)
- Encoding reversing Petri nets in answer set programming (Q2039911) (← links)
- 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)
- General reversibility (Q2866345) (← links)
- Reversing Transitions in Bounded Petri Nets (Q4637903) (← links)
- Towards Bridging Time and Causal Reversibility (Q5041271) (← links)
- (Q5129948) (← links)
- Controlling Reversibility in Reversing Petri Nets with Application to Wireless Communications (Q5237227) (← links)