Pages that link to "Item:Q4637903"
From MaRDI portal
The following pages link to Reversing Transitions in Bounded Petri Nets (Q4637903):
Displaying 11 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)
- Reversible computation in nets with bonds (Q2667186) (← links)
- General reversibility (Q2866345) (← links)
- On the Reversibility of Live Equal-Conflict Petri Nets (Q2941153) (← links)
- Reversible Computation vs. Reversibility in Petri Nets (Q3186587) (← links)
- Investigating Reversibility of Steps in Petri Nets (Q5025059) (← links)
- (Q5089300) (← links)
- On the reachability and reversibility problems in a class of Petri nets (Q5365722) (← links)
- Acyclic and Cyclic Reversing Computations in Petri Nets (Q5862345) (← links)