{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,14]],"date-time":"2026-01-14T07:20:40Z","timestamp":1768375240870,"version":"3.49.0"},"reference-count":15,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2015,8]]},"DOI":"10.1109\/coase.2015.7294234","type":"proceedings-article","created":{"date-parts":[[2015,10,8]],"date-time":"2015-10-08T21:56:58Z","timestamp":1444341418000},"page":"1029-1035","source":"Crossref","is-referenced-by-count":25,"title":["Robust supervisor synthesis for automated manufacturing systems using Petri nets"],"prefix":"10.1109","author":[{"given":"Yan","family":"Cheng","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"HeSuan","family":"Hu","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Yang","family":"Liu","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1109\/TRA.2002.1019464"},{"key":"ref11","author":"hruz","year":"2007","journal-title":"Modeling and Control of Discrete Event Dynamic Systems"},{"key":"ref12","article-title":"Using shared-resource capacity for robust control of failure-prone manufacturing systems","volume":"38","author":"wang","year":"2008","journal-title":"IEEE Trans Syst Man Cybern A Syst Humans"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1080\/00207540802225991"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1109\/9.481550"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1016\/j.cie.2015.01.028"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1109\/TASE.2005.861397"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1109\/TASE.2012.2215323"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1109\/70.370500"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1109\/TASE.2008.917142"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1109\/TCST.2014.2342664"},{"key":"ref7","first-page":"64","article-title":"A class of well structured Petri nets for flexible manufacturing systems","volume":"1420","author":"ezpeleta","year":"1998","journal-title":"Proc Int Conf Appl Theory Petri Nets"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1109\/TASE.2012.2215322"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1109\/TASE.2012.2226578"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1109\/TASE.2013.2288645"}],"event":{"name":"2015 IEEE International Conference on Automation Science and Engineering (CASE)","location":"Gothenburg, Sweden","start":{"date-parts":[[2015,8,24]]},"end":{"date-parts":[[2015,8,28]]}},"container-title":["2015 IEEE International Conference on Automation Science and Engineering (CASE)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/7279855\/7294025\/07294234.pdf?arnumber=7294234","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,3,24]],"date-time":"2017-03-24T22:33:34Z","timestamp":1490394814000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/7294234\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015,8]]},"references-count":15,"URL":"https:\/\/doi.org\/10.1109\/coase.2015.7294234","relation":{},"subject":[],"published":{"date-parts":[[2015,8]]}}}