Verifying generalised and structural soundness of workflow nets via relaxations
Abstract
Workflow nets are a well-established mathematical formalism for the analysis of business processes arising from either modeling tools or process mining. The central decision problems for workflow nets are $k$-soundness, generalised soundness and structural soundness. Most existing tools focus on $k$-soundness. In this work, we propose novel scalable semi-procedures for generalised and structural soundness. This is achieved via integral and continuous Petri net reachability relaxations. We show that our approach is competitive against state-of-the-art tools.
- Publication:
-
arXiv e-prints
- Pub Date:
- June 2022
- DOI:
- 10.48550/arXiv.2206.02606
- arXiv:
- arXiv:2206.02606
- Bibcode:
- 2022arXiv220602606B
- Keywords:
-
- Computer Science - Logic in Computer Science
- E-Print:
- Accepted at CAV 2022