基于面向对象Petri网的多Agent系统交互协议建模

作者：于振华; 蔡远利; 韩九强

来源：计算机集成制造系统, 2005, 11(8).

DOI：10.3969/j.issn.1006-5911.2005.08.003

• 多Agent系统
• 交互协议
• 面向对象Petri网
• 建模

为了描述、分析和验证多Agent系统交互协议,提出了一种面向对象Petri网.与现有的形式化方法相比,面向对象Petri网能形象、直观地刻画多Agent系统复杂、并行的交互协议,可以描述其静态和动态语义,并可利用Petri网的数学分析方法对交互协议进行动态分析.面向对象Petri网还具有较好的模块性和柔性,能单独地分析参与交互的每一个Agent,而不会影响其他Agent和环境的状态.最后,利用面向对象Petri网描述了智能物理代理基金会请求协议和合同网协议,并对一个买卖Agent交互实例进行了建模和动态分析,验证了面向对象Petri网具有较好的建模能力.

• 单位
  西安交通大学