Pages that link to "Item:Q3636848"
From MaRDI portal
The following pages link to Hornets: Nets within Nets Combined with Net Algebra (Q3636848):
Displayed 5 items.
- Boundedness of adaptive nets is decidable (Q1944126) (← links)
- Formal specification and verification of decentralized self-adaptive systems using symmetric nets (Q2063102) (← links)
- Complexity Results for Elementary Hornets (Q5300870) (← links)
- Modular rewritable Petri nets: an efficient model for dynamic distributed systems (Q6120343) (← links)
- Canonization of reconfigurable PT nets in \texttt{Maude} (Q6173110) (← links)