Pages that link to "Item:Q5713506"

The following pages link to Applications and Theory of Petri Nets 2005 (Q5713506):

Displaying 8 items.

• Formal specification and verification of decentralized self-adaptive systems using symmetric nets (Q2063102) (← links)
• Structural Place Invariants for Analyzing the Behavioral Properties of Nested Petri Nets (Q2822661) (← links)
• Towards Algebraic High-Level Systems as Weak Adhesive HLR Categories (Q2864378) (← links)
• Transformations in Reconfigurable Place/Transition Systems (Q3507359) (← links)
• Hornets: Nets within Nets Combined with Net Algebra (Q3636848) (← links)
• Complexity Results for Elementary Hornets (Q5300870) (← links)
• Nested Petri Nets for Adaptive Process Modeling (Q5452192) (← links)
• Modular rewritable Petri nets: an efficient model for dynamic distributed systems (Q6120343) (← links)