Pages that link to "Item:Q5713507"
From MaRDI portal
The following pages link to Applications and Theory of Petri Nets 2005 (Q5713507):
Displaying 7 items.
- Executability of scenarios in Petri nets (Q1006647) (← links)
- Firing partial orders in a Petri net (Q2117188) (← links)
- Verification of scenarios in Petri nets using compact tokenflows (Q2805422) (← links)
- Partial Order Semantics of Types of Nets (Q3599087) (← links)
- Unifying Petri Net Semantics with Token Flows (Q3636837) (← links)
- Hasse Diagram Generators and Petri Nets (Q5902129) (← links)
- Token trail semantics -- modeling behavior of Petri nets with labeled Petri nets (Q6535197) (← links)