基于有色网的多Agent计划建模  

Modeling for Multi-Agent Plan Based on Coloured Petri Nets

作　　者：杜卓敏[1] 何炎祥[1] 

机构地区：[1]武汉大学计算机学院,武汉430072

出　　处：《计算机科学》2006年第6期154-157,共4页Computer Science

基　　金：国家自然科学基金重大研究计划(90104005)资助;武汉大学科技创新基金资助。

摘　　要：有色网能够描述资源和操作的具体语义。首先,由于计划中的操作和状态的个数的有限性,与有色网的元素个数有限性约束完全一致。另外,计划中的动作与有色网中的变迁语义类似,以及计划中的操作和状态和有色网中的库所语义非常类似。因此,有色网应用到计划的形式化中,有其独特的优势。本文根据约定的前提条件,计划建模从操作、状态和交互3个方面来具体实现,并给出了建模方法。计划的规范描述、有效性验证以及计划的模拟都可以直接应用经典Petri网或有色网的理论技术。Coloured Petri nets can describe the concrete semantics of resources and operations. Pirstiy, me numoer of operations and states of a plan in multi-agent system must be finite, and the finite number of elements of Coloured Petri nets really satisfies the restriction of plan. And action of plan is similar to transition of Coloured Petri nets and state and resource of plan is similar to place of Coloured Petri nets. Therefore it is effective to model plan by Coloured Petrl nets. Based on some premises, the action, the state and the interaction components of plan are modelled in detailed. Moreover, the description, validity and simulation of plan can be implemented by the theoretical techniques of Petri net or Coloured Petri nets.

关 键 词：计划建模 有色网 多AGENT 

分 类 号：TP393[自动化与计算机技术—计算机应用技术]