Pages that link to "Item:Q5712334"
From MaRDI portal
The following pages link to Applications and Theory of Petri Nets 2004 (Q5712334):
Displaying 8 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)
- Comparing concepts of object Petri net formalisms (Q2775862) (← links)
- Hornets: Nets within Nets Combined with Net Algebra (Q3636848) (← links)
- Petri Nets as Token Objects (Q5055702) (← links)
- Complexity Results for Elementary Hornets (Q5300870) (← links)
- Analysing adaption processes of Hornets (Q6550564) (← links)