Analysis of structural properties of Petri nets based on product incidence matrix
This paper presents some structural properties of a generalized Petri net (PN) with an algorithm to determine the (partial) conservativeness and (partial) consistency of the net. A product incidence matrix or is defined and used to further improve the relations among PNs, linear inequalities and matrix analysis. Thus, based on Cramer’s Rule, a new approach for the study of the solution of a linear system is given in terms of certain sub-determinants of the coefficient matrix and an efficient...