计算机科学
計算機科學
계산궤과학
COMPUTER SCIENCE
2006年
6期
154-157
,共4页
计划%有色网%多agent
計劃%有色網%多agent
계화%유색망%다agent
有色网能够描述资源和操作的具体语义.首先,由于计划中的操作和状态的个数的有限性,与有色网的元素个数有限性约束完全一致.另外,计划中的动作与有色网中的变迁语义类似,以及计划中的操作和状态和有色网中的库所语义非常类似.因此,有色网应用到计划的形式化中,有其独特的优势.本文根据约定的前提条件,计划建模从操作、状态和交互3个方面来具体实现,并给出了建模方法.计划的规范描述、有效性验证以及计划的模拟都可以直接应用经典Petri网或有色网的理论技术.
有色網能夠描述資源和操作的具體語義.首先,由于計劃中的操作和狀態的箇數的有限性,與有色網的元素箇數有限性約束完全一緻.另外,計劃中的動作與有色網中的變遷語義類似,以及計劃中的操作和狀態和有色網中的庫所語義非常類似.因此,有色網應用到計劃的形式化中,有其獨特的優勢.本文根據約定的前提條件,計劃建模從操作、狀態和交互3箇方麵來具體實現,併給齣瞭建模方法.計劃的規範描述、有效性驗證以及計劃的模擬都可以直接應用經典Petri網或有色網的理論技術.
유색망능구묘술자원화조작적구체어의.수선,유우계화중적조작화상태적개수적유한성,여유색망적원소개수유한성약속완전일치.령외,계화중적동작여유색망중적변천어의유사,이급계화중적조작화상태화유색망중적고소어의비상유사.인차,유색망응용도계화적형식화중,유기독특적우세.본문근거약정적전제조건,계화건모종조작、상태화교호3개방면래구체실현,병급출료건모방법.계화적규범묘술、유효성험증이급계화적모의도가이직접응용경전Petri망혹유색망적이론기술.
