Pages that link to "Item:Q3636848"

The following pages link to Hornets: Nets within Nets Combined with Net Algebra (Q3636848):

Displaying 4 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)