The following pages link to Nested Nets for Adaptive Systems (Q3618708):
Displayed 5 items.
- Boundedness of adaptive nets is decidable (Q1944126) (← links)
- Automatic construction of systems of distributed components from nested Petri nets models (Q2216722) (← links)
- Structural Place Invariants for Analyzing the Behavioral Properties of Nested Petri Nets (Q2822661) (← links)
- Hornets: Nets within Nets Combined with Net Algebra (Q3636848) (← links)
- Nested Petri Nets for Adaptive Process Modeling (Q5452192) (← links)