logo

SCIENCE CHINA Information Sciences, Volume 62, Issue 9: 192202(2019) https://doi.org/10.1007/s11432-018-9562-y

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

More info
  • ReceivedApr 28, 2018
  • AcceptedAug 3, 2018
  • PublishedJul 30, 2019

Abstract

In this study, the stability and stabilization problem of a colored Petri net based on the semi-tensor 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.


References

[1] Murata T. Petri nets: Properties, analysis and applications. Proc IEEE, 1989, 77: 541-580 CrossRef Google Scholar

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

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

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

[5] Yamalidou K, Moody J, Lemmon M. Feedback control of petri nets based on place invariants. Automatica, 1996, 32: 15-28 CrossRef 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. Google Scholar

[7] Mahulea C, Recalde L, Silva M. Optimal observability for continuous Petri nets. IFAC Proc Volumes, 2005, 38: 37--42. 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. Google Scholar

[9] Giua A, Seatzu C. A systems theory view of Petri nets. IFAC Proc Volumes, 2004, 37: 17--19. Google Scholar

[10] Zhao J, Chen Z, Liu Z. Modeling and analysis of colored petri net based on the semi-tensor product of matrices. Sci China Inf Sci, 2018, 61: 010205 CrossRef 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. Google Scholar

[12] Cheng D, Qi H. A Linear Representation of Dynamics of Boolean Networks. IEEE Trans Automat Contr, 2010, 55: 2251-2258 CrossRef 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. Google Scholar

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

[15] Yan Y, Chen Z, Liu Z. Semi-tensor product approach to controllability and stabilizability of finite automata. J Syst Eng Electron, 2015, 26: 134-141 CrossRef Google Scholar

[16] Cheng D, Qi H, He F. Semi-tensor product approach to networked evolutionary games. Control Theor Technol, 2014, 12: 198-214 CrossRef Google Scholar

[17] Cheng D. On finite potential games. Automatica, 2014, 50: 1793-1801 CrossRef Google Scholar

[18] Cheng D, He F, Qi H. Modeling, Analysis and Control of Networked Evolutionary Games. IEEE Trans Automat Contr, 2015, 60: 2402-2415 CrossRef Google Scholar

[19] Han X, Chen Z, Liu Z. 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 CrossRef 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. Google Scholar

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

Copyright 2020 Science China Press Co., Ltd. 《中国科学》杂志社有限责任公司 版权所有

京ICP备18024590号-1       京公网安备11010102003388号