The following pages link to VipTool (Q25667):
Displaying 12 items.
- Regions of Petri nets with a/sync connections (Q714824) (← links)
- Applying regions (Q728281) (← links)
- Synthesising elementary net systems with localities (Q2077411) (← links)
- Firing partial orders in a Petri net (Q2117188) (← links)
- Reduction of Workflow Nets for Generalised Soundness Verification (Q2961558) (← links)
- (Q3602749) (← links)
- Construction of Process Models from Example Runs (Q3623827) (← links)
- Oclets – Scenario-Based Modeling with Petri Nets (Q3636847) (← links)
- Comparison of Different Algorithms to Synthesize a Petri Net from a Partial Language (Q3651243) (← links)
- Models from Scenarios (Q4924452) (← links)
- Discovering Object-centric Petri Nets (Q4988950) (← links)
- Hasse Diagram Generators and Petri Nets (Q5902129) (← links)