{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,23]],"date-time":"2024-10-23T05:59:49Z","timestamp":1729663189302,"version":"3.28.0"},"reference-count":9,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2014,8]]},"DOI":"10.1109\/coase.2014.6899359","type":"proceedings-article","created":{"date-parts":[[2014,11,11]],"date-time":"2014-11-11T14:28:58Z","timestamp":1415716138000},"page":"419-424","source":"Crossref","is-referenced-by-count":0,"title":["A monitor solution to enforce legal transition firing sequences problems by using Petri nets"],"prefix":"10.1109","author":[{"given":"Xiang","family":"Gao","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Zhiwu","family":"Li","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Anrong","family":"Wang","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"A. M.","family":"Al-Ahmari","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1109\/TSMCA.2003.820576"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.4304\/jnw.7.1.81-87"},{"key":"ref6","doi-asserted-by":"crossref","first-page":"437","DOI":"10.1109\/TSMCC.2011.2160626","article-title":"Deadlock control of automated manufacturing systems based on Petri nets–A literature review","volume":"42","author":"li","year":"2012","journal-title":"IEEE Transactions on Systems Man and Cybernetics Part C Applications and Reviews"},{"key":"ref5","doi-asserted-by":"crossref","first-page":"173","DOI":"10.1109\/TSMCC.2007.913920","article-title":"A survey and comparison of Petri net-based deadlock prevention policies for flexible manufacturing systems","volume":"38","author":"li","year":"2008","journal-title":"IEEE Transactions on Systems Man and Cybernetics Part C Applications and Reviews"},{"journal-title":"black box","year":"2013","key":"ref8"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1109\/5.21072"},{"key":"ref2","first-page":"3580","article-title":"Control synthesis approach for DES modelled by Petri nets","author":"bekrar","year":"0"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1023\/B:OPTE.0000013633.35184.6d"},{"article-title":"Identification of discrete event systems using ordinary Petri nets","year":"0","author":"bekrar","key":"ref1"}],"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\/06899359.pdf?arnumber=6899359","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,22]],"date-time":"2017-06-22T19:58:09Z","timestamp":1498161489000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/6899359\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014,8]]},"references-count":9,"URL":"https:\/\/doi.org\/10.1109\/coase.2014.6899359","relation":{},"subject":[],"published":{"date-parts":[[2014,8]]}}}