%0 Journal Article
%T Modeling for Multi-Agent Plan Based on Coloured Petri Nets<br>基于有色网的多Agent计划建模
%A DU Zhuo-Min
%A HE Yan-Xiang
%A <br>杜卓敏
%A 何炎祥
%J 计算机科学
%D 2006
%I 
%X 有色网能够描述资源和操作的具体语义。首先，由于计划中的操作和状态的个数的有限性，与有色网的元素个数有限性约束完全一致。另外，计划中的动作与有色网中的变迁语义类似，以及计划中的操作和状态和有色网中的库所语义非常类似。因此，有色网应用到计划的形式化中，有其独特的优势。本文根据约定的前提条件，计划建模从操作、状态和交互3个方面来具体实现，并给出了建模方法。计划的规范描述、有效性验证以及计划的模拟都可以直接应用经典Petri网或有色网的理论技术。
%K Plan
%K Coloured petri nets
%K Multi-agent<br>计划
%K 有色网
%K 多agent
%U http://www.alljournals.cn/get_abstract_url.aspx?pcid=5B3AB970F71A803DEACDC0559115BFCF0A068CD97DD29835&cid=8240383F08CE46C8B05036380D75B607&jid=64A12D73428C8B8DBFB978D04DFEB3C1&aid=5566A86A3574EFF3&yid=37904DC365DD7266&vid=27746BCEEE58E9DC&iid=B31275AF3241DB2D&sid=E2546871E5B846EF&eid=0B4F496D54044D86&journal_id=1002-137X&journal_name=计算机科学&referenced_num=0&reference_num=23