Pages that link to "Item:Q2667186"
From MaRDI portal
The following pages link to Reversible computation in nets with bonds (Q2667186):
Displaying 10 items.
- Reversible computation in term rewriting (Q1683707) (← links)
- Reversible computation in Petri nets (Q1796369) (← links)
- A Petri net view of covalent bonds (Q2077408) (← links)
- Lifted structural invariant analysis of Petri net product lines (Q2096429) (← links)
- Formal translation from reversing Petri nets to coloured Petri nets (Q2097427) (← links)
- A collective interpretation semantics for reversing Petri nets (Q2672648) (← links)
- Reversible Computation vs. Reversibility in Petri Nets (Q3186587) (← links)
- Reversing Transitions in Bounded Petri Nets (Q4637903) (← links)
- Relating reversible Petri nets and reversible event structures, categorically (Q6535471) (← links)
- Model checking reversible systems: forwardly (Q6637601) (← links)