论文标题
通过放松验证工作流网的广义和结构性声音
Verifying generalised and structural soundness of workflow nets via relaxations
论文作者
论文摘要
工作流网是一种良好的数学形式主义，用于分析由建模工具或过程采矿引起的业务过程。工作流网的中心决策问题是$ k $ soundness，广义的音质和结构性声音。大多数现有的工具都集中在$ k $ soundness上。在这项工作中，我们提出了新颖的可扩展半生产方法，以实现广义和结构性声音。这是通过整体和连续的培养皿净伸缩性松弛来实现的。我们表明，我们的方法与最先进的工具具有竞争力。
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.
