微计算机信息
微計算機信息
미계산궤신식
CONTROL & AUTOMATION
2006年
36期
154-156,134
,共4页
Petri网%知识表示%推理算法
Petri網%知識錶示%推理算法
Petri망%지식표시%추리산법
提出了一种建立在petri网的基本结构上的形式化正向推理算法,通过建立petri网的关联矩阵、标识向量和激发向量,将petri网与矩阵运算结合,可以在petri网模型中抽取一个子模型,从而把一个大的、复杂的系统转化为一个只与问题相关的小的系统来处理.该算法充分利用了petri网的并行处理能力,缩小了后续应用的范围,加速了后续应用的效率.
提齣瞭一種建立在petri網的基本結構上的形式化正嚮推理算法,通過建立petri網的關聯矩陣、標識嚮量和激髮嚮量,將petri網與矩陣運算結閤,可以在petri網模型中抽取一箇子模型,從而把一箇大的、複雜的繫統轉化為一箇隻與問題相關的小的繫統來處理.該算法充分利用瞭petri網的併行處理能力,縮小瞭後續應用的範圍,加速瞭後續應用的效率.
제출료일충건립재petri망적기본결구상적형식화정향추리산법,통과건립petri망적관련구진、표식향량화격발향량,장petri망여구진운산결합,가이재petri망모형중추취일개자모형,종이파일개대적、복잡적계통전화위일개지여문제상관적소적계통래처리.해산법충분이용료petri망적병행처리능력,축소료후속응용적범위,가속료후속응용적효솔.