Pages that link to "Item:Q3016216"
From MaRDI portal
The following pages link to ON YEN'S PATH LOGIC FOR PETRI NETS (Q3016216):
Displaying 8 items.
- Forward analysis and model checking for trace bounded WSTS (Q290914) (← links)
- On selective unboundedness of VASS (Q355513) (← links)
- A unified approach for deciding the existence of certain petri net paths (Q1184737) (← links)
- Deciding detectability for labeled Petri nets (Q1737932) (← links)
- Small vertex cover makes Petri net coverability and boundedness easier (Q1949744) (← links)
- Deciding Fast Termination for Probabilistic VASS with Nondeterminism (Q3297606) (← links)
- Unboundedness Problems for Languages of Vector Addition Systems. (Q5002804) (← links)
- Forward analysis for WSTS. III: Karp-Miller trees (Q5114831) (← links)