VipTool
From MaRDI portal
Software:25667
swMATH13755MaRDI QIDQ25667FDOQ25667
Author name not available (Why is that?)
Cited In (12)
- Construction of Process Models from Example Runs
- Title not available (Why is that?)
- Firing partial orders in a Petri net
- Regions of Petri nets with a/sync connections
- Applying regions
- Hasse Diagram Generators and Petri Nets
- Oclets – Scenario-Based Modeling with Petri Nets
- Reduction of Workflow Nets for Generalised Soundness Verification
- Discovering Object-centric Petri Nets
- Models from Scenarios
- Synthesising elementary net systems with localities
- Comparison of Different Algorithms to Synthesize a Petri Net from a Partial Language
This page was built for software: VipTool
