安徽理工大学学报(自然科学版)
安徽理工大學學報(自然科學版)
안휘리공대학학보(자연과학판)
JOURNAL OF ANHUI UNIVERSITY OF SCIENCE AND TECHNOLOGY(NATURAL SCIENCE)
2008年
1期
85-89
,共5页
Petri网%任务分解%有效性%多主体
Petri網%任務分解%有效性%多主體
Petri망%임무분해%유효성%다주체
任务的分解是实现多主体系统的关键,运用形式化的方法对任务分解进行描述和验证是十分必要的.对于一般的任务逻辑分解表达式,利用Petri网对任务的分解进行建模,得到任务分解Petri网,进而通过剔除不合理的任务分解结构得到任务有效分解的Petri网系统.通过检查任务有效分解的Petri网的存在与否,可以判断任务的分解结构是否有效.另外,对于任意一个有限的P/T网系统,给出了判断是否存在无效任务分解的充分条件,从而论证了在任务有效分解的Petri网系统中只存在一级活变迁.将任务分解的有效性判断与Petri网活性分析联系起来,实现了多主体系统的一个亟待解决的基础性问题.
任務的分解是實現多主體繫統的關鍵,運用形式化的方法對任務分解進行描述和驗證是十分必要的.對于一般的任務邏輯分解錶達式,利用Petri網對任務的分解進行建模,得到任務分解Petri網,進而通過剔除不閤理的任務分解結構得到任務有效分解的Petri網繫統.通過檢查任務有效分解的Petri網的存在與否,可以判斷任務的分解結構是否有效.另外,對于任意一箇有限的P/T網繫統,給齣瞭判斷是否存在無效任務分解的充分條件,從而論證瞭在任務有效分解的Petri網繫統中隻存在一級活變遷.將任務分解的有效性判斷與Petri網活性分析聯繫起來,實現瞭多主體繫統的一箇亟待解決的基礎性問題.
임무적분해시실현다주체계통적관건,운용형식화적방법대임무분해진행묘술화험증시십분필요적.대우일반적임무라집분해표체식,이용Petri망대임무적분해진행건모,득도임무분해Petri망,진이통과척제불합리적임무분해결구득도임무유효분해적Petri망계통.통과검사임무유효분해적Petri망적존재여부,가이판단임무적분해결구시부유효.령외,대우임의일개유한적P/T망계통,급출료판단시부존재무효임무분해적충분조건,종이론증료재임무유효분해적Petri망계통중지존재일급활변천.장임무분해적유효성판단여Petri망활성분석련계기래,실현료다주체계통적일개극대해결적기출성문제.
