{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,29]],"date-time":"2024-10-29T19:47:59Z","timestamp":1730231279136,"version":"3.28.0"},"reference-count":16,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2009,10]]},"DOI":"10.1109\/icat.2009.5348424","type":"proceedings-article","created":{"date-parts":[[2009,12,10]],"date-time":"2009-12-10T19:44:37Z","timestamp":1260474277000},"page":"1-8","source":"Crossref","is-referenced-by-count":5,"title":["Timed transition automata and their ladder logic implementation"],"prefix":"10.1109","author":[{"given":"Murat","family":"Uzam","sequence":"first","affiliation":[]},{"given":"Gokhan","family":"Gelen","sequence":"additional","affiliation":[]},{"given":"Recep","family":"Dalci","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"year":"0","key":"15"},{"year":"0","key":"16"},{"key":"13","doi-asserted-by":"publisher","DOI":"10.1109\/ICAT.2009.5348455"},{"key":"14","article-title":"Supervisory control of discrete event systems","author":"wonham","year":"1997","journal-title":"ECE dept"},{"key":"11","doi-asserted-by":"publisher","DOI":"10.1049\/ip-cta:20040441(410) 151"},{"key":"12","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4757-4070-7"},{"journal-title":"Discrete Continuous and Hybrid Petri Nets","year":"2005","author":"david","key":"3"},{"key":"2","doi-asserted-by":"publisher","DOI":"10.1137\/0325013"},{"key":"1","doi-asserted-by":"publisher","DOI":"10.1109\/5.21072"},{"key":"10","doi-asserted-by":"publisher","DOI":"10.1007\/s10626-006-8136-6"},{"key":"7","doi-asserted-by":"crossref","first-page":"464","DOI":"10.1007\/10722167_35","article-title":"Are timed automata updatable","volume":"1855","author":"bouyer","year":"2000","journal-title":"Lecture Notes in Computer Science"},{"key":"6","doi-asserted-by":"crossref","first-page":"62","DOI":"10.1007\/3-540-60249-6_41","article-title":"Model-checking for real-time systems","volume":"965","author":"larsen","year":"1995","journal-title":"Lecture Notes in Computer Science"},{"key":"5","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1007\/3-540-58468-4_157","article-title":"A determinizable class of timed automata","volume":"818","author":"fix","year":"1994","journal-title":"Lecture Notes in Computer Science"},{"key":"4","first-page":"183","article-title":"A theory of timed automata, Theoritical Computer","volume":"126","author":"alur","year":"1994","journal-title":"Science B"},{"key":"9","doi-asserted-by":"publisher","DOI":"10.1109\/9.272327"},{"key":"8","doi-asserted-by":"publisher","DOI":"10.1016\/S0304-3975(97)00173-4"}],"event":{"name":"2009 XXII International Symposium on Information, Communication and Automation Technologies. ICAT 2009","start":{"date-parts":[[2009,10,29]]},"location":"Bosnia","end":{"date-parts":[[2009,10,31]]}},"container-title":["2009 XXII International Symposium on Information, Communication and Automation Technologies"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/5340905\/5348395\/05348424.pdf?arnumber=5348424","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,2,3]],"date-time":"2020-02-03T03:01:11Z","timestamp":1580698871000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/5348424\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009,10]]},"references-count":16,"URL":"https:\/\/doi.org\/10.1109\/icat.2009.5348424","relation":{},"subject":[],"published":{"date-parts":[[2009,10]]}}}