Skip to main content
SpringerLink
Log in

An Improved Algorithm for Siphons and Minimal Siphons in Petri Nets Based on Semi-tensor Product of Matrices

  • Conference paper
  • First Online:
Proceedings of 2016 Chinese Intelligent Systems Conference (CISC 2016)

Part of the book series: Lecture Notes in Electrical Engineering ((LNEE,volume 405))

Included in the following conference series:

  • 987 Accesses

Abstract

This paper proposes an improved algorithm for enumerating siphons and minimal siphons of Petri nets (PNs) in the framework of [18]. First, the logical equation of each transition is converted into a matrix equation by using the semi-tensor product (STP) of matrices, and then the matrix equation group of the PNs is obtained. Second, an improved algorithm is proposed to calculate the siphons and minimal siphons, respectively. Finally, two illustrative examples are presented to show the efficiency and application of the improved algorithm.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 84.99
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 109.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info
Hardcover Book
USD 109.99
Price excludes VAT (USA)
  • Durable hardcover edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

References

  1. Zurawsk Richard, Mengchu Zhou (1994) Petri nets and industrial applications: a tutorial. IEEE Trans Industr Electron 41(6):567–583

    Google Scholar 

  2. Radford P (1981) Petri net theory and the modeling of systems. Prentice Hall PTR

    Google Scholar 

  3. Murata Tadao (1989) Petri nets: properties, analysis and applications. Proc IEEE 77(4):541–580

    Article  Google Scholar 

  4. Cassandras Christos G, Lafortune Stephane (2001) Introduction to discrete event systems. Springer, US

    MATH  Google Scholar 

  5. Ezpeleta J, Colom JM, Martinez J (1992) A Petri net based deadlock prevention policy for flexible manufacturing systems. IEEE Trans Robot Autom 173−184

    Google Scholar 

  6. Zhiwu Li, Mengchu Zhou (2004) Elementary siphons of petri nets and their application to deadlock prevention in flexible manufacturing systems. IEEE Trans Syst Man Cybern Part A Syst Hum 34(1):38–51

    Article  Google Scholar 

  7. Huixia Liu, Keyi Xing, Weimin Wu et al (2015) Deadlock prevention for flexible manufacturing systems via controllable siphon basis of Petri nets. IEEE Trans Syst Man Cybern Syst 45(3):519–529

    Article  Google Scholar 

  8. Tianhua Xu, Tao Tang (2007) The modeling and analysis of Data Communication System (DCS) in Communication Based Train Control (CBTC) with colored Petri nets. In: Eighth international symposium on autonomous decentralized systems

    Google Scholar 

  9. Yufeng Chen, Zhizu Li, Barkaoui Kamel et al (2015) On the enforcement of a class of nonlinear constraints on Petri nets. Automatica 55:116–124

    Article  MathSciNet  Google Scholar 

  10. Hesuan Hu, Zhiwu Li (2008) Efficient deadlock prevention policy in automated manufacturing systems using exhausted resources. Int J Adv Manuf Technol 40(5):566–571

    Google Scholar 

  11. Barkaoui K, Minoux M (1992) A polynomial-time graph algorithm to decide liveness of some basic classes of bounded Petri nets. In: International conference on application and theory of Petri nets. Springer-Verlag, pp 62−75

    Google Scholar 

  12. Zhiwu Li, Mengchu Zhou (2008) On siphon computation for deadlock control in a class of Petri nets. Syst Man Cybern Part A Syst Hum IEEE Trans 38(3):667–679

    Google Scholar 

  13. Yamaguchi Masahiro, Watanabe Toshimasa (1999) Time complexity analysis of the minimal siphon extraction problem of Petri nets. IEICE Trans Fundam Electron Commun Comput 82(11):2558–2565

    Google Scholar 

  14. Wegrzyn Agnieszka, Karatkevich Andrei, Bieganowski Jacek (2004) Detection of deadlocks and traps in Petri nets by means of thelen’s prime implicant method. Int J Appl Math Comput Sci 14(1):113–121

    MathSciNet  MATH  Google Scholar 

  15. Yufeng Chen, Gaiyun Liu (2013) Computation of minimal siphons in petri nets by using binary decision diagrams. Acm Trans Embed Comput Syst 12(1):1–15

    Google Scholar 

  16. Erwin boer R, Murata Tadao (1994) Generating basis siphons and traps of Petri nets using sign incidence matrix. IEEE Trans Circuits Syst I Fundam Theory Appl 41(4):266–271

    Article  MathSciNet  Google Scholar 

  17. Xiaoguang Han, Zengqiang Chen, Zhongxin Liu, et al (2015) Calculation of siphons and minimal siphons in Petri nets based on semi-tensor product of matrices. IEEE Trans Syst Man, Cybern: Syst in press, doi:10.1109/TSMC.2015.2507162

    Google Scholar 

  18. Daizhan Cheng, Hong Qi, Yin Zhao (2012) An introduction to semi-tensor product of matrices and its applications. In: An introduction to semi-tensor product of matrices and its applications, p 612

    Google Scholar 

  19. Daizhan Cheng, Hongsheng Qi, Zhiqiang Li (2011) Analysis and control of Boolean networks. In: Communications & Control Engineering

    Google Scholar 

  20. Daizhan Cheng, Fenghua He, Hongsheng Qi et al (2015) Modeling, analysis and control of networked evolutionary games. IEEE Trans Autom Control 60(9):2402–2415

    Article  MathSciNet  Google Scholar 

  21. Xiangru Xu, Yiguang Hong (2012) Matrix expression and reachability analysis of finite automata. J Control Theory Appl 10(2):210–215

    Google Scholar 

  22. Xiaoguang Han, Zengqiang Chen, Zhongxin Liu, et al (2016) Calculation Basis siphons of Petri nets based on semi-tensor product of matrices. In: Proceeding of 35th chinese control conference

    Google Scholar 

  23. Ezpeleta J, Colom JM, Martinez J (1992) A Petri net based deadlock prevention policy for flexible manufacturing systems. IEEE Trans Robot Autom173−184

    Google Scholar 

