将业务流程图BPMN转为AI规划语言PDDL，实现可执行的自动化推理。
BPMN to PDDL: Translating Business Workflows for AI Planning
- 构建BPMN到PDDL的转换管道，支持任务、事件、网关等核心结构。
- 通过非确定性规划器生成并验证有效执行路径，实现流程模拟。
- 为业务流程自动化提供可落地的规划引擎，适合流程建模与智能调度研究者。
业务流程模型与符号（BPMN）是广泛使用的业务流程建模标准。尽管自动化规划被提出用于模拟和推理BPMN工作流，但多数实现仍不完整或范围有限。本项目在前期理论基础上，开发了一个可运行的转换管道，将BPMN 2.0图示转化为适用于规划的PDDL表示。系统支持任务、事件、顺序流和网关等核心构件，初步支持并行与包含网关行为。利用非确定性规划器，我们展示了如何生成并评估有效的执行轨迹。该实现旨在弥合理论与实际工具之间的差距，为将业务流程转化为明确计划提供基础，推动后续研究发展。
原文摘要 · Abstract (English)
Business Process Model and Notation (BPMN) is a widely used standard for modelling business processes. While automated planning has been proposed as a method for simulating and reasoning about BPMN workflows, most implementations remain incomplete or limited in scope. This project builds upon prior theoretical work to develop a functional pipeline that translates BPMN 2.0 diagrams into PDDL representations suitable for planning. The system supports core BPMN constructs, including tasks, events, sequence flows, and gateways, with initial support for parallel and inclusive gateway behaviour. Using a non-deterministic planner, we demonstrate how to generate and evaluate valid execution traces. Our implementation aims to bridge the gap between theory and practical tooling, providing a foundation for further exploration of translating business processes into well-defined plans.
Thank you to arXiv for use of its open access interoperability. PaperDance 不是 arXiv 官方产品；中文卡片由大模型生成，请以原文为准。