论文信息 - On analysis of Petri net properties based on transitive matrix

On analysis of Petri net properties based on transitive matrix

Petri nets (PNs) are a useful graphical and mathematical tool to model and analyze discrete event systems. In this paper, the authors provide a new concept to analyze PN properties based on graph theory. First, they show the method to convert PNs into directed graphs, and then introduce the transitive matrices of PNs. Second, structural properties are examined using the characteristic polynomial and equation of the transitive matrices, and applying the Mason's theorem derived from signal-flow-graphs. Furthermore, behavioral properties concerning the transition firing orders are discussed using the power of the transitive matrices.

[1] Takashi Sekiguchi,et al. A Method for Analyzing Petri Net Structure and Adding Counter-Places to Its Incidence Matrix , 1993 .

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

[3] Charles R. Johnson,et al. Matrix analysis , 1985, Statistical Inference for Engineers and Data Scientists.

[4] Samuel J. Mason,et al. Feedback Theory-Some Properties of Signal Flow Graphs , 1953, Proceedings of the IRE.

[5] V. Balakrishnan,et al. Graph Theory , 1997 .

[6] Takashi Sekiguchi,et al. On the Relationship between Petri Net Structure and Directed Graph , 1998 .

[7] Takashi Sekiguchi,et al. A Method to Determine the Number of Firings by Classification of Petri Net Structure and Addition of Counter Place , 1989 .