Pages that link to "Item:Q1006647"
From MaRDI portal
The following pages link to Executability of scenarios in Petri nets (Q1006647):
Displaying 8 items.
- Firing partial orders in a Petri net (Q2117188) (← links)
- ``Truly concurrent'' and nondeterministic semantics of discrete-time Petri nets (Q2216716) (← links)
- Verification of scenarios in Petri nets using compact tokenflows (Q2805422) (← links)
- How Much Is Worth to Remember? A Taxonomy Based on Petri Nets Unfoldings (Q3011884) (← links)
- Towards Synthesis of Petri Nets from Scenarios (Q3618710) (← links)
- Unifying Petri Net Semantics with Token Flows (Q3636837) (← links)
- An Extension in the Definition of a Petri Net Execution (Q3799637) (← links)
- Applications and Theory of Petri Nets 2005 (Q5713507) (← links)