Abstract :
A new approach, based on eigenvalues, for the study of some structural properties of Petri nets is given in this paper. Two subclasses, first defined by Holt and Commoner (1970) and studied by Lien (1976), are considered. The results on structural boundedness, liveness, repetitiveness, conservativeness, consistency, and well-structuredness of these two subclasses follow from the computation of eigenvalues of a square matrix, known as an M-matrix, obtained by a transformation of the classical incidence matrix
Keywords :
Petri nets; eigenvalues and eigenfunctions; matrix algebra; M-matrix; Petri nets; classical incidence matrix; conservativeness; consistency; eigenvalues; liveness; repetitiveness; square matrix; structural boundedness; structural properties; well-structuredness; Bars; Computer aided manufacturing; Discrete event systems; Eigenvalues and eigenfunctions; Linear algebra; Manufacturing systems; Mathematical model; Performance analysis; Petri nets; Terminology;
Conference_Titel :
Emerging Technologies and Factory Automation Proceedings, 1997. ETFA '97., 1997 6th International Conference on
