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


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