{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,2,21]],"date-time":"2025-02-21T01:15:44Z","timestamp":1740100544617,"version":"3.37.3"},"reference-count":34,"publisher":"IEEE","license":[{"start":{"date-parts":[[2021,12,3]],"date-time":"2021-12-03T00:00:00Z","timestamp":1638489600000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2021,12,3]],"date-time":"2021-12-03T00:00:00Z","timestamp":1638489600000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"funder":[{"DOI":"10.13039\/501100001809","name":"National Natural Science Foundation of China","doi-asserted-by":"publisher","id":[{"id":"10.13039\/501100001809","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100007129","name":"Natural Science Foundation of Shandong Province","doi-asserted-by":"publisher","id":[{"id":"10.13039\/501100007129","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2021,12,3]]},"DOI":"10.1109\/icnsc52481.2021.9702245","type":"proceedings-article","created":{"date-parts":[[2022,2,10]],"date-time":"2022-02-10T20:29:16Z","timestamp":1644524956000},"page":"1-6","source":"Crossref","is-referenced-by-count":1,"title":["A Method to Quickly Determine Some Non-Reachable Markings in Cyclic Petri Nets Based on State Equation"],"prefix":"10.1109","author":[{"given":"Yue","family":"Su","sequence":"first","affiliation":[{"name":"Shandong University of Science and Technology,College of Computer Science and Engineering,Qingdao,China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Liang","family":"Qi","sequence":"additional","affiliation":[{"name":"Shandong University of Science and Technology,College of Computer Science and Engineering,Qingdao,China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"XiWang","family":"Guo","sequence":"additional","affiliation":[{"name":"Liaoning Petrochemical University,Computer and Communication Engineering College,Fushun,China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Kun","family":"Wang","sequence":"additional","affiliation":[{"name":"Taishan Hong Kong and China Gas Company Limited,Taian,China"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref33","doi-asserted-by":"publisher","DOI":"10.1109\/TCYB.2019.2901834"},{"key":"ref32","doi-asserted-by":"publisher","DOI":"10.1109\/TASE.2020.2992220"},{"key":"ref31","doi-asserted-by":"publisher","DOI":"10.1109\/JAS.2020.1003515"},{"key":"ref30","doi-asserted-by":"publisher","DOI":"10.1109\/ISCAS.1990.112557"},{"key":"ref34","doi-asserted-by":"publisher","DOI":"10.1109\/TSMC.2019.2907575"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1109\/CSCWD.2006.253065"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1109\/TITS.2015.2478602"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1016\/0304-3975(81)90113-4"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1016\/0304-3975(81)90049-9"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1109\/ICNSC.2012.6204900"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.9746\/sicetr1965.29.1458"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1109\/ICCASM.2010.5622322"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1109\/TSMCB.2008.917177"},{"key":"ref18","first-page":"801","article-title":"Reduction of Timed Marked Graphs and its Applications to Manufacturing Systems","author":"zhou","year":"1994","journal-title":"Proc IEEE Int Conf Robot Autom"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2014.2336431"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.1007\/BFb0042308"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1109\/EEEI.2010.5662187"},{"key":"ref27","first-page":"2996","article-title":"Generating Minimal Siphons and Traps for Petri Nets","author":"mu","year":"1996","journal-title":"Proc IEEE Int Conf Syst Man Cybern Inf Intell Syst"},{"key":"ref3","doi-asserted-by":"crossref","first-page":"173","DOI":"10.1109\/TSMCC.2007.913920","article-title":"A Survey and Comparison of Petri Net-based Deadlock Prevention Policies for Flexible Manufacturing Systems","volume":"38","author":"li","year":"2008","journal-title":"IEEE Trans Syst Man Cybern Part C Appl Rev"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1109\/TSMCA.2011.2178827"},{"key":"ref29","doi-asserted-by":"publisher","DOI":"10.1109\/TSMCB.2005.850171"},{"key":"ref5","first-page":"330","article-title":"The Behavior Properties of Refinement of Petri Nets and Application in Parallel Programming","author":"zhang","year":"2009","journal-title":"Proc WRI World Congr Compu Sci Inf Engin"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1109\/ICCCI.2014.6921780"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1109\/JAS.2017.7510766"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1109\/TCST.2014.2342664"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1109\/EEEI.2002.1178424"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1109\/5.24143"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1109\/ICSME.2014.94"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1109\/TCS.1977.1084357"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1109\/TASE.2015.2490538"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-60029-9_46"},{"key":"ref23","first-page":"6586","article-title":"Modeling and Reachability Analysis of A Class of Petri Nets Via Semi-Tensor Product of Matrices","author":"han","year":"2015","journal-title":"Proc Chin Contr Conf"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.5772\/5328"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2003.812788"}],"event":{"name":"2021 IEEE International Conference on Networking, Sensing and Control (ICNSC)","start":{"date-parts":[[2021,12,3]]},"location":"Xiamen, China","end":{"date-parts":[[2021,12,5]]}},"container-title":["2021 IEEE International Conference on Networking, Sensing and Control (ICNSC)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/9702148\/9702125\/09702245.pdf?arnumber=9702245","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,6,13]],"date-time":"2022-06-13T21:16:16Z","timestamp":1655154976000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/9702245\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2021,12,3]]},"references-count":34,"URL":"https:\/\/doi.org\/10.1109\/icnsc52481.2021.9702245","relation":{},"subject":[],"published":{"date-parts":[[2021,12,3]]}}}