我的目标是将 BPMN 模型转移到任何允许我验证它的工作流工具。我了解了 Petri 网，因此我希望能够将创建 BPMN 模型后获得的 XML 文件转换为 Petri 网。有没有工具可以做到这一点？
我一直在寻找一些来自荷兰的科学论文，但它们已经有几十年的历史了，源代码网站也不起作用。
我将不胜感激任何帮助。
编辑： 有一个类似 BehaVerify 的行为树验证工具。我想要一个用于我的 BPMN 的类似工具，但据我所知，它不存在。因此，我需要将其转换为Petri网或类似的东西来验证它。
找到了一个 GitHub 存储库，它正是我想要的。
他们的论文：
PM4Py：Python 的流程挖掘库