{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,23]],"date-time":"2024-10-23T05:01:16Z","timestamp":1729659676585,"version":"3.28.0"},"reference-count":33,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012,4]]},"DOI":"10.1109\/icnsc.2012.6204889","type":"proceedings-article","created":{"date-parts":[[2012,6,1]],"date-time":"2012-06-01T14:52:12Z","timestamp":1338562332000},"page":"46-51","source":"Crossref","is-referenced-by-count":3,"title":["Computation of all minimal siphons in Petri nets"],"prefix":"10.1109","author":[{"given":"S. G.","family":"Wang","sequence":"first","affiliation":[]},{"given":"Y.","family":"Li","sequence":"additional","affiliation":[]},{"given":"C. Y.","family":"Wang","sequence":"additional","affiliation":[]},{"given":"M. C.","family":"Zhou","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"19","doi-asserted-by":"publisher","DOI":"10.1109\/TSMCA.2008.918605"},{"journal-title":"INA Integrated Net Analyzer","year":"1992","author":"starke","key":"17"},{"key":"18","doi-asserted-by":"publisher","DOI":"10.1109\/81.285680"},{"journal-title":"Deadlock Resolution in Automated Manufacturing Systems A Novel Petri Net Approach","year":"2009","author":"li","key":"33"},{"key":"15","doi-asserted-by":"publisher","DOI":"10.1109\/TSMCA.2010.2059698"},{"key":"16","doi-asserted-by":"publisher","DOI":"10.1109\/TII.2006.885185"},{"key":"13","doi-asserted-by":"publisher","DOI":"10.1109\/TSMCA.2009.2019880"},{"key":"14","doi-asserted-by":"publisher","DOI":"10.1109\/TSMCA.2006.878953"},{"key":"11","doi-asserted-by":"publisher","DOI":"10.1109\/TASE.2010.2050059"},{"key":"12","doi-asserted-by":"publisher","DOI":"10.1109\/TSMCA.2009.2013189"},{"key":"21","doi-asserted-by":"publisher","DOI":"10.1109\/TSMCA.2008.2007947"},{"key":"20","doi-asserted-by":"publisher","DOI":"10.1109\/TSMCA.2011.2159590"},{"key":"22","doi-asserted-by":"publisher","DOI":"10.1109\/TSMCA.2010.2048898"},{"key":"23","doi-asserted-by":"publisher","DOI":"10.1007\/s00170-009-1967-1"},{"key":"24","first-page":"283","article-title":"On the siphon-based characterization of liveness and liveness-enforcing supervision for sequential resource allocation systems","author":"reveliotis","year":"2005","journal-title":"Deadlock Resolution in Computer-Integrated Systems"},{"key":"25","article-title":"An effective characterization of minimal deadlocks and traps in Petri nets based on graph theory","author":"barkaoui","year":"0","journal-title":"The 10th International Conference on Application and Theory of Petri Nets 1989"},{"key":"26","doi-asserted-by":"publisher","DOI":"10.1080\/00207540010002405"},{"key":"27","doi-asserted-by":"publisher","DOI":"10.1080\/00207540500464942"},{"journal-title":"FANM Extraction of A Minimal Siphon from A Maximal One","year":"2009","author":"liu","key":"28"},{"key":"29","doi-asserted-by":"publisher","DOI":"10.1109\/CASE.2011.6042447"},{"key":"3","doi-asserted-by":"publisher","DOI":"10.1007\/BF01438223"},{"key":"2","doi-asserted-by":"publisher","DOI":"10.1109\/70.370500"},{"key":"10","doi-asserted-by":"publisher","DOI":"10.1109\/TSMCA.2007.909542"},{"key":"1","doi-asserted-by":"publisher","DOI":"10.1109\/ICICIS.2010.5534758"},{"key":"30","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2003.1271733"},{"key":"7","doi-asserted-by":"publisher","DOI":"10.1109\/TASE.2008.916925"},{"key":"6","doi-asserted-by":"publisher","DOI":"10.1109\/TSMCA.2011.2170419"},{"key":"32","doi-asserted-by":"publisher","DOI":"10.1109\/5.24143"},{"key":"5","doi-asserted-by":"crossref","first-page":"369","DOI":"10.1109\/TSMCA.2007.914741","article-title":"On controllability of dependent siphons for deadlock prevention in generalized Petri nets","volume":"38","author":"li","year":"2008","journal-title":"IEEE Trans Syst Man Cybern A Syst Humans"},{"key":"31","doi-asserted-by":"publisher","DOI":"10.1109\/TSMCA.2005.853504"},{"journal-title":"Deadlock Resolution in Computer-Integrated Systems","year":"2005","author":"zhou","key":"4"},{"journal-title":"System Modeling and Control with Resource-Oriented Petri Nets","year":"2010","author":"wu","key":"9"},{"key":"8","doi-asserted-by":"publisher","DOI":"10.1016\/j.automatica.2010.03.011"}],"event":{"name":"2012 9th IEEE International Conference on Networking, Sensing and Control (ICNSC)","start":{"date-parts":[[2012,4,11]]},"location":"Beijing, China","end":{"date-parts":[[2012,4,14]]}},"container-title":["Proceedings of 2012 9th IEEE International Conference on Networking, Sensing and Control"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/6201003\/6204880\/06204889.pdf?arnumber=6204889","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,20]],"date-time":"2017-06-20T15:35:15Z","timestamp":1497972915000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/6204889\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012,4]]},"references-count":33,"URL":"https:\/\/doi.org\/10.1109\/icnsc.2012.6204889","relation":{},"subject":[],"published":{"date-parts":[[2012,4]]}}}