On the analysis of some structural properties of Petri nets

Some structural properties of a general Petri net (PN) are considered. The paper endeavors to improve the link between PNs, the theory of matrix analysis, and linear inequalities. Necessary and/or sufficient conditions for consistency, conservativeness, boundedness, and repetitiveness are given in terms of certain determinants of the incidence matrix of the net. Besides, when the incidence matrix is square, theorems are derived in terms of the modified-incidence-matrix eigenvalues and, thus, inherently reduce the state-space explosion problem. Examples are worked out to illustrate the results.

[1]  M. Fiedler,et al.  Some generalizations of positive definiteness and monotonicity , 1966 .

[2]  Tadao Murata,et al.  Petri nets: Properties, analysis and applications , 1989, Proc. IEEE.

[3]  Richard M. Karp,et al.  Parallel Program Schemata , 1969, J. Comput. Syst. Sci..

[4]  Debasis Mitra,et al.  P Matrices and Solutions to a Class of Linear Inequalities , 1973 .

[5]  David K. Smith.  Theory of Linear and Integer Programming , 1987 .

[6]  Robert J. Plemmons,et al.  Nonnegative Matrices in the Mathematical Sciences , 1979, Classics in Applied Mathematics.

[7]  Y. Edmund Lien.  Termination Properties of Generalized Petri Nets , 1976, SIAM J. Comput..

[8]  P. Gordan.  Ueber die Auflösung linearer Gleichungen mit reellen Coefficienten , 1873 .

[9]  Wei Zeng,et al.  Invariant-preserving transformations for the verification of place/transition systems , 1998, IEEE Trans. Syst. Man Cybern. Part A.

[10]  M. Fiedler,et al.  On matrices with non-positive off-diagonal elements and positive principal minors , 1962 .

[11]  Ursula Martin,et al.  How to Choose Weights in the Knuth Bendix Ordering , 1987, RTA.

[12]  Noureddine Zerhouni,et al.  Some subclasses of Petri nets and the analysis of their structural properties: a new approach , 1999, IEEE Trans. Syst. Man Cybern. Part A.

[13]  Gérard Berthelot,et al.  Petri Nets Theory for the Correctness of Protocols , 1982, PSTV.

[14]  Harold William Kuhn,et al.  Linear Inequalities and Related Systems. (AM-38) , 1957 .

[15]  Th. Motzkin.  Beiträge zur Theorie der linearen Ungleichungen , 1936 .