Pages that link to "Item:Q3646251"
From MaRDI portal
The following pages link to On Yen’s Path Logic for Petri Nets (Q3646251):
Displayed 6 items.
- On selective unboundedness of VASS (Q355513) (← links)
- Small vertex cover makes Petri net coverability and boundedness easier (Q1949744) (← links)
- Detectability of labeled weighted automata over monoids (Q2081085) (← links)
- On detectability of labeled Petri nets and finite automata (Q2197590) (← links)
- Strategic reasoning with a bounded number of resources: the quest for tractability (Q2238736) (← links)
- Energy Games in Multiweighted Automata (Q3105747) (← links)