swMATH13755MaRDI QIDQ25667FDOQ25667
Author name not available (Why is that?)
Official website: https://www.fernuni-hagen.de/sttp/forschung/vip_tool.shtml
Cited In (19)
- Construction of Process Models from Example Runs
- Discovering object-centric Petri nets
- Models from scenarios
- Firing partial orders in a Petri net
- Reduction of workflow nets for generalised soundness verification
- Regions of Petri nets with a/sync connections
- Applying regions
- Synthesis of Petri nets from finite partial languages
- Comparison of different algorithms to synthesize a Petri net from a partial language
- Hasse Diagram Generators and Petri Nets
- Oclets – Scenario-Based Modeling with Petri Nets
- ProM
- Woflan
- Genet
- Petrify
- Yasper
- HybridILPMiner
- PIPE
- Synthesising elementary net systems with localities
This page was built for software: VipTool
