{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T15:29:52Z","timestamp":1725463792940},"reference-count":23,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013,6]]},"DOI":"10.1109\/acc.2013.6579824","type":"proceedings-article","created":{"date-parts":[[2014,7,16]],"date-time":"2014-07-16T17:48:51Z","timestamp":1405532931000},"page":"119-124","source":"Crossref","is-referenced-by-count":1,"title":["Parsimonious deadlock-free Petri net models of flexible manufacturing systems"],"prefix":"10.1109","author":[{"given":"Francesco","family":"Basile","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Roberto","family":"Cordone","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Luigi","family":"Piroddi","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"19","doi-asserted-by":"publisher","DOI":"10.1109\/TRA.2002.805655"},{"key":"22","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2012.6427075"},{"key":"17","first-page":"267","article-title":"Petri net supervisors for generalized mutual exclusion constraints","author":"giua","year":"1993","journal-title":"Proc IFAC World Congress"},{"key":"23","doi-asserted-by":"publisher","DOI":"10.1109\/TSMCC.2007.913920"},{"key":"18","doi-asserted-by":"publisher","DOI":"10.1109\/70.370500"},{"key":"15","doi-asserted-by":"publisher","DOI":"10.1109\/5.24143"},{"key":"16","doi-asserted-by":"publisher","DOI":"10.1016\/0005-1098(95)00103-4"},{"key":"13","doi-asserted-by":"publisher","DOI":"10.1109\/CASE.2011.6042440"},{"key":"14","doi-asserted-by":"publisher","DOI":"10.1109\/TSMCA.2012.2190139"},{"key":"11","first-page":"277","article-title":"Optimal deadlock avoidance for complex resource allocation systems through classification theory","author":"nazeem","year":"2010","journal-title":"Proc IFAC Workshop on Discrete Event Systems"},{"key":"12","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2010.2095612"},{"key":"21","doi-asserted-by":"publisher","DOI":"10.1109\/ACC.2010.5530916"},{"key":"3","doi-asserted-by":"publisher","DOI":"10.1109\/9.280750"},{"key":"20","doi-asserted-by":"publisher","DOI":"10.1109\/ICSMC.1992.271667"},{"key":"2","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.1996.577490"},{"key":"1","doi-asserted-by":"publisher","DOI":"10.1109\/ICSMC.1992.271666"},{"key":"10","doi-asserted-by":"publisher","DOI":"10.1016\/j.automatica.2011.01.070"},{"key":"7","doi-asserted-by":"publisher","DOI":"10.1109\/TSMCA.2008.2003535"},{"key":"6","doi-asserted-by":"publisher","DOI":"10.1007\/s00170-006-0701-5"},{"key":"5","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4615-5711-1"},{"key":"4","doi-asserted-by":"publisher","DOI":"10.1016\/0005-1098(91)90055-7"},{"key":"9","doi-asserted-by":"publisher","DOI":"10.1109\/TASE.2010.2060332"},{"key":"8","doi-asserted-by":"publisher","DOI":"10.1109\/TSMCA.2009.2013189"}],"event":{"name":"2013 American Control Conference (ACC)","start":{"date-parts":[[2013,6,17]]},"location":"Washington, DC","end":{"date-parts":[[2013,6,19]]}},"container-title":["2013 American Control Conference"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/6573242\/6579790\/06579824.pdf?arnumber=6579824","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,3,22]],"date-time":"2017-03-22T16:36:57Z","timestamp":1490200617000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/6579824\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013,6]]},"references-count":23,"URL":"https:\/\/doi.org\/10.1109\/acc.2013.6579824","relation":{},"subject":[],"published":{"date-parts":[[2013,6]]}}}