系统工程与电子技术
繫統工程與電子技術
계통공정여전자기술
SYSTEMS ENGINEERING AND ELECTRONICS
2010年
8期
1766-1770
,共5页
廖晶静%王明哲%倪枫%郭法滨
廖晶靜%王明哲%倪楓%郭法濱
료정정%왕명철%예풍%곽법빈
Petri网%最小trap和siphon%关联矩阵%trap组合
Petri網%最小trap和siphon%關聯矩陣%trap組閤
Petri망%최소trap화siphon%관련구진%trap조합
为了快速确定大型Petri网模型中的trap (siphon) 逻辑结构,提出一种由Petri网关联矩阵寻找最小trap和siphon集合的有效算法.通过分析Petri网中trap和siphon集合对应的库所子集在关联矩阵中的特征,根据变迁的输入输出库所组合规则和目的,提出一种二元操作算子,由此构造计算最小trap和siphon集合的矩阵求解算法,以实例详细阐述了算法的具体步骤.通过与已有求解方法的比较,进一步验证了该算法在求解大型Petri网系统最小trap(siphon)集合上的计算速度优势.
為瞭快速確定大型Petri網模型中的trap (siphon) 邏輯結構,提齣一種由Petri網關聯矩陣尋找最小trap和siphon集閤的有效算法.通過分析Petri網中trap和siphon集閤對應的庫所子集在關聯矩陣中的特徵,根據變遷的輸入輸齣庫所組閤規則和目的,提齣一種二元操作算子,由此構造計算最小trap和siphon集閤的矩陣求解算法,以實例詳細闡述瞭算法的具體步驟.通過與已有求解方法的比較,進一步驗證瞭該算法在求解大型Petri網繫統最小trap(siphon)集閤上的計算速度優勢.
위료쾌속학정대형Petri망모형중적trap (siphon) 라집결구,제출일충유Petri망관련구진심조최소trap화siphon집합적유효산법.통과분석Petri망중trap화siphon집합대응적고소자집재관련구진중적특정,근거변천적수입수출고소조합규칙화목적,제출일충이원조작산자,유차구조계산최소trap화siphon집합적구진구해산법,이실례상세천술료산법적구체보취.통과여이유구해방법적비교,진일보험증료해산법재구해대형Petri망계통최소trap(siphon)집합상적계산속도우세.
