| 摘要: |
| 本文对有界Ｐｅｔｒｉ网的公平性与分组公平性以及无界Ｐｅｔｒｉ网的公平性分别得到了利用关联矩阵的秩进行判断的一组充要条件，这些条件使用起来是非常方便的． |
| 关键词: Petri网，公平性，秩，矩阵 |
| DOI： |
| 分类号: |
| 基金项目:国家自然科学基金 |
|
| USE OF RANK OF INCIDENCE MATRIX FOR JUDGEMENT FAIRNESS OF PETRI NETS |
|
Wang Peiliang,Jiang Changjun
|
| Abstract: |
| This paper investigates a group of necessary and sufficient conditions for judgement fairness and grouping fairness of bounded Petri nets and fairness of unbounded Petri nets using the rank of incidence matrix. These conditions are very convenient for use. |
| Key words: Petri net, fairness, rank, matrix. |
