Pages that link to "Item:Q1006647"
From MaRDI portal
The following pages link to Executability of scenarios in Petri nets (Q1006647):
Displaying 4 items.
- ``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)
- Unifying Petri Net Semantics with Token Flows (Q3636837) (← links)
