{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,23]],"date-time":"2024-10-23T09:28:08Z","timestamp":1729675688033,"version":"3.28.0"},"reference-count":19,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2009,10]]},"DOI":"10.1109\/icsmc.2009.5346582","type":"proceedings-article","created":{"date-parts":[[2009,12,10]],"date-time":"2009-12-10T14:44:31Z","timestamp":1260456271000},"page":"193-198","source":"Crossref","is-referenced-by-count":0,"title":["Design of Petri net-based deadlock prevention controllers for flexible manufacturing systems"],"prefix":"10.1109","author":[{"given":"Guoqian","family":"Zeng","sequence":"first","affiliation":[]},{"given":"Weimin","family":"Wu","sequence":"additional","affiliation":[]},{"given":"MengChu","family":"Zhou","sequence":"additional","affiliation":[]},{"given":"Weijie","family":"Mao","sequence":"additional","affiliation":[]},{"given":"Hongye","family":"Su","sequence":"additional","affiliation":[]},{"given":"Jian","family":"Chu","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"19","first-page":"4493","article-title":"Supervisor synthesis for bounded Petri nets based on a transformation function","volume":"5","author":"ru","year":"2004","journal-title":"Proc American Control Conference"},{"key":"17","doi-asserted-by":"publisher","DOI":"10.3923\/itj.2008.285.291"},{"key":"18","doi-asserted-by":"crossref","first-page":"519","DOI":"10.1007\/3-540-10001-6_39","article-title":"A dictionary of some basic notions of net theory","volume":"84","author":"genrich","year":"1980","journal-title":"Lecture Notes in Computer Science"},{"key":"15","doi-asserted-by":"publisher","DOI":"10.1016\/0005-1098(95)00103-4"},{"key":"16","first-page":"888","article-title":"A research on Petri nets properties using transitive matrix","author":"liu","year":"1999","journal-title":"Proc IEEE SMC 99"},{"key":"13","doi-asserted-by":"publisher","DOI":"10.1080\/00207540500431321"},{"key":"14","doi-asserted-by":"publisher","DOI":"10.1109\/5.24143"},{"key":"11","doi-asserted-by":"publisher","DOI":"10.1007\/s00170-002-1526-5"},{"key":"12","doi-asserted-by":"publisher","DOI":"10.1109\/TSMCA.2007.893484"},{"key":"3","doi-asserted-by":"publisher","DOI":"10.1109\/70.370500"},{"key":"2","doi-asserted-by":"publisher","DOI":"10.1109\/TSMCC.2007.913920"},{"key":"1","doi-asserted-by":"publisher","DOI":"10.1007\/BF01438223"},{"key":"10","doi-asserted-by":"crossref","first-page":"192","DOI":"10.1007\/s001700200014","article-title":"An optimal deadlock prevention policy for flexible manufacturing systems using Petri net models with resources and the theory of regions","volume":"19","author":"uzam","year":"2002","journal-title":"Int J Adv Manuf Tech"},{"key":"7","doi-asserted-by":"publisher","DOI":"10.1109\/TSMCA.2007.909548"},{"key":"6","doi-asserted-by":"publisher","DOI":"10.1109\/TSMCA.2006.878966"},{"key":"5","doi-asserted-by":"publisher","DOI":"10.1109\/TSMCA.2003.820576"},{"key":"4","doi-asserted-by":"publisher","DOI":"10.1109\/TSMCA.2006.878953"},{"key":"9","doi-asserted-by":"crossref","first-page":"529","DOI":"10.1007\/3-540-65306-6_22","article-title":"Theory of Regions","volume":"1491","author":"badouel","year":"1998","journal-title":"Lecture Notes in Computer Science"},{"key":"8","doi-asserted-by":"publisher","DOI":"10.1109\/TASE.2006.884674"}],"event":{"name":"2009 IEEE International Conference on Systems, Man and Cybernetics - SMC","start":{"date-parts":[[2009,10,11]]},"location":"San Antonio, TX, USA","end":{"date-parts":[[2009,10,14]]}},"container-title":["2009 IEEE International Conference on Systems, Man and Cybernetics"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/5340904\/5345886\/05346582.pdf?arnumber=5346582","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,24]],"date-time":"2019-05-24T08:24:52Z","timestamp":1558686292000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/5346582\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009,10]]},"references-count":19,"URL":"https:\/\/doi.org\/10.1109\/icsmc.2009.5346582","relation":{},"subject":[],"published":{"date-parts":[[2009,10]]}}}