{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,31]],"date-time":"2025-10-31T19:16:16Z","timestamp":1761938176673,"version":"build-2065373602"},"reference-count":18,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2004]]},"DOI":"10.1109\/icsmc.2004.1401200","type":"proceedings-article","created":{"date-parts":[[2005,4,6]],"date-time":"2005-04-06T15:20:51Z","timestamp":1112800851000},"page":"4260-4265 vol.5","source":"Crossref","is-referenced-by-count":27,"title":["Iterative synthesis of Petri net based deadlock prevention policy for flexible manufacturing systems"],"prefix":"10.1109","author":[{"given":"M.","family":"Uzam","sequence":"first","affiliation":[]},{"given":"MengChu","family":"Zhou","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"journal-title":"PN-tools a Petri Net Analysis Tool Ver 1 0","year":"1987","key":"17"},{"key":"18","doi-asserted-by":"publisher","DOI":"10.1109\/TSMCB.2003.811516"},{"key":"15","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":"Lect Notes in Comp Sci Lectures on Petri Nets I Basic Models Advances in Petri Nets"},{"key":"16","doi-asserted-by":"publisher","DOI":"10.1016\/0005-1098(95)00103-4"},{"key":"13","doi-asserted-by":"publisher","DOI":"10.1109\/TSMCA.2003.820590"},{"key":"14","doi-asserted-by":"publisher","DOI":"10.1109\/TSMCA.2003.820579"},{"key":"11","doi-asserted-by":"publisher","DOI":"10.1007\/s00170-002-1526-5"},{"key":"12","doi-asserted-by":"publisher","DOI":"10.1109\/TSMCA.2003.820576"},{"key":"3","doi-asserted-by":"publisher","DOI":"10.1109\/70.370500"},{"key":"2","doi-asserted-by":"publisher","DOI":"10.1109\/70.282544"},{"key":"1","doi-asserted-by":"publisher","DOI":"10.1109\/70.63257"},{"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","first-page":"273","article-title":"A structural approach to the problem of deadlock prevention in processes with resources","author":"tricas","year":"1998","journal-title":"Proc WoDES 98"},{"key":"6","doi-asserted-by":"publisher","DOI":"10.1023\/A:1007937925728"},{"key":"5","doi-asserted-by":"publisher","DOI":"10.1109\/70.585898"},{"key":"4","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4615-2231-7_9"},{"key":"9","doi-asserted-by":"publisher","DOI":"10.1007\/BF01438223"},{"key":"8","doi-asserted-by":"publisher","DOI":"10.1109\/70.720355"}],"event":{"name":"2004 IEEE International Conference on Systems, Man and Cybernetics","start":{"date-parts":[[2004,10,10]]},"location":"The Hague, Netherlands","end":{"date-parts":[[2004,10,13]]}},"container-title":["2004 IEEE International Conference on Systems, Man and Cybernetics (IEEE Cat. No.04CH37583)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/9622\/30426\/01401200.pdf?arnumber=1401200","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,2,12]],"date-time":"2022-02-12T01:04:51Z","timestamp":1644627891000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/1401200\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2004]]},"references-count":18,"URL":"https:\/\/doi.org\/10.1109\/icsmc.2004.1401200","relation":{},"subject":[],"published":{"date-parts":[[2004]]}}}