Pages that link to "Item:Q3395130"
From MaRDI portal
The following pages link to PATH DECOMPOSITION AND SEMILINEARITY OF PETRI NETS (Q3395130):
Displaying 7 items.
- Completeness results for single-path Petri nets (Q690244) (← links)
- On structural conditions for weak persistency and semilinearity of Petri nets (Q1186602) (← links)
- Factorisation of Petri net solvable transition systems (Q2280180) (← links)
- Union decomposition of Petri net (Q2726020) (← links)
- ON YEN'S PATH LOGIC FOR PETRI NETS (Q3016216) (← links)
- Petri Nets and Semilinear Sets (Extended Abstract) (Q3179388) (← links)
- (Q4223064) (← links)