{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,23]],"date-time":"2024-10-23T02:32:07Z","timestamp":1729650727835,"version":"3.28.0"},"reference-count":18,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2014,8]]},"DOI":"10.1109\/coase.2014.6899365","type":"proceedings-article","created":{"date-parts":[[2014,11,11]],"date-time":"2014-11-11T19:28:58Z","timestamp":1415734138000},"page":"455-460","source":"Crossref","is-referenced-by-count":5,"title":["A divide-and-conquer method for the synthesis of non-blocking supervisors for flexible manufacturing systems"],"prefix":"10.1109","author":[{"given":"Mi","family":"Zhao","sequence":"first","affiliation":[]},{"given":"Murat","family":"Uzam","sequence":"additional","affiliation":[]},{"given":"YiFan","family":"Hou","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"journal-title":"INA 31 07 2003 Integrated Net Analyzer a software tool for analysis of Petri nets Version 2 2 Posted at URL","year":"0","key":"ref10"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1080\/00207549408957073"},{"key":"ref12","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 Transactions on Systems Man and Cybernetics Part A Systems and Humans"},{"journal-title":"Deadlock Resolution in Automated Manufacturing Systems A Novel Petri Net Approach","year":"2009","author":"li","key":"ref13"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1049\/iet-cta:20070399"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1109\/ROBOT.2005.1570131"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1080\/00207540500431321"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1109\/TSMCA.2007.893484"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1109\/TENCON.2013.6718803"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1109\/TASE.2010.2060332"},{"key":"ref3","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":"Lectures on Petri Nets I Basic Models"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1109\/TRA.2002.807555"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1016\/j.automatica.2012.06.068"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1109\/70.282544"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1080\/0951192X.2013.800233"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1007\/s00170-008-1473-x"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1109\/ICSMC.1997.633253"},{"key":"ref9","first-page":"215","article-title":"Deadlock prevention for flexible manufacturing systems in sequence resource allocation systems","volume":"23","author":"huang","year":"2007","journal-title":"Journal of Information Science and Engineering"}],"event":{"name":"2014 IEEE International Conference on Automation Science and Engineering (CASE)","start":{"date-parts":[[2014,8,18]]},"location":"Taipei","end":{"date-parts":[[2014,8,22]]}},"container-title":["2014 IEEE International Conference on Automation Science and Engineering (CASE)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/6892922\/6899294\/06899365.pdf?arnumber=6899365","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,22]],"date-time":"2017-06-22T23:58:05Z","timestamp":1498175885000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/6899365\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014,8]]},"references-count":18,"URL":"https:\/\/doi.org\/10.1109\/coase.2014.6899365","relation":{},"subject":[],"published":{"date-parts":[[2014,8]]}}}