Pages that link to "Item:Q5712293"
From MaRDI portal
The following pages link to Lectures on Concurrency and Petri Nets (Q5712293):
Displaying 24 items.
- Petri nets with individual tokens (Q1083212) (← links)
- 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)
- Comparing concepts of object Petri net formalisms (Q2775862) (← 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)
- Petri Nets as Token Objects (Q5055702) (← 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)
- (Q5486055) (← links)
- Applications and Theory of Petri Nets 2004 (Q5712355) (← links)
- Applications and Theory of Petri Nets 2005 (Q5713506) (← links)
- Applications and Theory of Petri Nets 2005 (Q5713508) (← links)
- Software modeling and analysis using a hierarchical object-oriented Petri net (Q5946273) (← links)
- Modular rewritable Petri nets: an efficient model for dynamic distributed systems (Q6120343) (← links)
- Analysing adaption processes of Hornets (Q6550564) (← links)
