Pages that link to "Item:Q264201"
From MaRDI portal
The following pages link to Existence of home states in Petri nets is decidable (Q264201):
Displaying 4 items.
- Structural liveness of Petri nets is \textsc{ExpSpace}-hard and decidable (Q2317836) (← links)
- Deciding Structural Liveness of Petri Nets (Q2971127) (← links)
- Reversible Computation vs. Reversibility in Petri Nets (Q3186587) (← links)
- Structural Liveness of Immediate Observation Petri Nets (Q6044494) (← links)
