山东科技大学学报（自然科学版）
山東科技大學學報（自然科學版）
산동과기대학학보（자연과학판）
JOURNAL OF SHANDONG UNIVERSITY OF SCIENCE AND TECHNOLOGY(NATURAL SCIENCE)
2010年
1期
100-104
,共5页
Petri网%结构性质%S-不变量%S-不变量的极小支集
Petri網%結構性質%S-不變量%S-不變量的極小支集
Petri망%결구성질%S-불변량%S-불변량적겁소지집
S -不变量是对Petri网进行结构性质分析的重要工具,但S -不变量的求取尚无有效算法.主要分析了S -不变量极小支集的判定问题.结合Petri网中库所子集列生成子阵的性质证明了一个库所子集为S -不变量极小支集的充分必要条件,在此基础上提出了判断给定库所子集是否为S -不变量极小支集的多项式算法.
S -不變量是對Petri網進行結構性質分析的重要工具,但S -不變量的求取尚無有效算法.主要分析瞭S -不變量極小支集的判定問題.結閤Petri網中庫所子集列生成子陣的性質證明瞭一箇庫所子集為S -不變量極小支集的充分必要條件,在此基礎上提齣瞭判斷給定庫所子集是否為S -不變量極小支集的多項式算法.
S -불변량시대Petri망진행결구성질분석적중요공구,단S -불변량적구취상무유효산법.주요분석료S -불변량겁소지집적판정문제.결합Petri망중고소자집렬생성자진적성질증명료일개고소자집위S -불변량겁소지집적충분필요조건,재차기출상제출료판단급정고소자집시부위S -불변량겁소지집적다항식산법.
