VipTool
From MaRDI portal
Software:25667
No author found.
Related Items (12)
Unnamed Item ⋮ Reduction of Workflow Nets for Generalised Soundness Verification ⋮ Models from Scenarios ⋮ Regions of Petri nets with a/sync connections ⋮ Applying regions ⋮ Construction of Process Models from Example Runs ⋮ Oclets – Scenario-Based Modeling with Petri Nets ⋮ Hasse Diagram Generators and Petri Nets ⋮ Comparison of Different Algorithms to Synthesize a Petri Net from a Partial Language ⋮ Discovering Object-centric Petri Nets ⋮ Synthesising elementary net systems with localities ⋮ Firing partial orders in a Petri net
This page was built for software: VipTool
