Pages that link to "Item:Q1796369"
From MaRDI portal
The following pages link to Reversible computation in Petri nets (Q1796369):
Displaying 21 items.
- Reversibility and asymmetric conflict in event structures (Q890616) (← links)
- Reversing steps in membrane systems computations (Q1749172) (← links)
- Encoding reversing Petri nets in answer set programming (Q2039911) (← links)
- Formal translation from reversing Petri nets to coloured Petri nets (Q2097427) (← links)
- Modelling of DNA mismatch repair with a reversible process calculus (Q2148904) (← links)
- Reversible computation in nets with bonds (Q2667186) (← links)
- A collective interpretation semantics for reversing Petri nets (Q2672648) (← links)
- On the Reversibility of Live Equal-Conflict Petri Nets (Q2941153) (← links)
- Reversible Computation vs. Reversibility in Petri Nets (Q3186587) (← links)
- (Q4207591) (← links)
- Reversing Transitions in Bounded Petri Nets (Q4637903) (← links)
- Investigating Reversibility of Steps in Petri Nets (Q5025059) (← links)
- (Q5089270) (← links)
- (Q5089300) (← links)
- (Q5129948) (← links)
- Reversibility and Predictions (Q5162608) (← links)
- Controlling Reversibility in Reversing Petri Nets with Application to Wireless Communications (Q5237227) (← links)
- Operational Semantics of Reversibility in Process Algebra (Q5262973) (← links)
- Acyclic and Cyclic Reversing Computations in Petri Nets (Q5862345) (← links)
- revTPL: The Reversible Temporal Process Language (Q6151560) (← links)
- A reversible perspective on Petri nets and event structures (Q6636620) (← links)