{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T22:38:50Z","timestamp":1725489530681},"reference-count":16,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012,8]]},"DOI":"10.1109\/coase.2012.6386348","type":"proceedings-article","created":{"date-parts":[[2013,1,2]],"date-time":"2013-01-02T23:15:40Z","timestamp":1357168540000},"page":"188-193","source":"Crossref","is-referenced-by-count":2,"title":["On iterative liveness-enforcement for a class of generalized Petri nets"],"prefix":"10.1109","author":[{"given":"YiFan","family":"Hou","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ding","family":"Liu","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"MengChu","family":"Zhou","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"journal-title":"Modeling Simulation and Control of Flexible Manufacturing Systems A Petri Net Approach","year":"1998","author":"zhou","key":"15"},{"key":"16","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4615-3126-5"},{"key":"13","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2010.2095612"},{"key":"14","doi-asserted-by":"publisher","DOI":"10.1080\/00207179.2010.504785"},{"key":"11","article-title":"Hybrid liveness-enforcing policy for generalized Petri Net models of flexible manufacturing systems","author":"liu","year":"2012","journal-title":"IEEE Trans Syst Man Cybern A"},{"key":"12","doi-asserted-by":"publisher","DOI":"10.1137\/0204007"},{"key":"3","doi-asserted-by":"publisher","DOI":"10.1109\/70.370500"},{"key":"2","doi-asserted-by":"publisher","DOI":"10.1109\/70.650158"},{"key":"1","doi-asserted-by":"publisher","DOI":"10.1007\/s00170-009-1967-1"},{"key":"10","article-title":"A liveness and ratio-enforcing supervisor for flexible manufacturing systems modeled by a class of generalized Petri Nets","author":"liu","year":"2011","journal-title":"Automatica"},{"key":"7","doi-asserted-by":"publisher","DOI":"10.1109\/TSMCC.2007.913920"},{"key":"6","doi-asserted-by":"publisher","DOI":"10.1109\/TSMCA.2003.820576"},{"key":"5","doi-asserted-by":"publisher","DOI":"10.1080\/00207540010002405"},{"key":"4","doi-asserted-by":"publisher","DOI":"10.1007\/s10845-009-0238-1"},{"key":"9","doi-asserted-by":"publisher","DOI":"10.1016\/j.automatica.2012.01.012"},{"key":"8","doi-asserted-by":"publisher","DOI":"10.1016\/j.automatica.2010.03.011"}],"event":{"name":"2012 IEEE International Conference on Automation Science and Engineering (CASE 2012)","start":{"date-parts":[[2012,8,20]]},"location":"Seoul, Korea (South)","end":{"date-parts":[[2012,8,24]]}},"container-title":["2012 IEEE International Conference on Automation Science and Engineering (CASE)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/6375512\/6386304\/06386348.pdf?arnumber=6386348","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,3,22]],"date-time":"2017-03-22T21:50:47Z","timestamp":1490219447000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/6386348\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012,8]]},"references-count":16,"URL":"https:\/\/doi.org\/10.1109\/coase.2012.6386348","relation":{},"subject":[],"published":{"date-parts":[[2012,8]]}}}