The following pages link to (Q3939247):
Displayed 5 items.
- Completeness results for conflict-free vector replacement systems (Q1113674) (← links)
- Problems concerning fairness and temporal logic for conflict-free Petri nets (Q1121023) (← links)
- The decidability of persistence for vector addition systems (Q1144929) (← links)
- The complexity of problems involving structurally bounded and conservative Petri nets (Q1183417) (← links)
- Normal and sinkless Petri nets (Q1208921) (← links)