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, access via your institution.
Buy single article
Instant access to the full article PDF.
Tax calculation will be finalised during checkout.
Murata T. Petri nets: properties, analysis and applications. Proc IEEE, 1989, 77: 541–580
Jensen K. Coloured Petri Nets: Basic Concepts, Analysis Methods and Practical Use, Volume 1, Basic Concepts. Berlin: Springer, 1992
Jensen K. Coloured Petri Nets: Basic Concepts, Analysis Methods and Practical Use, Volume 2, Analysis Methods. Berlin: Springer, 1995
Jensen K. Coloured Petri Nets: Basic Concepts, Analysis Methods and Practical Use, Volume 3, Practical Use. Berlin: Springer, 1996
Yamalidou K, Moody J, Lemmon M, et al. Feedback control of petri nets based on place invariants. Automatica, 1996, 32: 15–28
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
Mahulea C, Recalde L, Silva M. Optimal observability for continuous Petri nets. IFAC Proc Volumes, 2005, 38: 37–42
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
Giua A, Seatzu C. A systems theory view of Petri nets. IFAC Proc Volumes, 2004, 37: 17–19
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
Cheng D Z. Semi-tensor product of matrices and its application to Morgens problem. Sci China Ser F-Inf Sci, 2001, 44: 195–212
Cheng D Z, Qi H S. A linear representation of dynamics of Boolean networks. IEEE Trans Autom Control, 2010, 55: 2251–2258
Cheng D Z, Qi H S. Analysis and control of Boolean networks: a semi-tensor product approach. Acta Autom Sin, 2011, 37: 529–540
Xu X R, Hong Y G. Matrix expression and reachability analysis of finite automata. Control Theory Technol, 2012, 10: 210–215
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
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
Cheng D Z. On finite potential games. Automatica, 2014, 50: 1793–1801
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
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
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
Ross K A, Kenneth H. Discrete Mathematics-5th Editon. Englewood Cliffs: Prentice Hall. 1992
This work was supported by National Natural Science Foundation of China (Grant No. 61573199).
About this article
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
- discrete event system
- colored Petri net
- semi-tensor product of matrices
- equilibrium point