Pages that link to "Item:Q3618710"
From MaRDI portal
The following pages link to Towards Synthesis of Petri Nets from Scenarios (Q3618710):
Displaying 12 items.
- Synthesis of Reo circuits from scenario-based interaction specifications (Q541679) (← links)
- Executability of scenarios in Petri nets (Q1006647) (← links)
- Discovering workflow nets using integer linear programming (Q1639990) (← links)
- Fault model identification and synthesis in Petri nets (Q2348378) (← links)
- Identification of Petri nets from knowledge of their language (Q2465425) (← links)
- Verification of scenarios in Petri nets using compact tokenflows (Q2805422) (← links)
- Theory of Regions for the Synthesis of Inhibitor Nets from Scenarios (Q3612942) (← links)
- Unifying Petri Net Semantics with Token Flows (Q3636837) (← links)
- Aggregating Causal Runs into Workflow Nets (Q4909355) (← links)
- Discovering Object-centric Petri Nets (Q4988950) (← links)
- Applications and Theory of Petri Nets 2005 (Q5713507) (← links)
- Hasse Diagram Generators and Petri Nets (Q5902129) (← links)