应用科学学报
應用科學學報
응용과학학보
JOURNAL OF APPLIED SCIENCES
2010年
4期
417-423
,共7页
Petri网%结构分析%关联矩阵%特征值
Petri網%結構分析%關聯矩陣%特徵值
Petri망%결구분석%관련구진%특정치
通过计算由关联矩阵变换所得特殊方阵的特征值来分析Petri网模型某些重要的结构特性.根掘自由选择网、自由连接网与非自由选择网、非自由连接网关联矩阵的区别,分别用不同的方法将它们变换为同一类方阵,并用此类矩阵理论给出Petri网模型的结构有界性、守恒性、可重复性、协调性的充分条件及相关证明.采用一个雷达工作过程建模实例详细阐述了该结构理论在实际Petri网模型分析中的应用,为关联矩阵在Petri网模型结构分析中的应用提供了一个可选择的方法.
通過計算由關聯矩陣變換所得特殊方陣的特徵值來分析Petri網模型某些重要的結構特性.根掘自由選擇網、自由連接網與非自由選擇網、非自由連接網關聯矩陣的區彆,分彆用不同的方法將它們變換為同一類方陣,併用此類矩陣理論給齣Petri網模型的結構有界性、守恆性、可重複性、協調性的充分條件及相關證明.採用一箇雷達工作過程建模實例詳細闡述瞭該結構理論在實際Petri網模型分析中的應用,為關聯矩陣在Petri網模型結構分析中的應用提供瞭一箇可選擇的方法.
통과계산유관련구진변환소득특수방진적특정치래분석Petri망모형모사중요적결구특성.근굴자유선택망、자유련접망여비자유선택망、비자유련접망관련구진적구별,분별용불동적방법장타문변환위동일류방진,병용차류구진이론급출Petri망모형적결구유계성、수항성、가중복성、협조성적충분조건급상관증명.채용일개뢰체공작과정건모실례상세천술료해결구이론재실제Petri망모형분석중적응용,위관련구진재Petri망모형결구분석중적응용제공료일개가선택적방법.
