{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,23]],"date-time":"2024-10-23T05:15:23Z","timestamp":1729660523575,"version":"3.28.0"},"reference-count":55,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2014,9]]},"DOI":"10.1109\/etfa.2014.7005030","type":"proceedings-article","created":{"date-parts":[[2015,1,13]],"date-time":"2015-01-13T16:34:59Z","timestamp":1421166899000},"page":"1-12","source":"Crossref","is-referenced-by-count":1,"title":["The deadlock problem in the control of Flexible Manufacturing Systems: An overview of the Petri net approach"],"prefix":"10.1109","author":[{"given":"Juan-Pablo","family":"Lopez-Grao","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jose-Manuel","family":"Colom","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Fernando","family":"Tricas","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref39","doi-asserted-by":"publisher","DOI":"10.1109\/5.24143"},{"key":"ref38","doi-asserted-by":"publisher","DOI":"10.1201\/b16529-10"},{"journal-title":"Deadlock Resolution in Automated Manufacturing Systems A Novel Petri Net Approach","year":"2009","author":"li","key":"ref33"},{"key":"ref32","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 Trans Syst Man Cybern Part C Appl Rev"},{"key":"ref31","doi-asserted-by":"crossref","first-page":"58","DOI":"10.1504\/IJMTM.2006.008791","article-title":"On deadlock prevention in case of failures in FMS","volume":"8","author":"li","year":"2006","journal-title":"Int J Manuf Technol Manag"},{"key":"ref30","first-page":"260","article-title":"Analysis of a resource allocation problem using Petri nets","author":"lautenbach","year":"1979","journal-title":"Proc of 1st Europ Conf on Parallel and Distributed Processing"},{"key":"ref37","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-29072-5_8"},{"key":"ref36","doi-asserted-by":"publisher","DOI":"10.1109\/ETFA.2011.6059039"},{"key":"ref35","doi-asserted-by":"publisher","DOI":"10.1109\/ICSMC.2006.384584"},{"journal-title":"Contributions to the Deadlock Problem in Multithreaded Software Applications Observed As Resource Allocation Systems","year":"2013","author":"l\u00f3pez-grao","key":"ref34"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.1109\/TRA.2002.805655"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1109\/TSMCA.2003.820579"},{"key":"ref29","doi-asserted-by":"publisher","DOI":"10.1109\/ETFA.2013.6648102"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.5772\/5607"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1007\/BF01438223"},{"key":"ref20","first-page":"88","article-title":"Optimal control of discrete event systems","author":"garc\u00eda-vall\u00e9s","year":"1998","journal-title":"Proc of 4th Int W on Discrete Event Syst (WODES98)"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1016\/0004-3702(92)90021-O"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1109\/ICSMC.1992.271666"},{"key":"ref24","first-page":"1446","article-title":"Liveness enforcing supervision of video streaming systems using non-sequential Petri nets","volume":"11","author":"hu","year":"2009","journal-title":"IEEE Trans on Multimedia"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1109\/70.282544"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1109\/70.964659"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1109\/TSMCA.2006.878953"},{"key":"ref50","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2009.5399950"},{"key":"ref51","doi-asserted-by":"publisher","DOI":"10.1109\/TMECH.2004.823875"},{"key":"ref55","doi-asserted-by":"publisher","DOI":"10.1109\/ICSMC.2003.1244684"},{"key":"ref54","doi-asserted-by":"publisher","DOI":"10.1002\/bs.3830290305"},{"key":"ref53","doi-asserted-by":"publisher","DOI":"10.1109\/9.481550"},{"key":"ref52","first-page":"692","article-title":"ERCN-merged nets and their analysis using siphons","volume":"29","author":"xie","year":"1999","journal-title":"IEEE Trans on Rob and Autom"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1145\/356586.356588"},{"key":"ref11","first-page":"23","article-title":"The resource allocation problem in FMS","volume":"2679","author":"colom","year":"2003","journal-title":"Proc of 24th Int Conf on App and Th of Petri Nets"},{"key":"ref40","doi-asserted-by":"publisher","DOI":"10.1109\/TASE.2011.2159112"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1109\/TSMCA.2012.2190139"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1109\/70.585896"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1109\/70.370500"},{"key":"ref15","first-page":"64","article-title":"A class of well structured Petri nets for FMS","volume":"1420","author":"ezpeleta","year":"1998","journal-title":"Proc Int Conf Appl Theory Petri Nets"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1109\/TSMCA.2003.820575"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1109\/TRA.2002.801048"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1109\/70.585898"},{"journal-title":"Contributions to the Structural and Symbolic Analysis of Place\/transition Nets with Applications to FMS and Asynchronous Circuits","year":"1999","author":"garc\u00eda-vall\u00e9s","key":"ref19"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1109\/ICSMC.1997.633253"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1109\/70.63273"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1145\/214451.214456"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1016\/j.automatica.2013.08.018"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1109\/TASE.2010.2060332"},{"key":"ref7","first-page":"1817","article-title":"A graphic-algebraic computation of elementary siphons of BS3pR","volume":"23","author":"chao","year":"2007","journal-title":"J Inform Sci Eng"},{"key":"ref49","doi-asserted-by":"publisher","DOI":"10.1109\/ICSMC.1995.538247"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1109\/70.650158"},{"journal-title":"Deadlock analysis prevention and avoidance in sequential resource allocation systems","year":"2003","author":"tricas","key":"ref46"},{"journal-title":"Métodos basados en redes de Petri para el diseño de algoritmos de encaminamiento adaptativos mínimos libres de bloqueos","year":"2011","author":"rovetto","key":"ref45"},{"key":"ref48","doi-asserted-by":"publisher","DOI":"10.1109\/ROBOT.2005.1570131"},{"key":"ref47","first-page":"273","article-title":"A structural approach to the problem of deadlock prevention in processes with resources","author":"tricas","year":"1998","journal-title":"IEE Control IEE"},{"key":"ref42","doi-asserted-by":"publisher","DOI":"10.1109\/9.956052"},{"key":"ref41","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2010.2095612"},{"journal-title":"Real-Time Management of Resource Allocation Systems A Discrete Event Systems Approach","year":"2005","author":"reveliotis","key":"ref44"},{"key":"ref43","doi-asserted-by":"publisher","DOI":"10.1109\/70.744598"}],"event":{"name":"2014 IEEE Emerging Technology and Factory Automation (ETFA)","start":{"date-parts":[[2014,9,16]]},"location":"Barcelona, Spain","end":{"date-parts":[[2014,9,19]]}},"container-title":["Proceedings of the 2014 IEEE Emerging Technology and Factory Automation (ETFA)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/6994138\/7005023\/07005030.pdf?arnumber=7005030","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,8,19]],"date-time":"2019-08-19T13:19:54Z","timestamp":1566220794000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/7005030\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014,9]]},"references-count":55,"URL":"https:\/\/doi.org\/10.1109\/etfa.2014.7005030","relation":{},"subject":[],"published":{"date-parts":[[2014,9]]}}}