Calculation of siphons and traps in Petri nets using semi-tensor product of matrices
HAN Xiao-guang
CHEN Zeng-qiang
LIU Zhong-xin
ZHANG Qing
Abstract：We address the problems of calculating siphons and traps in ordinary Petri nets (PNs) by resorting to the semi-tensor product (STP) of matrices. First, two matrix equations, called the siphon equation (SE) and trap equation (TE), respectively, are established by using STP. Second, it is proved that the problems of calculating all of the siphons and the traps in PNs are equivalent to solve all nonzero solutions of SE and TE, respectively. An algorithm is proposed to calculate all siphons and traps in PNs. Finally, an example and some experimental results are presented to illustrate the theoretical results and show that the proposed approach is more effective than the existing approach in calculating all siphons and traps in PNs. The proposed approach only requires matrix manipulations.
Keywords：Petri nets (PNs)siphontrapthe semi-tensor product (STP) of matricessiphon equation (SE)trap equation (TE)
Publication Date：2016-01-01
Online Publishing Date：2025-08-15(First online date of this platform, not the publication date of the document)
Pages：7( 849-855 )