Skip to main content
SpringerLink
Log in

A novel matrix approach for the stability and stabilization analysis of colored Petri nets

  • Research Paper
  • Published:
Science China Information Sciences Aims and scope Submit manuscript

Abstract

In this study, the stability and stabilization problem of a colored Petri net based on the semitensor product of matrices is investigated. First, the marking evolution equation of the colored Petri net in a Boolean algebra framework is established, and the necessary and sufficient condition for the stability of the equilibrium point of the colored Petri net is given. Then, the concept of the pre-k steps reachability set is defined and is used to study the problem of marking feedback stabilization. Some properties of the pre-k steps reachability set are developed. The condition of the stabilization of the colored Petri net is given. The algorithm of the optimal marking feedback controller is designed. The proposed method in this paper could judge the stability and stabilization of the colored Petri net by matrix approach. The obtained results are simple and easy to implement by computer. An example is provided to illustrate the effectiveness of the proposed method.

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

Access this article

Log in via an institution

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Institutional subscriptions

Similar content being viewed by others

References

  1. Murata T. Petri nets: properties, analysis and applications. Proc IEEE, 1989, 77: 541–580

    Article  Google Scholar 

  2. Jensen K. Coloured Petri Nets: Basic Concepts, Analysis Methods and Practical Use, Volume 1, Basic Concepts. Berlin: Springer, 1992

    Book  MATH  Google Scholar 

  3. Jensen K. Coloured Petri Nets: Basic Concepts, Analysis Methods and Practical Use, Volume 2, Analysis Methods. Berlin: Springer, 1995

    MATH  Google Scholar 

  4. Jensen K. Coloured Petri Nets: Basic Concepts, Analysis Methods and Practical Use, Volume 3, Practical Use. Berlin: Springer, 1996

    Book  MATH  Google Scholar 

  5. Yamalidou K, Moody J, Lemmon M, et al. Feedback control of petri nets based on place invariants. Automatica, 1996, 32: 15–28

    Article  MathSciNet  MATH  Google Scholar 

  6. Mahulea C, Júlvez J, Vázquez C R, et al. Continuous Petri nets: observability and diagnosis. Lect Notes Control Inf Sci, 2013, 433: 387–406

    MathSciNet  MATH  Google Scholar 

  7. Mahulea C, Recalde L, Silva M. Optimal observability for continuous Petri nets. IFAC Proc Volumes, 2005, 38: 37–42

    Article  Google Scholar 

  8. Vázquez C R, Ramírez A, Recalde L, et al. On controllability of timed continuous Petri nets. Hybrid Syst Comput Control, 2008, 4981: 528–541

    MathSciNet  MATH  Google Scholar 

  9. Giua A, Seatzu C. A systems theory view of Petri nets. IFAC Proc Volumes, 2004, 37: 17–19

    Article  MATH  Google Scholar 

  10. Zhao J T, Chen Z Q, Liu Z X. Modeling and analysis of colored Petri net based on the semi-tensor product of matrices. Sci China Inf Sci, 2018, 61: 010205

    Article  MathSciNet  Google Scholar 

  11. Cheng D Z. Semi-tensor product of matrices and its application to Morgens problem. Sci China Ser F-Inf Sci, 2001, 44: 195–212

    Article  MathSciNet  Google Scholar 

  12. Cheng D Z, Qi H S. A linear representation of dynamics of Boolean networks. IEEE Trans Autom Control, 2010, 55: 2251–2258

    Article  MathSciNet  MATH  Google Scholar 

  13. Cheng D Z, Qi H S. Analysis and control of Boolean networks: a semi-tensor product approach. Acta Autom Sin, 2011, 37: 529–540

    MathSciNet  MATH  Google Scholar 

  14. Xu X R, Hong Y G. Matrix expression and reachability analysis of finite automata. Control Theory Technol, 2012, 10: 210–215

    MathSciNet  Google Scholar 

  15. Yan Y Y, Chen Z Q, Liu Z X. Semi-tensor product approach to controllability and stabilizability of finite automata. J Syst Eng Electron, 2015, 26: 134–141

    Article  Google Scholar 

  16. Cheng D Z, Qi H S, He F H, et al. Semi-tensor product approach to networked evolutionary games. Control Theory Technol, 2014, 12: 198–214

    Article  MathSciNet  MATH  Google Scholar 

  17. Cheng D Z. On finite potential games. Automatica, 2014, 50: 1793–1801

    Article  MathSciNet  MATH  Google Scholar 

  18. Cheng D Z, He F H, Qi H S, et al. Modeling, analysis and control of networked evolutionary games. IEEE Trans Autom Control, 2015, 60: 2402–2415

    Article  MathSciNet  MATH  Google Scholar 

  19. Han X G, Chen Z Q, Liu Z X, et al. Calculation of siphons and minimal siphons in Petri nets based on semi-tensor product of matrices. IEEE Trans Syst Man Cybern Syst, 2017, 47: 531–536

    Article  Google Scholar 

  20. Han X G, Chen Z Q, Zhang K Z, et al. Modeling and reachability analysis of a class of Petri nets via semi-tensor product of matrices. In: Proceedings of the 34th Chinese Control Conference (CCC), 2015. 6586–6591

  21. Ross K A, Kenneth H. Discrete Mathematics-5th Editon. Englewood Cliffs: Prentice Hall. 1992

    Google Scholar 

Download references

Acknowledgements

This work was supported by National Natural Science Foundation of China (Grant No. 61573199).

Author information

Authors and Affiliations

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

    Jiantao Zhao, Zengqiang Chen & Zhongxin Liu

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

    Jiantao Zhao & Zengqiang Chen

Authors
  1. Jiantao Zhao
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Zengqiang Chen
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Zhongxin Liu
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Zengqiang Chen.

Rights and permissions

Reprints and permissions

About this article

Check for updates. Verify currency and authenticity via CrossMark

Cite this article

Zhao, J., Chen, Z. & Liu, Z. A novel matrix approach for the stability and stabilization analysis of colored Petri nets. Sci. China Inf. Sci. 62, 192202 (2019). https://doi.org/10.1007/s11432-018-9562-y

Download citation

  • Received:

  • Revised:

  • Accepted:

  • Published:

  • DOI: https://doi.org/10.1007/s11432-018-9562-y

Keywords

Search

Navigation