Pages that link to "Item:Q5712293"
From MaRDI portal
The following pages link to Lectures on Concurrency and Petri Nets (Q5712293):
Displaying 16 items.
- Boundedness of adaptive nets is decidable (Q1944126) (← links)
- Formal specification and verification of decentralized self-adaptive systems using symmetric nets (Q2063102) (← links)
- An introduction to signed Petri net (Q2230049) (← links)
- Modeling biological gradient formation: combining partial differential equations and Petri nets (Q2311279) (← links)
- Nested-unit Petri nets (Q2423743) (← links)
- Petri nets with name creation for transient secure association (Q2510386) (← links)
- Structural Place Invariants for Analyzing the Behavioral Properties of Nested Petri Nets (Q2822661) (← links)
- Nested-Unit Petri Nets: A Structural Means to Increase Efficiency and Scalability of Verification on Elementary Nets (Q2941150) (← links)
- Software Engineering with Petri Nets: A Web Service and Agent Perspective (Q3452472) (← links)
- Time Recursive Petri Nets (Q3599214) (← links)
- Hornets: Nets within Nets Combined with Net Algebra (Q3636848) (← links)
- Structural matrices for Signed Petri net (Q5097774) (← 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)
- Analysing adaption processes of Hornets (Q6550564) (← links)
