{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,29]],"date-time":"2024-10-29T13:42:38Z","timestamp":1730209358405,"version":"3.28.0"},"reference-count":10,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2014,8]]},"DOI":"10.1109\/coase.2014.6899364","type":"proceedings-article","created":{"date-parts":[[2014,11,11]],"date-time":"2014-11-11T14:28:58Z","timestamp":1415716138000},"page":"449-454","source":"Crossref","is-referenced-by-count":0,"title":["Simplifying supervisory controllers of automated manufacturing systems via Petri net modeling and multiset analysis"],"prefix":"10.1109","author":[{"given":"HeSuan","family":"Hu","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Yan","family":"Yang","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Yang","family":"Liu","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Chen","family":"Chen","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1109\/70.370500"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1109\/ICSMC.1995.538436"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1109\/TSMCA.2008.2003535"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1109\/TASE.2012.2201714"},{"key":"ref5","first-page":"974","article-title":"Generalized mutual exclusion constraints on nets with uncontrollable systems","author":"giua","year":"1992","journal-title":"Proc IEEE Int Conf Syst Man and Cyber"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1109\/TSMCA.2011.2162502"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1109\/TII.2012.2198661"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1109\/TASE.2012.2215322"},{"key":"ref9","first-page":"1083","article-title":"On Controllability of Dependent Siphons for Deadlock Prevention in Generalized Petri Nets","volume":"38","author":"li","year":"2008","journal-title":"IEEE Trans Syst Man Cybern A Syst Humans"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1109\/TASE.2012.2226578"}],"event":{"name":"2014 IEEE International Conference on Automation Science and Engineering (CASE)","start":{"date-parts":[[2014,8,18]]},"location":"Taipei","end":{"date-parts":[[2014,8,22]]}},"container-title":["2014 IEEE International Conference on Automation Science and Engineering (CASE)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/6892922\/6899294\/06899364.pdf?arnumber=6899364","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,3,23]],"date-time":"2017-03-23T21:56:03Z","timestamp":1490306163000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/6899364\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014,8]]},"references-count":10,"URL":"https:\/\/doi.org\/10.1109\/coase.2014.6899364","relation":{},"subject":[],"published":{"date-parts":[[2014,8]]}}}