Reduction of Workflow Nets for Generalised Soundness Verification
Abstract elided by the publisher.
Related papers
- Weighted Soundness for Workflow Nets CAV 2026
- Verifying Generalised and Structural Soundness of Workflow Nets via Relaxations CAV 2022
- Fast Termination and Workflow Nets CAV 2023
- Computing the Concurrency Threshold of Sound Free-Choice Workflow Nets TACAS 2018
- Diagnostic Information for Control-Flow Analysis of Workflow Graphs (a.k.a. Free-Choice Workflow Nets) TACAS 2016
- Computing the Expected Execution Time of Probabilistic Workflow Nets TACAS 2019
- Krivine nets: a semantic foundation for distributed execution ICFP 2014
- Project and Conquer: Fast Quantifier Elimination for Checking Petri Net Reachability VMCAI 2024