我正在开发一个 BPMN 聊天机器人，需要一个全面的解决方案来对所有可能的 BPMN 路径进行建模。具体来说，我正在寻找一个现有的状态机或 Petri 网实现，可以以通用方式表示每个 BPMN 元素和流程。我熟悉 van der Aalst 在这方面的一些工作。
有人知道有哪些工具、库或框架可以为 BPMN 流程提供这样的通用解决方案吗？任何指示或资源都会非常有帮助！
谢谢！
我尝试在没有正式验证的情况下对聊天机器人进行建模，最终导致 BPMN 路径不完整。
可以将基本 BPMN 图的控制流视角直接转换为标记的 Petri 网。
您可以在 Koschmieder、Laue 和 Fahland 所著的《Prozessmanagement und Process-Mining》一书中的第 8 章找到一些示例。
还有 Mathias Weske 教授博士的讲座，可在线描述基本概念。