Pages that link to "Item:Q1146002"
From MaRDI portal
The following pages link to Vector addition systems and regular languages (Q1146002):
Displaying 9 items.
- On the enlargement of the class of regular languages by the shuffle closure (Q760799) (← links)
- Some complexity bounds for problems concerning finite and 2-dimensional vector addition systems with states (Q1096388) (← links)
- Completeness results for conflict-free vector replacement systems (Q1113674) (← links)
- Problems concerning fairness and temporal logic for conflict-free Petri nets (Q1121023) (← links)
- Petri nets and regular languages (Q1158763) (← links)
- A unified approach for deciding the existence of certain petri net paths (Q1184737) (← links)
- Fine covers of a VAS language (Q1186433) (← links)
- The context-freeness of the languages associated with vector addition systems is decidable (Q1193880) (← links)
- Normal and sinkless Petri nets (Q1208921) (← links)
