References
[1]
Murata
T.
Petri nets: Properties, analysis and applications.
Proc IEEE,
1989, 77: 541-580
CrossRef
Google Scholar
http://scholar.google.com/scholar_lookup?title=Petri nets: Properties, analysis and applications&author=Murata T&publication_year=1989&journal=Proc IEEE&volume=77&pages=541-580
[2]
Jensen K. Coloured Petri Nets: Basic Concepts, Analysis Methods and Practical Use, Volume 1, Basic Concepts. Berlin: Springer, 1992.
Google Scholar
http://scholar.google.com/scholar_lookup?title=Jensen K. Coloured Petri Nets: Basic Concepts, Analysis Methods and Practical Use, Volume 1, Basic Concepts. Berlin: Springer, 1992&
[3]
Jensen K. Coloured Petri Nets: Basic Concepts, Analysis Methods and Practical Use, Volume 2, Analysis Methods. Berlin: Springer, 1995.
Google Scholar
http://scholar.google.com/scholar_lookup?title=Jensen K. Coloured Petri Nets: Basic Concepts, Analysis Methods and Practical Use, Volume 2, Analysis Methods. Berlin: Springer, 1995&
[4]
Jensen K. Coloured Petri Nets: Basic Concepts, Analysis Methods and Practical Use, Volume 3, Practical Use. Berlin: Springer, 1996.
Google Scholar
http://scholar.google.com/scholar_lookup?title=Jensen K. Coloured Petri Nets: Basic Concepts, Analysis Methods and Practical Use, Volume 3, Practical Use. Berlin: Springer, 1996&
[5]
Yamalidou
K,
Moody
J,
Lemmon
M.
Feedback control of petri nets based on place invariants.
Automatica,
1996, 32: 15-28
CrossRef
Google Scholar
http://scholar.google.com/scholar_lookup?title=Feedback control of petri nets based on place invariants&author=Yamalidou K&author=Moody J&author=Lemmon M&publication_year=1996&journal=Automatica&volume=32&pages=15-28
[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
http://scholar.google.com/scholar_lookup?title=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&
[7]
Mahulea C, Recalde L, Silva M. Optimal observability for continuous Petri nets. IFAC Proc Volumes, 2005, 38: 37--42.
Google Scholar
http://scholar.google.com/scholar_lookup?title=Mahulea C, Recalde L, Silva M. Optimal observability for continuous Petri nets. IFAC Proc Volumes, 2005, 38: 37--42&
[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
http://scholar.google.com/scholar_lookup?title=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&
[9]
Giua A, Seatzu C. A systems theory view of Petri nets. IFAC Proc Volumes, 2004, 37: 17--19.
Google Scholar
http://scholar.google.com/scholar_lookup?title=Giua A, Seatzu C. A systems theory view of Petri nets. IFAC Proc Volumes, 2004, 37: 17--19&
[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
http://scholar.google.com/scholar_lookup?title=Modeling and analysis of colored petri net based on the semi-tensor product of matrices&author=Zhao J&author=Chen Z&author=Liu Z&publication_year=2018&journal=Sci China Inf Sci&volume=61&pages=010205
[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
http://scholar.google.com/scholar_lookup?title=Cheng D Z. Semi-tensor product of matrices and its application to Morgens problem. Sci China Ser F-Inf Sci, 2001, 44: 195--212&
[12]
Cheng
D,
Qi
H.
A Linear Representation of Dynamics of Boolean Networks.
IEEE Trans Automat Contr,
2010, 55: 2251-2258
CrossRef
Google Scholar
http://scholar.google.com/scholar_lookup?title=A Linear Representation of Dynamics of Boolean Networks&author=Cheng D&author=Qi H&publication_year=2010&journal=IEEE Trans Automat Contr&volume=55&pages=2251-2258
[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
http://scholar.google.com/scholar_lookup?title=Cheng D Z, Qi H S. Analysis and control of Boolean networks: a semi-tensor product approach. Acta Autom Sin, 2011, 37: 529--540&
[14]
Xu X R, Hong Y G. Matrix expression and reachability analysis of finite automata. Control Theory Technol, 2012, 10: 210--215.
Google Scholar
http://scholar.google.com/scholar_lookup?title=Xu X R, Hong Y G. Matrix expression and reachability analysis of finite automata. Control Theory Technol, 2012, 10: 210--215&
[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
http://scholar.google.com/scholar_lookup?title=Semi-tensor product approach to controllability and stabilizability of finite automata&author=Yan Y&author=Chen Z&author=Liu Z&publication_year=2015&journal=J Syst Eng Electron&volume=26&pages=134-141
[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
http://scholar.google.com/scholar_lookup?title=Semi-tensor product approach to networked evolutionary games&author=Cheng D&author=Qi H&author=He F&publication_year=2014&journal=Control Theor Technol&volume=12&pages=198-214
[17]
Cheng
D.
On finite potential games.
Automatica,
2014, 50: 1793-1801
CrossRef
Google Scholar
http://scholar.google.com/scholar_lookup?title=On finite potential games&author=Cheng D&publication_year=2014&journal=Automatica&volume=50&pages=1793-1801
[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
http://scholar.google.com/scholar_lookup?title=Modeling, Analysis and Control of Networked Evolutionary Games&author=Cheng D&author=He F&author=Qi H&publication_year=2015&journal=IEEE Trans Automat Contr&volume=60&pages=2402-2415
[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
http://scholar.google.com/scholar_lookup?title=Calculation of Siphons and Minimal Siphons in Petri Nets Based on Semi-Tensor Product of Matrices&author=Han X&author=Chen Z&author=Liu Z&publication_year=2017&journal=IEEE Trans Syst Man Cybern Syst&volume=47&pages=531-536
[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
http://scholar.google.com/scholar_lookup?title=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
http://scholar.google.com/scholar_lookup?title=Ross K A, Kenneth H. Discrete Mathematics-5th Editon. Englewood Cliffs: Prentice Hall. 1992&