Pages that link to "Item:Q2775865"
From MaRDI portal
The following pages link to Nested Petri nets: Multi-level and recursive systems. (Q2775865):
Displaying 10 items.
- Recursive nested Petri Nets: Analysis of semantic properties and expessibility (Q1403182) (← links)
- Automatic construction of systems of distributed components from nested Petri nets models (Q2216722) (← 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)
- Coding mobile synchronizing Petri nets into rewriting logic (Q2864520) (← links)
- Nested-Unit Petri Nets: A Structural Means to Increase Efficiency and Scalability of Verification on Elementary Nets (Q2941150) (← links)
- (Q3790615) (← links)
- Dynamic Recursive Petri Nets (Q5100760) (← links)
- Nested Petri Nets for Adaptive Process Modeling (Q5452192) (← links)