利用关联矩阵的秩判断Petri网的公平性

USE OF RANK OF INCIDENCE MATRIX FOR JUDGEMENT FAIRNESS OF PETRI NETS

本文对有界Ｐｅｔｒｉ网的公平性与分组公平性以及无界Ｐｅｔｒｉ网的公平性分别得到了利用关联矩阵的秩进行判断的一组充要条件，这些条件使用起来是非常方便的．

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.