{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,30]],"date-time":"2024-10-30T07:14:00Z","timestamp":1730272440256,"version":"3.28.0"},"reference-count":10,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2017,11]]},"DOI":"10.1109\/isce.2017.8355538","type":"proceedings-article","created":{"date-parts":[[2018,5,7]],"date-time":"2018-05-07T22:54:41Z","timestamp":1525733681000},"page":"28-31","source":"Crossref","is-referenced-by-count":2,"title":["On supervisor synthesis theorem and its application to embedded systems"],"prefix":"10.1109","author":[{"given":"Shingo","family":"Yamaguchi","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1504\/IJBPIM.2017.083797"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1142\/S0218126698000043"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1587\/transinf.E97.D.1181"},{"key":"ref6","first-page":"95","article-title":"Liveness criterion for Petri nets with multi-weighted arcs","volume":"97","author":"kato","year":"1997","journal-title":"IEICE Tech Report"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1109\/5.24143"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1109\/ICCE.2017.7889238"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1587\/transfun.E92.A.2723"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4615-5711-1"},{"journal-title":"NuSMV","year":"0","key":"ref9"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1137\/0325013"}],"event":{"name":"2017 IEEE International Symposium on Consumer Electronics (ISCE)","start":{"date-parts":[[2017,11,14]]},"location":"Kuala Lumpur","end":{"date-parts":[[2017,11,15]]}},"container-title":["2017 IEEE International Symposium on Consumer Electronics (ISCE)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/8353047\/8355528\/08355538.pdf?arnumber=8355538","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,2,3]],"date-time":"2020-02-03T08:13:15Z","timestamp":1580717595000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/8355538\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017,11]]},"references-count":10,"URL":"https:\/\/doi.org\/10.1109\/isce.2017.8355538","relation":{},"subject":[],"published":{"date-parts":[[2017,11]]}}}