Pages that link to "Item:Q5712334"
From MaRDI portal
The following pages link to Applications and Theory of Petri Nets 2004 (Q5712334):
Displaying 5 items.
- Model checking Petri nets with names using data-centric dynamic systems (Q315291) (← links)
- Decidability and complexity of Petri nets with unordered data (Q554219) (← links)
- Recursive Petri nets (Q2464034) (← links)
- Hornets: Nets within Nets Combined with Net Algebra (Q3636848) (← links)
- Complexity Results for Elementary Hornets (Q5300870) (← links)
