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.
翻译:工作网是分析从模拟工具或过程采矿中产生的业务流程的公认的数学形式主义。工作流程网的中心决定问题是:是否健康、一般的健全和结构健全。大多数现有工具侧重于健康。在这项工作中,我们提出了可扩展的通用和结构健全的新半程序。这是通过一体化和连续的Petrii净可达性放松实现的。我们表明,我们的方法与最先进的工具相比具有竞争力。