{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,29]],"date-time":"2024-10-29T20:10:24Z","timestamp":1730232624313,"version":"3.28.0"},"reference-count":15,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013,6]]},"DOI":"10.1109\/icca.2013.6564945","type":"proceedings-article","created":{"date-parts":[[2013,7,25]],"date-time":"2013-07-25T17:08:04Z","timestamp":1374772084000},"page":"1278-1283","source":"Crossref","is-referenced-by-count":0,"title":["Liveness and resource usage ratio-enforcing supervisor for a class of generalized Petri nets"],"prefix":"10.1109","author":[{"given":"Ding","family":"Liu","sequence":"first","affiliation":[]},{"given":"YiFan","family":"Hau","sequence":"additional","affiliation":[]},{"given":"HeSuan","family":"Hu","sequence":"additional","affiliation":[]},{"given":"Kamel","family":"Barkaoui","sequence":"additional","affiliation":[]},{"given":"MengChu","family":"Zhou","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"journal-title":"Modeling Simulation and Control of Flexible Manufacturing Systems A Petri Net Approach","year":"1998","author":"zhou","key":"15"},{"key":"13","article-title":"Livenessenforcemeng for generalized Petri nets using a divide-and-conquer paradigm","author":"liu","year":"2012","journal-title":"Technical Report"},{"key":"14","first-page":"187","article-title":"On intrinsically live structure of a class of generalized Petri nets modeling FMS","author":"liu","year":"2012","journal-title":"Proc 11th WODES"},{"key":"11","doi-asserted-by":"publisher","DOI":"10.1109\/TSMCA.2012.2192266"},{"key":"12","doi-asserted-by":"publisher","DOI":"10.1016\/j.automatica.2013.07.023"},{"key":"3","doi-asserted-by":"publisher","DOI":"10.1109\/70.370500"},{"key":"2","first-page":"90","article-title":"On the equivalence between liveness and deadlock-freeness in Petri nets","volume":"3536","author":"barkaoui","year":"2005","journal-title":"Proc Int Conf Application and Theory of Petri Nets LNCS"},{"key":"1","doi-asserted-by":"publisher","DOI":"10.1007\/BF01438223"},{"key":"10","doi-asserted-by":"publisher","DOI":"10.1016\/j.automatica.2012.01.012"},{"key":"7","doi-asserted-by":"publisher","DOI":"10.1109\/TSMCC.2007.913920"},{"key":"6","doi-asserted-by":"publisher","DOI":"10.1109\/TSMCA.2006.878953"},{"key":"5","doi-asserted-by":"publisher","DOI":"10.1109\/CoASE.2012.6386348"},{"key":"4","doi-asserted-by":"publisher","DOI":"10.1109\/TSMCA.2003.820590"},{"key":"9","doi-asserted-by":"publisher","DOI":"10.1016\/j.automatica.2010.03.011"},{"journal-title":"Deadlock Resolution in Automated Manufacturing Systems A Novel Petri Net Approach","year":"2009","author":"li","key":"8"}],"event":{"name":"2013 10th IEEE International Conference on Control and Automation (ICCA)","start":{"date-parts":[[2013,6,12]]},"location":"Hangzhou, China","end":{"date-parts":[[2013,6,14]]}},"container-title":["2013 10th IEEE International Conference on Control and Automation (ICCA)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/6550152\/6564841\/06564945.pdf?arnumber=6564945","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,3,22]],"date-time":"2017-03-22T17:38:01Z","timestamp":1490204281000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/6564945\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013,6]]},"references-count":15,"URL":"https:\/\/doi.org\/10.1109\/icca.2013.6564945","relation":{},"subject":[],"published":{"date-parts":[[2013,6]]}}}