{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,23]],"date-time":"2024-10-23T03:44:37Z","timestamp":1729655077701,"version":"3.28.0"},"reference-count":15,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2007,9]]},"DOI":"10.1109\/coase.2007.4341801","type":"proceedings-article","created":{"date-parts":[[2007,10,9]],"date-time":"2007-10-09T17:45:29Z","timestamp":1191951929000},"page":"1-6","source":"Crossref","is-referenced-by-count":1,"title":["On Supervisory Control of a Class of Discrete Event Systems Modeled by Petri Nets"],"prefix":"10.1109","author":[{"given":"Mi","family":"Zhao","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Zhiwu","family":"Li","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"MengChu","family":"Zhou","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"journal-title":"Premier Optimization Modeling Tools","year":"0","key":"15"},{"journal-title":"Modelling Simulation and Control of Flexible Manufacturing Systems A Petri Net Approach","year":"1998","author":"zhou","key":"13"},{"journal-title":"INA Integrated Net Analyzer Handbuch","year":"1992","author":"starke","key":"14"},{"key":"11","doi-asserted-by":"publisher","DOI":"10.1109\/TSMCA.2006.878966"},{"key":"12","doi-asserted-by":"publisher","DOI":"10.1109\/TII.2006.885185"},{"key":"3","doi-asserted-by":"publisher","DOI":"10.1080\/00207549408957073"},{"key":"2","first-page":"57","article-title":"On liveness and controlled siphons in Petri nets","volume":"1091","author":"barkaoui","year":"1996","journal-title":"LNCS"},{"key":"1","first-page":"1874","article-title":"Parameterized supervisor synthesis for a modular class of discrete event systems","author":"zouari","year":"2003","journal-title":"Proc IEEE Int Conf Syst Man Cybern"},{"key":"10","doi-asserted-by":"publisher","DOI":"10.1109\/ICSMC.2004.1401200"},{"key":"7","doi-asserted-by":"publisher","DOI":"10.1109\/TSMCA.2003.820576"},{"key":"6","doi-asserted-by":"publisher","DOI":"10.1109\/70.370500"},{"key":"5","doi-asserted-by":"publisher","DOI":"10.1007\/BF01438223"},{"key":"4","doi-asserted-by":"publisher","DOI":"10.1109\/70.63273"},{"key":"9","doi-asserted-by":"crossref","first-page":"192","DOI":"10.1007\/s001700200014","article-title":"On 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":"8","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4615-3126-5"}],"event":{"name":"2007 IEEE International Conference on Automation Science and Engineering","start":{"date-parts":[[2007,9,22]]},"location":"Scottsdale, AZ, USA","end":{"date-parts":[[2007,9,25]]}},"container-title":["2007 IEEE International Conference on Automation Science and Engineering"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/4341639\/4341640\/04341801.pdf?arnumber=4341801","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,3]],"date-time":"2019-05-03T17:25:47Z","timestamp":1556904347000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/4341801\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2007,9]]},"references-count":15,"URL":"https:\/\/doi.org\/10.1109\/coase.2007.4341801","relation":{},"subject":[],"published":{"date-parts":[[2007,9]]}}}