基于大语言模型与Petri网的智能体服务组合方法研究
Agent Service Composition Method Based on Large Language Models and Petri Nets
摘要: 随着大语言模型、智能体与服务计算技术的快速发展,如何高效、可靠地组合多个智能体服务成为研究热点。Petri网因其严格的数学表达与强大的行为分析能力,被广泛用于服务组合建模与验证。然而,传统Petri网合成方法依赖人工定义语义匹配规则,缺乏自动化与智能化支持。本文提出一种结合大语言模型与Petri网的智能体服务组合方法。首先,提出面向智能体服务编排的UML建模方法,统一描述服务流程;其次,设计UML模型向Petri网转换机制,利用XMI与XSLT实现自动化映射;进一步,引入大语言模型对Petri网进行语义标注与智能融合,实现基于语义的Petri网共享合成;最后,通过PIPE (Platform Independent Petri Net Editor)工具对合成后的Petri网进行模型检测,验证其行为正确性。实验结果表明,该方法能够有效提升智能体服务组合的自动化程度与可靠性。
Abstract: With the rapid development of Large Language Model (LLM), Agent and service computing technologies, how to efficiently and reliably compose multiple agent services has become a research hotspot. Petri nets are widely used for service composition modeling and verification due to their strict mathematical expression and strong behavioral analysis capabilities. However, traditional Petri net synthesis methods rely on manually defined semantic matching rules, lacking automation and intelligent support. This paper proposes an agent service composition method that combines large language models with Petri nets. First, a UML modeling method for agent service orchestration is proposed to uniformly describe service processes. Second, an XML-based mechanism for transforming UML models into Petri nets is designed, using XMI and XSLT to achieve automated mapping. Furthermore, large language models are introduced to semantically annotate and intelligently fuse Petri nets, enabling semantic-based shared synthesis of Petri nets. Finally, the synthesized Petri net is validated for behavioral correctness through model checking using the PIPE tool. Experimental results show that this method can effectively enhance the automation and reliability of agent service composition.
参考文献
|
[1]
|
李彬, 崔汉国, 李正民, 等. 基于共享子网合成Petri网的协同虚拟维修系统[J]. 中国修船, 2015, 28(5): 45-49.
|
|
[2]
|
薛瑜, 李承家. 模糊Petri网的合成运算[J]. 杭州电子科技大学学报, 2012, 32(3): 79-82.
|
|
[3]
|
Desel, J. and Reisig, W. (1996) The Synthesis Problem of Petri Nets. Acta Informatica, 33, 297-315. [Google Scholar] [CrossRef]
|
|
[4]
|
刘之家, 李文敬, 王汝凉. Petri网共享合成及其在并行系统中的应用[J]. 计算机工程与设计, 2011, 32(3): 968-971+983.
|
|
[5]
|
Mahadeer, A., Arulprakasam, R. and Dare, V.R. (2024) Partial Petri Net Languages and Their Properties. International Journal of Information Technology, 16, 3663-3676. [Google Scholar] [CrossRef]
|
|
[6]
|
Ronny, T., Susanna, D., Stefan, H., et al. (2022) The Complexity of Synthesis of B-Bounded Petri Nets. Fundamenta Informaticae, 183, 125-167. [Google Scholar] [CrossRef]
|
|
[7]
|
欧毓毅, 王浩, 凌捷. 基于智能体的动态组合服务的研究[J]. 计算机应用与软件, 2008(8): 108-110+120.
|
|
[8]
|
陈宇浩, 屠翰乾, 相东明. 基于解释Petri网的新型CPS分解方法[J]. 计算机科学, 2025, 52(4): 49-53.
|
|
[9]
|
于绍琪, 田玉平. 基于Petri网与多智能体深度强化学习的AGV路径规划[J]. 控制与决策, 2025, 40(5): 1438-1446.
|
|
[10]
|
赵杰民. 基于并行计算的Petri网可达状态研究[D]: [硕士学位论文]. 西安: 西安电子科技大学, 2024.
|