计算机工程
計算機工程
계산궤공정
COMPUTER ENGINEERING
2006年
14期
4-6,19
,共4页
主体%多主体系统%计划%Petri网
主體%多主體繫統%計劃%Petri網
주체%다주체계통%계화%Petri망
利用Petri网对主体Petri的各种行为进行描述和分析,通过Petri网系统的可达性分析考虑主体计划生成问题是求解单个主体计划问题的一种有效方法.系统中的每一个主体可以通过其Petir网系统进行描述,进而得到多主体系统相应的有界层次Petri网系统.利用层次Petri网系统的可达标识图得到多主体系统关于目标状态的可达动作序列的集合,对可行可达动作序列及其中动作间关系确定得到多主体系统的计划.
利用Petri網對主體Petri的各種行為進行描述和分析,通過Petri網繫統的可達性分析攷慮主體計劃生成問題是求解單箇主體計劃問題的一種有效方法.繫統中的每一箇主體可以通過其Petir網繫統進行描述,進而得到多主體繫統相應的有界層次Petri網繫統.利用層次Petri網繫統的可達標識圖得到多主體繫統關于目標狀態的可達動作序列的集閤,對可行可達動作序列及其中動作間關繫確定得到多主體繫統的計劃.
이용Petri망대주체Petri적각충행위진행묘술화분석,통과Petri망계통적가체성분석고필주체계화생성문제시구해단개주체계화문제적일충유효방법.계통중적매일개주체가이통과기Petir망계통진행묘술,진이득도다주체계통상응적유계층차Petri망계통.이용층차Petri망계통적가체표식도득도다주체계통관우목표상태적가체동작서렬적집합,대가행가체동작서렬급기중동작간관계학정득도다주체계통적계화.