计算机应用与软件
計算機應用與軟件
계산궤응용여연건
COMPUTER APPLICATIONS AND SOFTWARE
2013年
4期
153-155,179
,共4页
Petri网%可达性%伪标识
Petri網%可達性%偽標識
Petri망%가체성%위표식
Petri网标识的可达性判定问题是进行Petri网分析的基础.在分析目前现有的判定Petri网可达性的求解方法的基础上,提出一种伪标识判定法.该方法在状态方程法的基础上,利用关联矩阵来判断变迁发射向量是否能够发生来筛除伪标识.通过对实例的求解说明了求解过程并证明了算法能够确保对所得结果的可靠性,减少了算法的时间复杂度.
Petri網標識的可達性判定問題是進行Petri網分析的基礎.在分析目前現有的判定Petri網可達性的求解方法的基礎上,提齣一種偽標識判定法.該方法在狀態方程法的基礎上,利用關聯矩陣來判斷變遷髮射嚮量是否能夠髮生來篩除偽標識.通過對實例的求解說明瞭求解過程併證明瞭算法能夠確保對所得結果的可靠性,減少瞭算法的時間複雜度.
Petri망표식적가체성판정문제시진행Petri망분석적기출.재분석목전현유적판정Petri망가체성적구해방법적기출상,제출일충위표식판정법.해방법재상태방정법적기출상,이용관련구진래판단변천발사향량시부능구발생래사제위표식.통과대실례적구해설명료구해과정병증명료산법능구학보대소득결과적가고성,감소료산법적시간복잡도.
