Pages that link to "Item:Q1235983"
From MaRDI portal
The following pages link to Some decision problems related to the reachability problem for Petri nets (Q1235983):
Displaying 6 items.
- Verification of membrane systems with delays via Petri nets with delays (Q496035) (← links)
- Recursivite et cônes rationnels fermés par intersection (Q1133331) (← links)
- Decidable problems on the strong connectivity of Petri net reachability sets (Q1240066) (← links)
- A well-structured framework for analysing Petri net extensions (Q1763373) (← links)
- Three measures for synchronic dependence in Petri nets (Q1836303) (← links)
- (Q5009428) (← links)
