Pages that link to "Item:Q2667186"
From MaRDI portal
The following pages link to Reversible computation in nets with bonds (Q2667186):
Displaying 4 items.
- 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)
