{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,22]],"date-time":"2024-10-22T23:37:02Z","timestamp":1729640222796,"version":"3.28.0"},"reference-count":26,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2016,4]]},"DOI":"10.1109\/icnsc.2016.7478977","type":"proceedings-article","created":{"date-parts":[[2016,5,26]],"date-time":"2016-05-26T20:26:53Z","timestamp":1464294413000},"page":"1-6","source":"Crossref","is-referenced-by-count":1,"title":["Lean reachability tree for Petri net analysis"],"prefix":"10.1109","author":[{"given":"Jun","family":"Li","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Xiaolong","family":"Yu","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"MengChu","family":"Zhou","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1109\/TSMCB.2008.917177"},{"key":"ref11","first-page":"3221","article-title":"On the liveness problem of I-place unbounded Petri nets","author":"jeng","year":"1997","journal-title":"Proc IEEE Int Conf Syst Man Cybern"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1109\/3468.747852"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1109\/ICSMC.1991.169706"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1109\/TSMCB.2003.811516"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1109\/TCSI.2006.876811"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1109\/TASE.2010.9"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1109\/TSMCA.2012.2226878"},{"key":"ref18","doi-asserted-by":"crossref","DOI":"10.1109\/JAS.2015.7296528","article-title":"A reduced reachability tree for a class of unbounded Petri Nets","author":"wang","year":"2015","journal-title":"IEEE\/CAA Journal of Automatica Sinica"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1007\/s11432-014-5239-9"},{"key":"ref4","first-page":"686","article-title":"A survey of reachability trees of unbounded Petri nets","volume":"41","author":"gan","year":"2015","journal-title":"CTA Automatica Sinica"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1016\/0304-3975(77)90014-7"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1109\/ISCAS.2010.5537243"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1016\/j.ejor.2005.10.060"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1109\/HICSS.1997.663163"},{"key":"ref7","doi-asserted-by":"crossref","first-page":"163","DOI":"10.1007\/978-3-642-16952-6_17","article-title":"Applying HmHeuristics in Petri Nets Reachability Problem","volume":"6433","author":"kultz","year":"0","journal-title":"Advances in Artificial Intelligence - IBERAMIA 2010 Lecture Notes in Computer Science"},{"key":"ref2","article-title":"Decidability questions for Petri Nets","author":"hack","year":"1976","journal-title":"Technical Report Massachusetts Institute of Technology Cambridge"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1016\/S0022-0000(69)80011-5"},{"key":"ref1","doi-asserted-by":"crossref","first-page":"437","DOI":"10.1109\/TSMCC.2011.2160626","article-title":"Deadlock control of automated manufacturing systems based on petri nets-A literature review","volume":"42","author":"li","year":"2012","journal-title":"IEEE Trans Syst Man Cybern Part C Applicat Rev"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1109\/ICRA.2015.7139737"},{"journal-title":"Deadlock Resolution in Automated Manufacturing Systems A Novel Petri Net Approach","year":"2009","author":"li","key":"ref22"},{"journal-title":"System Modeling and Control with Resource-Oriented Petri Nets","year":"2010","author":"wu","key":"ref21"},{"journal-title":"Deadlock Resolution in Computer-Integrated Systems","year":"2005","author":"zhou","key":"ref24"},{"journal-title":"Modeling and Control of Discrete Event Dynamic Systems","year":"2007","author":"hruz","key":"ref23"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4615-3126-5"},{"journal-title":"Modeling Simulation and Control of Flexible Manufacturing Systems A Petri Net Approach","year":"1998","author":"zhou","key":"ref25"}],"event":{"name":"2016 IEEE 13th International Conference on Networking, Sensing and Control (ICNSC)","start":{"date-parts":[[2016,4,28]]},"location":"Mexico City, Mexico","end":{"date-parts":[[2016,4,30]]}},"container-title":["2016 IEEE 13th International Conference on Networking, Sensing, and Control (ICNSC)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/7470729\/7478962\/07478977.pdf?arnumber=7478977","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,6,17]],"date-time":"2024-06-17T04:57:59Z","timestamp":1718600279000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/7478977\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016,4]]},"references-count":26,"URL":"https:\/\/doi.org\/10.1109\/icnsc.2016.7478977","relation":{},"subject":[],"published":{"date-parts":[[2016,4]]}}}