Title :
On the analysis of some structural properties of Petri nets
Author :
Bouyekhf, Rachid ; Moudni, A.E.
Author_Institution :
Lab. Syst.s et Transp.s UTBM, Belfort Technopole, France
Abstract :
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.
Keywords :
Petri nets; eigenvalues and eigenfunctions; matrix algebra; Petri nets; incidence matrix eigenvalues; linear inequality; linear-algebra method; matrix analysis; state-space explosion problem; structural properties; Eigenvalues and eigenfunctions; Explosions; Linear matrix inequalities; Petri nets; Sufficient conditions; Terminology; Testing; Linear-algebra methods; Petri nets; linear inequalities; structural properties;
Journal_Title :
Systems, Man and Cybernetics, Part A: Systems and Humans, IEEE Transactions on
DOI :
10.1109/TSMCA.2005.851323
