{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,23]],"date-time":"2024-10-23T00:10:59Z","timestamp":1729642259461,"version":"3.28.0"},"reference-count":15,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2016,8]]},"DOI":"10.1109\/coase.2016.7743518","type":"proceedings-article","created":{"date-parts":[[2016,11,17]],"date-time":"2016-11-17T21:35:22Z","timestamp":1479418522000},"page":"1042-1048","source":"Crossref","is-referenced-by-count":0,"title":["Mono-T-semiflow systems with resources and their distributed control using Petri nets"],"prefix":"10.1109","author":[{"given":"Yan","family":"Yang","sequence":"first","affiliation":[]},{"given":"HeSuan","family":"Hu","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"ref10","doi-asserted-by":"crossref","first-page":"2026","DOI":"10.1109\/TCST.2015.2391014","article-title":"Maximally permissive distributed control of Petri net modeling automated manufacturing systems","volume":"23","author":"hu","year":"2015","journal-title":"IEEE Trans Contr Syst Tech"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1109\/TCST.2014.2342664"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1007\/s10626-007-0036-x"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1016\/j.automatica.2011.07.008"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1016\/j.nahs.2012.07.004"},{"key":"ref15","first-page":"6042","article-title":"Distributed control of large scale systems modeled with continuous Petri nets","author":"wang","year":"2011","journal-title":"IFAC World Congress Proceedings"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1109\/TASE.2012.2215323"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1109\/TASE.2012.2215322"},{"journal-title":"Modeling and Control of Discrete Event Dynamic Systems","year":"2007","author":"hruz","key":"ref6"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1109\/ICSMC.1995.538436"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1109\/TII.2012.2198661"},{"key":"ref7","doi-asserted-by":"crossref","first-page":"1457","DOI":"10.1109\/TMM.2009.2032678","article-title":"Liveness enforcing supervision of video streaming systems using non-sequential Petri nets","volume":"11","author":"hu","year":"2009","journal-title":"IEEE Trans Mult"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1109\/TASE.2012.2226578"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1109\/TCST.2011.2168607"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1109\/TASE.2010.2046412"}],"event":{"name":"2016 IEEE International Conference on Automation Science and Engineering (CASE)","start":{"date-parts":[[2016,8,21]]},"location":"Fort Worth, TX, USA","end":{"date-parts":[[2016,8,25]]}},"container-title":["2016 IEEE International Conference on Automation Science and Engineering (CASE)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/7738291\/7743369\/07743518.pdf?arnumber=7743518","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,25]],"date-time":"2017-06-25T03:53:21Z","timestamp":1498362801000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/7743518\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016,8]]},"references-count":15,"URL":"https:\/\/doi.org\/10.1109\/coase.2016.7743518","relation":{},"subject":[],"published":{"date-parts":[[2016,8]]}}}