通过松弛验证工作流网的广义与结构合理性
计算机科学中的逻辑
2022-06-07 v1
摘要
工作流网是一种成熟的数学形式化方法,用于分析源自建模工具或过程挖掘的业务流程。工作流网的核心判定问题是 -合理性、广义合理性与结构合理性。现有大多数工具聚焦于 -合理性。本文中,我们针对广义合理性与结构合理性提出了新颖的可扩展半过程。这是通过整数与连续 Petri 网可达性松弛实现的。我们表明,我们的方法与最先进工具相比具有竞争力。
引用
@article{arxiv.2206.02606,
title = {Verifying generalised and structural soundness of workflow nets via relaxations},
author = {Michael Blondin and Filip Mazowiecki and Philip Offtermatt},
journal= {arXiv preprint arXiv:2206.02606},
year = {2022}
}
备注
Accepted at CAV 2022