{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,23]],"date-time":"2024-10-23T05:43:27Z","timestamp":1729662207786,"version":"3.28.0"},"reference-count":10,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2009,9]]},"DOI":"10.1109\/etfa.2009.5347035","type":"proceedings-article","created":{"date-parts":[[2009,12,10]],"date-time":"2009-12-10T19:44:11Z","timestamp":1260474251000},"page":"1-8","source":"Crossref","is-referenced-by-count":3,"title":["A modular system approach to DES synthesis and control"],"prefix":"10.1109","author":[{"given":"Frantisek","family":"Capkovic","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"article-title":"Petri Net Supervisors for Discrete Event Systems","year":"1997","author":"moody","key":"ref4"},{"journal-title":"Supervisory Control of Concurrent Systems A Petri Net Structural Approach","year":"2006","author":"iordache","key":"ref3"},{"key":"ref10","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1016\/0005-1098(95)00103-4","article-title":"Feedback control of Petri nets based on place invariants","volume":"32","author":"yamalidou","year":"1996","journal-title":"Automatica"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1109\/5.24143"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4615-5711-1"},{"key":"ref8","first-page":"507","article-title":"Modelling, analysing and control of interactions among agents in MAS","volume":"26","author":"?\u0153apkovi?","year":"2007","journal-title":"Computing and Informatics"},{"key":"ref7","doi-asserted-by":"crossref","first-page":"702","DOI":"10.1007\/3-540-45034-3_71","article-title":"The generalised method for solving problems of DEDS control synthesis","volume":"2718","author":"\u00e4\u0153apkovi?","year":"2003","journal-title":"editors Developments in Applied Artificial Intelligence Lecture Notes in Artificial Intelligence"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1007\/s10626-006-0021-9"},{"key":"ref9","first-page":"297","article-title":"Petri net-based automated control synthesis for a class of DEDS","author":"?\u0153apkovi?","year":"2003","journal-title":"IEEE Press"},{"article-title":"Methods for the supervisory control of concurrent systems based on Petri nets abstraction","year":"2003","author":"iordache","key":"ref1"}],"event":{"name":"2009 IEEE 14th International Conference on Emerging Technologies & Factory Automation. ETFA 2009","start":{"date-parts":[[2009,9,22]]},"location":"Mallorca","end":{"date-parts":[[2009,9,25]]}},"container-title":["2009 IEEE Conference on Emerging Technologies & Factory Automation"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/5340902\/5346987\/05347035.pdf?arnumber=5347035","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,19]],"date-time":"2017-06-19T02:41:42Z","timestamp":1497840102000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/5347035\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009,9]]},"references-count":10,"URL":"https:\/\/doi.org\/10.1109\/etfa.2009.5347035","relation":{},"subject":[],"published":{"date-parts":[[2009,9]]}}}