{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T21:26:45Z","timestamp":1725485205558},"reference-count":16,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2016,5]]},"DOI":"10.1109\/wodes.2016.7497820","type":"proceedings-article","created":{"date-parts":[[2016,6,25]],"date-time":"2016-06-25T07:36:10Z","timestamp":1466840170000},"page":"14-21","source":"Crossref","is-referenced-by-count":2,"title":["Why is my supervisor empty? Finding causes for the unreachability of states in synthesized supervisors"],"prefix":"10.1109","author":[{"given":"L.","family":"Swartjes","sequence":"first","affiliation":[]},{"given":"M.A.","family":"Reniers","sequence":"additional","affiliation":[]},{"given":"D.A.","family":"van Beek","sequence":"additional","affiliation":[]},{"given":"W.J.","family":"Fokkink","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1142\/S021819400500204X"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-78929-1_25"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2010.5717095"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1145\/604131.604140"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-44829-2_8"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2007.4434894"},{"article-title":"Supervisory control using extended finite automata for ASML wafer scanners","year":"2013","author":"starke","key":"ref16"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1007\/s10626-012-0130-6"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1109\/TITS.2004.833768"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.1998.758209"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1109\/TASE.2013.2279692"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-54862-8_48"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1109\/COASE.2010.5584659"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1109\/9.231459"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1137\/0325013"},{"article-title":"Supremica - A tool for verification and synthesis of discrete event supervisors","year":"0","author":"akesson","key":"ref9"}],"event":{"name":"2016 13th International Workshop on Discrete Event Systems (WODES)","start":{"date-parts":[[2016,5,30]]},"location":"Xi'an, China","end":{"date-parts":[[2016,6,1]]}},"container-title":["2016 13th International Workshop on Discrete Event Systems (WODES)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/7493813\/7497815\/07497820.pdf?arnumber=7497820","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2016,9,29]],"date-time":"2016-09-29T20:48:52Z","timestamp":1475182132000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/7497820\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016,5]]},"references-count":16,"URL":"https:\/\/doi.org\/10.1109\/wodes.2016.7497820","relation":{},"subject":[],"published":{"date-parts":[[2016,5]]}}}