Download references

Acknowledgments

This work was supported in part by the Natural Science Foundation of China Under Grants of 61573199 and 61573200, the Tianjin Natural Science Foundation Grant No. 14JCYBJC18700.

Author information

Authors and Affiliations

  1. College of Computer and Control Engineering, Nankai University, Tianjin, 300350, China

    Jingjing Wang, Xiaoguang Han & Zengqiang Chen

  2. Tianjin Key Laboratory of Intelligent Robotics, Tianjin, 300350, China

    Jingjing Wang, Xiaoguang Han & Zengqiang Chen

  3. College of Science, Civil Aviation University of China, Tianjin, 300300, China

    Zengqiang Chen & Qing Zhang

Authors
  1. Jingjing Wang
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Xiaoguang Han
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Zengqiang Chen
    View author publications

    You can also search for this author in PubMed Google Scholar

  4. Qing Zhang
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Zengqiang Chen .

Editor information

Editors and Affiliations

  1. Beihang University , Beijing, China

    Yingmin Jia

  2. Beijing University of Posts and Telecommunications, Beijing, China

    Junping Du

  3. University of Science and Technology Beijing, Beijing, China

    Weicun Zhang

  4. Tsinghua University , Beijing, China

    Hongbo Li

Rights and permissions

Reprints and permissions

Copyright information

© 2016 Springer Science+Business Media Singapore

About this paper

Cite this paper

Wang, J., Han, X., Chen, Z., Zhang, Q. (2016). An Improved Algorithm for Siphons and Minimal Siphons in Petri Nets Based on Semi-tensor Product of Matrices. In: Jia, Y., Du, J., Zhang, W., Li, H. (eds) Proceedings of 2016 Chinese Intelligent Systems Conference. CISC 2016. Lecture Notes in Electrical Engineering, vol 405. Springer, Singapore. https://doi.org/10.1007/978-981-10-2335-4_35

Download citation

  • DOI: https://doi.org/10.1007/978-981-10-2335-4_35

  • Published:

  • Publisher Name: Springer, Singapore

  • Print ISBN: 978-981-10-2334-7

  • Online ISBN: 978-981-10-2335-4

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation