{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,29]],"date-time":"2024-10-29T11:42:00Z","timestamp":1730202120817,"version":"3.28.0"},"reference-count":15,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2011,8]]},"DOI":"10.1109\/case.2011.6042469","type":"proceedings-article","created":{"date-parts":[[2011,10,13]],"date-time":"2011-10-13T16:57:26Z","timestamp":1318525046000},"page":"444-449","source":"Crossref","is-referenced-by-count":7,"title":["Modeling sequential resource allocation systems using Extended Finite Automata"],"prefix":"10.1109","author":[{"given":"Zhennan","family":"Fei","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Sajed","family":"Miremadi","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Knut","family":"Akesson","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref10","first-page":"2735","article-title":"Coordination of batches in flexible production","volume":"4","author":"\u00e4kesson","year":"0","journal-title":"American Control Conference"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1109\/70.63273"},{"key":"ref12","first-page":"3387","article-title":"Modelling of discrete event systems using finite automata with variables","author":"sk\u00f6ldstam","year":"0","journal-title":"Proceedings of the 46th IEEE Conference on Decision and Control IEEE"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1109\/TC.1986.1676819"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1109\/70.370500"},{"key":"ref15","first-page":"384","article-title":"Supremica—an integrated environment for verification, synthesis and simulation of discrete event systems","author":"\u00e4kesson","year":"0","journal-title":"Proceedings of the 8th International Workshop on Discrete Event Systems"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1137\/0207027"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1007\/978-0-387-68612-7"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1109\/9.956052"},{"article-title":"Computers and Intractability: A Guide to the Theory of NP-Completeness","year":"1979","author":"garey","key":"ref5"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1109\/COASE.2010.5584286"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1109\/TRA.2002.999651"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1109\/5.21072"},{"key":"ref1","article-title":"Real-Time Management of Resource Allocation Systems: A Discrete Event Systems Approach","author":"reveliotis","year":"0","journal-title":"International Series in Operations Research & Management Science"},{"key":"ref9","article-title":"A BDD-based Approach for Modeling Plant and Supervisor by Extended Finite Automata","author":"miremadi","year":"2011","journal-title":"IEEE Transactions on Control Systems Technology"}],"event":{"name":"2011 IEEE International Conference on Automation Science and Engineering (CASE 2011)","start":{"date-parts":[[2011,8,24]]},"location":"Trieste, Italy","end":{"date-parts":[[2011,8,27]]}},"container-title":["2011 IEEE International Conference on Automation Science and Engineering"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/6033676\/6042395\/06042469.pdf?arnumber=6042469","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,3,20]],"date-time":"2017-03-20T22:46:30Z","timestamp":1490049990000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/6042469\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011,8]]},"references-count":15,"URL":"https:\/\/doi.org\/10.1109\/case.2011.6042469","relation":{},"subject":[],"published":{"date-parts":[[2011,8]]}}}