Back to Search
Start Over
Calculation of Siphons and Minimal Siphons in Petri Nets Based on Semi-Tensor Product of Matrices.
- Source :
- IEEE Transactions on Systems, Man & Cybernetics. Systems; Mar2017, Vol. 47 Issue 3, p531-536, 6p
- Publication Year :
- 2017
-
Abstract
- In this paper, we address the problems of enumerating siphons and minimal siphons in ordinary Petri nets (PNs) by resorting to the semi-tensor product (STP) of matrices. First, a matrix equation, called the siphon equation (SE), is established by using STP. Second, an algorithm is proposed to calculate all siphons in ordinary PNs. An example is presented to illustrate the theoretical results and show that the proposed method is more effective than other existing methods in calculating all siphons of PNs. Third, an efficient recursion algorithm is also proposed, which can be applied to computing all minimal siphons for any ordinary PNs. Last, some results on the computational complexity of the proposed algorithms, in this paper, are provided, as well as experimental results. [ABSTRACT FROM PUBLISHER]
- Subjects :
- SIPHONS
PETRI nets
RECURSION theory
Subjects
Details
- Language :
- English
- ISSN :
- 21682216
- Volume :
- 47
- Issue :
- 3
- Database :
- Complementary Index
- Journal :
- IEEE Transactions on Systems, Man & Cybernetics. Systems
- Publication Type :
- Academic Journal
- Accession number :
- 121551314
- Full Text :
- https://doi.org/10.1109/TSMC.2015.2507162