{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,26]],"date-time":"2026-02-26T00:22:26Z","timestamp":1772065346440,"version":"3.50.1"},"reference-count":31,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[2017,12,11]],"date-time":"2017-12-11T00:00:00Z","timestamp":1512950400000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Sci. China Inf. Sci."],"published-print":{"date-parts":[[2018,1]]},"DOI":"10.1007\/s11432-017-9283-7","type":"journal-article","created":{"date-parts":[[2017,12,16]],"date-time":"2017-12-16T03:37:06Z","timestamp":1513395426000},"update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":17,"title":["Modeling and analysis of colored petri net based on the semi-tensor product of matrices"],"prefix":"10.1007","volume":"61","author":[{"given":"Jiantao","family":"Zhao","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Zengqiang","family":"Chen","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Zhongxin","family":"Liu","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2017,12,11]]},"reference":[{"key":"9283_CR1","volume-title":"In: Lectures on Concurrency and Petri Nets","author":"J Billington","year":"2004","unstructured":"Billington J, Gallasch G E, Han B. A coloured petri net approach to protocol verification. In: Lectures on Concurrency and Petri Nets. Berlin: Springer, 2004"},{"key":"9283_CR2","doi-asserted-by":"crossref","first-page":"339","DOI":"10.1023\/A:1019920324813","volume":"13","author":"K Saitou","year":"2002","unstructured":"Saitou K, Malpathak S, Qvam H. Robust design of flexible manufacturing systems using, colored petri net and genetic algorithm. J Intell Manuf, 2002, 13: 339\u2013351","journal-title":"J Intell Manuf"},{"key":"9283_CR3","doi-asserted-by":"crossref","first-page":"327","DOI":"10.1109\/70.585896","volume":"13","author":"J Ezpeleta","year":"1997","unstructured":"Ezpeleta J, Colom J M. Automatic synthesis of colored petri nets for the control of FMS. IEEE Trans Robot Autom, 1997, 13: 327\u2013337","journal-title":"IEEE Trans Robot Autom"},{"key":"9283_CR4","first-page":"607","volume-title":"High-level Petri Nets","author":"R M Shapiro","year":"1991","unstructured":"Shapiro R M. Validation of a VLSI chip using hierarchical colored petri nets. In: High-level Petri Nets. Berlin: Springer, 1991. 607\u2013625"},{"key":"9283_CR5","volume-title":"Proceedings of IEEE International Conference on Robotics and Automation","author":"N Viswanadham","year":"1987","unstructured":"Viswanadham N, Narahari Y. Coloured petri net models for automated manufacturing systems. In: Proceedings of IEEE International Conference on Robotics and Automation, Raleigh, 1987"},{"key":"9283_CR6","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-662-06289-0","volume-title":"Coloured Petri Nets: Basic Concepts","author":"K Jensen","year":"1992","unstructured":"Jensen K. Coloured Petri Nets: Basic Concepts, Analysis Methods and Practical Use, Volume 1, Basic Concepts. Berlin: Springer, 1992"},{"key":"9283_CR7","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-60794-3","volume-title":"Coloured Petri Nets: Basic Concepts","author":"K Jensen","year":"1997","unstructured":"Jensen K. Coloured Petri Nets: Basic Concepts, Analysis Methods and Practical Use, Volume 2, Analysis Methods. Berlin: Springer, 1997"},{"key":"9283_CR8","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-60794-3","volume-title":"Coloured Petri Nets: Basic Concepts","author":"K Jensen","year":"1997","unstructured":"Jensen K. Coloured Petri Nets: Basic Concepts, Analysis Methods and Practical Use, Volume 3. Berlin: Springer, 1997"},{"key":"9283_CR9","doi-asserted-by":"crossref","first-page":"080105","DOI":"10.1007\/s11432-016-5598-5","volume":"59","author":"Z H Ding","year":"2016","unstructured":"Ding Z H, Jiang M Y, Chen H B, et al. Petri net based test case generation for evolved specification. Sci China Inf Sci, 2016, 59: 080105","journal-title":"Sci China Inf Sci"},{"key":"9283_CR10","doi-asserted-by":"crossref","first-page":"195","DOI":"10.1007\/BF02714570","volume":"44","author":"D Z Cheng","year":"2001","unstructured":"Cheng D Z. Semi-tensor product of matrices and its application to Morgen\u2019s problem. Sci China Ser F-Inf Sci, 2001, 44: 195\u2013212","journal-title":"Sci China Ser F-Inf Sci"},{"key":"9283_CR11","doi-asserted-by":"crossref","first-page":"213","DOI":"10.1007\/978-0-85729-097-7_9","volume-title":"Analysis and Control of Boolean Networks","author":"D Z Cheng","year":"2011","unstructured":"Cheng D Z, Qi H S, Li Z Q. Controllability and observability of boolean control networks. In: Analysis and Control of Boolean Networks. Berlin: Springer, 2011. 213\u2013231"},{"key":"9283_CR12","doi-asserted-by":"crossref","first-page":"2251","DOI":"10.1109\/TAC.2010.2043294","volume":"55","author":"D Z Cheng","year":"2010","unstructured":"Cheng D Z, Qi H S. A linear representation of dynamics of Boolean networks. IEEE Trans Autom Control, 2010, 55: 2251\u20132258","journal-title":"IEEE Trans Autom Control"},{"key":"9283_CR13","doi-asserted-by":"crossref","first-page":"2","DOI":"10.1109\/TAC.2010.2050161","volume":"56","author":"D Z Cheng","year":"2011","unstructured":"Cheng D Z. Disturbance decoupling of Boolean control networks. IEEE Trans Autom Control, 2011, 56: 2\u201310","journal-title":"IEEE Trans Autom Control"},{"key":"9283_CR14","doi-asserted-by":"crossref","first-page":"022202","DOI":"10.1007\/s11432-015-0611-4","volume":"60","author":"H T Li","year":"2017","unstructured":"Li H T, Wang Y Z, Guo P L. Output reachability analysis and output regulation control design of Boolean control networks. Sci China Inf Sci, 2017, 60: 022202","journal-title":"Sci China Inf Sci"},{"key":"9283_CR15","doi-asserted-by":"crossref","first-page":"070107","DOI":"10.1007\/s11432-016-5579-8","volume":"59","author":"H W Chen","year":"2016","unstructured":"Chen H W, Liang J L, Wang Z D. Pinning controllability of autonomous Boolean control networks. Sci China Inf Sci, 2016, 59: 070107","journal-title":"Sci China Inf Sci"},{"key":"9283_CR16","first-page":"1","volume":"99","author":"R J Liu","year":"2017","unstructured":"Liu R J, Lu J Q, Liu Y, et al. Delayed feedback control for stabilization of Boolean control networks with state delay. IEEE Trans Neural Netw Learn Syst, 2017, 99: 1\u20136","journal-title":"IEEE Trans Neural Netw Learn Syst"},{"key":"9283_CR17","doi-asserted-by":"crossref","first-page":"258","DOI":"10.1109\/TCYB.2015.2513068","volume":"47","author":"H W Chen","year":"2016","unstructured":"Chen H W, Liang J L, Lu J Q. Partial synchronization of interconnected Boolean networks. IEEE Trans Cybern, 2016, 47: 258\u2013266","journal-title":"IEEE Trans Cybern"},{"key":"9283_CR18","doi-asserted-by":"crossref","first-page":"340","DOI":"10.1016\/j.automatica.2014.12.018","volume":"52","author":"Y Liu","year":"2015","unstructured":"Liu Y, Chen H W, Lu J Q, et al. Controllability of probabilistic Boolean control networks based on transition probability matrices. Automatica, 2015, 52: 340\u2013345","journal-title":"Automatica"},{"key":"9283_CR19","doi-asserted-by":"crossref","first-page":"092204","DOI":"10.1007\/s11432-015-5423-6","volume":"59","author":"K Z Zhang","year":"2016","unstructured":"Zhang K Z, Zhang L J. Controllability of probabilistic Boolean control networks with time-variant delays in states. Sci China Inf Sci, 2016, 59: 092204","journal-title":"Sci China Inf Sci"},{"key":"9283_CR20","doi-asserted-by":"crossref","first-page":"032202","DOI":"10.1007\/s11432-015-5369-8","volume":"59","author":"Y Q Guo","year":"2016","unstructured":"Guo Y Q. Controllability of Boolean control networks with state-dependent constraints. Sci China Inf Sci, 2016, 59: 032202","journal-title":"Sci China Inf Sci"},{"key":"9283_CR21","doi-asserted-by":"crossref","first-page":"210","DOI":"10.1007\/s11768-012-1178-4","volume":"10","author":"X R Xu","year":"2012","unstructured":"Xu X R, Hong Y G. Matrix expression and reachability analysis of finite automata. J Control Theory Appl, 2012, 10: 210\u2013215","journal-title":"J Control Theory Appl"},{"key":"9283_CR22","doi-asserted-by":"crossref","first-page":"1609","DOI":"10.1049\/iet-cta.2013.0096","volume":"7","author":"X R Xu","year":"2013","unstructured":"Xu X R, Hong Y G. Observability analysis and observer design for finite automata via matrix approach. IET Control Theory Appl, 2013, 7: 1609\u20131615","journal-title":"IET Control Theory Appl"},{"key":"9283_CR23","doi-asserted-by":"crossref","first-page":"1793","DOI":"10.1016\/j.automatica.2014.05.005","volume":"50","author":"D Z Cheng","year":"2014","unstructured":"Cheng D Z. On finite potential games. Automatica, 2014, 50: 1793\u20131801","journal-title":"Automatica"},{"key":"9283_CR24","doi-asserted-by":"crossref","first-page":"2402","DOI":"10.1109\/TAC.2015.2404471","volume":"60","author":"D Z Cheng","year":"2015","unstructured":"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\u20132415","journal-title":"IEEE Trans Autom Control"},{"key":"9283_CR25","doi-asserted-by":"crossref","first-page":"052204","DOI":"10.1007\/s11432-015-5376-9","volume":"59","author":"P L Guo","year":"2016","unstructured":"Guo P L, Wang Y Z, Li H T. Stable degree analysis for strategy profiles of evolutionary networked games. Sci China Inf Sci, 2016, 59: 052204","journal-title":"Sci China Inf Sci"},{"key":"9283_CR26","doi-asserted-by":"crossref","first-page":"092209","DOI":"10.1007\/s11432-016-5532-x","volume":"59","author":"Y Z Wang","year":"2016","unstructured":"Wang Y Z, Cheng D Z. Dynamics and stability for a class of evolutionary games with time delays in strategies. Sci China Inf Sci, 2016, 59: 092209","journal-title":"Sci China Inf Sci"},{"key":"9283_CR27","doi-asserted-by":"crossref","first-page":"173","DOI":"10.1007\/s11768-014-0137-7","volume":"12","author":"Y Y Yan","year":"2014","unstructured":"Yan Y Y, Chen Z Q, Liu Z X. Solving type-2 fuzzy relation equations via semi-tensor product of matrices. Control Theory Technol, 2014, 12: 173\u2013186","journal-title":"Control Theory Technol"},{"key":"9283_CR28","doi-asserted-by":"crossref","first-page":"531","DOI":"10.1109\/TSMC.2015.2507162","volume":"47","author":"X G Han","year":"2017","unstructured":"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\u2013536","journal-title":"IEEE Trans Syst Man Cybern Syst"},{"key":"9283_CR29","first-page":"6586","volume-title":"Proceedings of the 34th Chinese Control Conferences","author":"X G Han","year":"2015","unstructured":"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 Conferences, Hangzhou, 2015. 6586\u20136591"},{"key":"9283_CR30","doi-asserted-by":"crossref","first-page":"2027","DOI":"10.1002\/asjc.1294","volume":"18","author":"Y Y Yan","year":"2016","unstructured":"Yan Y Y, Chen Z Q, Yue J M, et al. STP approach to model controlled automata with application to reachability analysis of DEDS. Asian J Control, 2016, 18: 2027\u20132036","journal-title":"Asian J Control"},{"key":"9283_CR31","doi-asserted-by":"crossref","first-page":"958","DOI":"10.1119\/1.15756","volume":"56","author":"I S Gradshteyn","year":"1988","unstructured":"Gradshteyn I S, Ryzhik I M, Romer R H. Tables of integrals, series, and products. Am J Phys, 1988, 56: 958","journal-title":"Am J Phys"}],"container-title":["Science China Information Sciences"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11432-017-9283-7.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s11432-017-9283-7\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11432-017-9283-7.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,8,10]],"date-time":"2022-08-10T18:03:55Z","timestamp":1660154635000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s11432-017-9283-7"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017,12,11]]},"references-count":31,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2018,1]]}},"alternative-id":["9283"],"URL":"https:\/\/doi.org\/10.1007\/s11432-017-9283-7","relation":{},"ISSN":["1674-733X","1869-1919"],"issn-type":[{"value":"1674-733X","type":"print"},{"value":"1869-1919","type":"electronic"}],"subject":[],"published":{"date-parts":[[2017,12,11]]},"article-number":"010205"}}