收稿日期: 2010-01-22
修回日期: 2010-04-03
网络出版日期: 2010-04-03
基金资助
国家自然科学基金(No.60874068)资助
Eigenvalues of Incidence Matrices Applied to the Analysis of Petri Net Structures
Received date: 2010-01-22
Revised date: 2010-04-03
Online published: 2010-04-03
廖晶静,王明哲 . 用关联矩阵特征值分析Petri网模型结构[J]. 应用科学学报, 2010 , 28(4) : 417 -423 . DOI: 10.3969/j.issn.0255-8297.2010.04.015
By computing eigenvalues of special square matrices derived from the incidence matrices of Petri net models, some important structural properties of Petri nets are analyzed. According to the differences between two types of nets, i.e., choice-free and link-free nets, and non-choice-free and non-link-free nets, two methods are used to transform them into the same class of square matrices. We then obtain sufficient conditions for structure boundedness, conservativeness, repetitiveness and consistency based on the theory of M-matrices. An example of radar model is given to show application in analyzing Petri net structures.
Key words: Petri net; structural analysis; incidence matrix; eigenvalue
/
| 〈 |
|
〉 |