USE OF RANK OF INCIDENCE MATRIX FOR JUDGEMENT FAIRNESS OF PETRI NETS
利用关联矩阵的秩判断Petri网的公平性

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.