{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,7,25]],"date-time":"2024-07-25T07:57:00Z","timestamp":1721894220451},"reference-count":42,"publisher":"Elsevier BV","license":[{"start":{"date-parts":[[2019,5,1]],"date-time":"2019-05-01T00:00:00Z","timestamp":1556668800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/tdm\/userlicense\/1.0\/"}],"funder":[{"DOI":"10.13039\/501100001809","name":"Natural Science Foundation of China","doi-asserted-by":"publisher","award":["61573278","61304052"],"id":[{"id":"10.13039\/501100001809","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["elsevier.com","sciencedirect.com"],"crossmark-restriction":true},"short-container-title":["Information Sciences"],"published-print":{"date-parts":[[2019,5]]},"DOI":"10.1016\/j.ins.2019.01.061","type":"journal-article","created":{"date-parts":[[2019,2,1]],"date-time":"2019-02-01T16:07:51Z","timestamp":1549037271000},"page":"286-301","update-policy":"http:\/\/dx.doi.org\/10.1016\/elsevier_cm_policy","source":"Crossref","is-referenced-by-count":20,"special_numbering":"C","title":["Two-stage design method of robust deadlock control for automated manufacturing systems with a type of unreliable resources"],"prefix":"10.1016","volume":"484","author":[{"given":"Yanxiang","family":"Feng","sequence":"first","affiliation":[]},{"given":"Keyi","family":"Xing","sequence":"additional","affiliation":[]},{"given":"Huixia","family":"Liu","sequence":"additional","affiliation":[]},{"ORCID":"http:\/\/orcid.org\/0000-0003-0606-9255","authenticated-orcid":false,"given":"Yunchao","family":"Wu","sequence":"additional","affiliation":[]}],"member":"78","reference":[{"issue":"10","key":"10.1016\/j.ins.2019.01.061_bib0001","doi-asserted-by":"crossref","first-page":"704","DOI":"10.1007\/BF01438223","article-title":"Deadlock prevention and avoidance in FMS: a Petri net based approach","volume":"14","author":"Abdallah","year":"1998","journal-title":"Int. J. Adv. Manuf. Technol."},{"issue":"3","key":"10.1016\/j.ins.2019.01.061_bib0002","doi-asserted-by":"crossref","first-page":"309","DOI":"10.1109\/TASE.2005.861397","article-title":"Robust supervisory control for production systems with multiple resource failures","volume":"3","author":"Chew","year":"2006","journal-title":"IEEE Trans. Automat. Sci. Eng."},{"issue":"6","key":"10.1016\/j.ins.2019.01.061_bib0003","doi-asserted-by":"crossref","first-page":"793","DOI":"10.1109\/70.650158","article-title":"Deadlock analysis of Petri nets using siphons and mathematical programming","volume":"13","author":"Chu","year":"1997","journal-title":"IEEE Trans. Robot. Automat."},{"issue":"2","key":"10.1016\/j.ins.2019.01.061_bib0004","doi-asserted-by":"crossref","first-page":"173","DOI":"10.1109\/70.370500","article-title":"A Petri net based deadlock prevention policy for flexible manufacturing systems","volume":"11","author":"Ezpeleta","year":"1995","journal-title":"IEEE Transact. Robot. Automat."},{"issue":"1","key":"10.1016\/j.ins.2019.01.061_bib0005","doi-asserted-by":"crossref","first-page":"5","DOI":"10.1109\/TSMCA.2003.820590","article-title":"Deadlock control methods in automated manufacturing systems","volume":"34","author":"Fanti","year":"2004","journal-title":"IEEE Trans. Syst. Man Cybernet. Part A"},{"issue":"11","key":"10.1016\/j.ins.2019.01.061_bib0006","article-title":"Transition cover-based robust petri net controllers for automated manufacturing systems with a type of unreliable resources","volume":"47","author":"Feng","year":"2017","journal-title":"IEEE Trans. Syst. Man Cybernet.. Syst."},{"key":"10.1016\/j.ins.2019.01.061_bib0007","article-title":"Liveness analysis and deadlock control for automatic manufacturing systems with multiple resource requirements","author":"Feng","year":"2018","journal-title":"IEEE Trans. Syst. Man Cybernet. Syst."},{"key":"10.1016\/j.ins.2019.01.061_bib0008","doi-asserted-by":"crossref","DOI":"10.1109\/TSMC.2018.2884316","article-title":"Robust deadlock prevention for automated manufacturing systems with unreliable resources by using general Petri nets","author":"Feng","year":"2018","journal-title":"IEEE Trans. Syst. Man Cybernet. Syst."},{"issue":"4","key":"10.1016\/j.ins.2019.01.061_bib0009","doi-asserted-by":"crossref","first-page":"794","DOI":"10.1109\/TASE.2011.2156783","article-title":"Supervisor optimization for deadlock resolution in automated manufacturing systems with Petri nets","volume":"8","author":"Hu","year":"2006","journal-title":"IEEE Trans. Automat. Sci. Eng."},{"key":"10.1016\/j.ins.2019.01.061_bib0010","first-page":"2024","article-title":"Two-stage deadlock prevention policy based on resource-transition circuits","author":"Han","year":"2012","journal-title":"8th IEEE Int. Conf. Automat. Sci. Eng."},{"issue":"2","key":"10.1016\/j.ins.2019.01.061_bib0011","doi-asserted-by":"crossref","first-page":"283","DOI":"10.1080\/00207540010002405","article-title":"Deadlock prevention policy based on Petri nets and siphons","volume":"39","author":"Huang","year":"2001","journal-title":"Int. J. Prod. Res."},{"issue":"10","key":"10.1016\/j.ins.2019.01.061_bib0012","doi-asserted-by":"crossref","first-page":"1695","DOI":"10.1016\/S0005-1098(03)00176-6","article-title":"Robustness of deadlock avoidance algorithms for sequential processes","volume":"39","author":"Hsieh","year":"2003","journal-title":"Automatica"},{"issue":"10","key":"10.1016\/j.ins.2019.01.061_bib0013","doi-asserted-by":"crossref","first-page":"2538","DOI":"10.1016\/j.automatica.2008.03.008","article-title":"Robustness analysis of holonic assembly\/disassembly processes with Petri nets","volume":"44","author":"Hsieh","year":"2008","journal-title":"Automatica"},{"issue":"3","key":"10.1016\/j.ins.2019.01.061_bib0014","doi-asserted-by":"crossref","first-page":"496","DOI":"10.1080\/00207179.2011.561443","article-title":"Robustness analysis of non-ordinary petri nets for flexible assembly\/disassembly processes based on structural decomposition","volume":"84","author":"Hsieh","year":"2011","journal-title":"Int. J. Control"},{"key":"10.1016\/j.ins.2019.01.061_bib0015","series-title":"Supervisory Control of Discrete Event Systems Using Petri Wets","author":"Moody","year":"1998"},{"issue":"2","key":"10.1016\/j.ins.2019.01.061_bib0016","doi-asserted-by":"crossref","first-page":"169","DOI":"10.1109\/3477.558787","article-title":"A Petri net synthesis theory for modeling flexible manufacturing systems","volume":"27","author":"Jeng","year":"1997","journal-title":"IEEE Trans. Syst. Man Cybernet. Part B"},{"issue":"10","key":"10.1016\/j.ins.2019.01.061_bib0017","doi-asserted-by":"crossref","first-page":"2361","DOI":"10.1080\/00207549408957073","article-title":"A structured approach to deadlock detection, avoidance and resolution in flexible manufacturing systems","volume":"32","author":"Kumaran","year":"1994","journal-title":"Int. J. Prod. Res."},{"issue":"5","key":"10.1016\/j.ins.2019.01.061_bib0018","doi-asserted-by":"crossref","first-page":"796","DOI":"10.1109\/70.720355","article-title":"A correct and scalable deadlock avoidance policy for flexible manufacturing systems","volume":"24","author":"Lawley","year":"1998","journal-title":"IEEE Trans. Robot. Automat."},{"issue":"3","key":"10.1016\/j.ins.2019.01.061_bib0019","doi-asserted-by":"crossref","first-page":"346","DOI":"10.1109\/TRA.2002.1019464","article-title":"Robust supervisory control policies for manufacturing systems with unreliable resources","volume":"18","author":"Lawley","year":"2002","journal-title":"IEEE Trans. Robot. Automat."},{"issue":"1","key":"10.1016\/j.ins.2019.01.061_bib0020","doi-asserted-by":"crossref","first-page":"38","DOI":"10.1109\/TSMCA.2003.820576","article-title":"Elementary siphons of Petri nets and their application to deadlock prevention in flexible manufacturing systems","volume":"34","author":"Li","year":"2004","journal-title":"IEEE Trans. Syst. Man Cybernet. Part A"},{"issue":"9","key":"10.1016\/j.ins.2019.01.061_bib0021","doi-asserted-by":"crossref","first-page":"2161","DOI":"10.1080\/00207540500464942","article-title":"A correct minimal siphons extraction algorithm from a maximal unmarked siphon of a Petri net","volume":"45","author":"Li","year":"2007","journal-title":"Int. J. Prod. Res."},{"issue":"4","key":"10.1016\/j.ins.2019.01.061_bib0022","doi-asserted-by":"crossref","first-page":"313","DOI":"10.1109\/TII.2006.885185","article-title":"Two-stage method for synthesizing liveness-enforcing supervisors for flexible manufacturing systems using Petri nets","volume":"2","author":"Li","year":"2006","journal-title":"IEEE Trans. Indust. Inform."},{"issue":"5","key":"10.1016\/j.ins.2019.01.061_bib0023","first-page":"182","article-title":"A maximally permissive deadlock prevention policy for FMS based on Petri net siphon control and the theory of regions","volume":"2","author":"Li","year":"2008","journal-title":"IEEE Trans. Autom. Sci. Eng."},{"issue":"2","key":"10.1016\/j.ins.2019.01.061_bib0024","doi-asserted-by":"crossref","first-page":"369","DOI":"10.1109\/TSMCA.2007.914741","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 Cybernet. Part A"},{"issue":"2","key":"10.1016\/j.ins.2019.01.061_bib0025","doi-asserted-by":"crossref","first-page":"196","DOI":"10.1109\/TSMC.2013.2238923","article-title":"Transition cover-based design of petri net controllers for automated manufacturing systems","volume":"44","author":"Liu","year":"2014","journal-title":"IEEE Trans. Syst. Man Cybernet. Syst."},{"issue":"3","key":"10.1016\/j.ins.2019.01.061_bib0026","first-page":"519\u2212529","article-title":"Deadlock prevention for flexible manufacturing systems via controllable siphon basis of petri nets","volume":"45","author":"Liu","year":"2015","journal-title":"IEEE Trans. Syst. Man Cybernet. Syst."},{"key":"10.1016\/j.ins.2019.01.061_bib0027","doi-asserted-by":"crossref","first-page":"221","DOI":"10.1016\/j.ins.2015.11.021","article-title":"Design of optimal Petri-net controllers for a class of flexible manufacturing systems with key resources","volume":"363","author":"Liu","year":"2015","journal-title":"Inform. Sci."},{"issue":"6","key":"10.1016\/j.ins.2019.01.061_bib0028","first-page":"259\u2212279","article-title":"Robustness of deadlock control for a class of Petri nets with unreliable resources","volume":"235","author":"Liu","year":"2013","journal-title":"Inform. Sci."},{"issue":"6","key":"10.1016\/j.ins.2019.01.061_bib0029","doi-asserted-by":"crossref","first-page":"1337","DOI":"10.1109\/TSMCA.2008.2003535","article-title":"Selective siphon control for deadlock prevention in Petri nets","volume":"38","author":"Piroddi","year":"2008","journal-title":"IEEE Trans. Syst. Man Cybernet. Part A"},{"issue":"1","key":"10.1016\/j.ins.2019.01.061_bib0030","doi-asserted-by":"crossref","first-page":"52\u221264","DOI":"10.1109\/TSMCA.2003.820572","article-title":"Supervisory control for deadlock avoidance in compound processes","volume":"34","author":"Roszkowska","year":"2004","journal-title":"IEEE Trans. Syst. Man Cybernet. Part A"},{"issue":"3","key":"10.1016\/j.ins.2019.01.061_bib0031","doi-asserted-by":"crossref","first-page":"362","DOI":"10.1109\/TSMCA.2007.893484","article-title":"An iterative synthesis approach to Petri net-based deadlock prevention policy for flexible manufacturing systems","volume":"37","author":"Uzam","year":"2007","journal-title":"IEEE Trans. Syst. Man Cybernet. Part A"},{"issue":"5","key":"10.1016\/j.ins.2019.01.061_bib0032","doi-asserted-by":"crossref","first-page":"1206","DOI":"10.1109\/TSMCA.2011.2170419","article-title":"Controllability conditions of resultant siphons in a class of Petri nets,","volume":"42","author":"Wang","year":"2012","journal-title":"IEEE Trans. Syst. Man Cybernet. Part A"},{"issue":"3","key":"10.1016\/j.ins.2019.01.061_bib0033","first-page":"605\u2212627","article-title":"Using shared-resource capacity for robust control of failure-prone manufacturing systems","volume":"38","author":"Wang","year":"2008","journal-title":"IEEE Trans. Syst. Man Cybernet. Part A"},{"key":"10.1016\/j.ins.2019.01.061_bib0034","doi-asserted-by":"crossref","first-page":"243\u2212256","DOI":"10.1016\/j.ins.2016.01.057","article-title":"A robust deadlock prevention control for automated manufacturing systems with unreliable resources","volume":"345","author":"Wang","year":"2016","journal-title":"Inform. Sci."},{"key":"10.1016\/j.ins.2019.01.061_bib0035","doi-asserted-by":"crossref","first-page":"17\u221228","DOI":"10.1016\/j.ins.2016.01.049","article-title":"Robust deadlock control for automated manufacturing systems with an unreliable. Resource","volume":"346-347","author":"Wu","year":"2016","journal-title":"Inform. Sci."},{"issue":"3","key":"10.1016\/j.ins.2019.01.061_bib0036","doi-asserted-by":"crossref","first-page":"474\u2212480","DOI":"10.1109\/TASE.2006.888049","article-title":"Deadlock resolution in automated manufacturing systems with robots","volume":"4","author":"Wu","year":"2007","journal-title":"IEEE Trans. Automat. Sci. Eng."},{"issue":"1","key":"10.1016\/j.ins.2019.01.061_bib0037","first-page":"188\u2212199","article-title":"Optimal Petri-net-based polynomial-complexity deadlock-avoidance policies for automated manufacturing systems","volume":"39","author":"Xing","year":"2009","journal-title":"IEEE Trans. Syst. Man Cybern. A Syst. Humans"},{"issue":"1","key":"10.1016\/j.ins.2019.01.061_bib0038","doi-asserted-by":"crossref","first-page":"74","DOI":"10.1109\/TSMCA.2010.2048898","article-title":"Resource-transition circuits and siphons for deadlock control of automated manufacturing systems","volume":"41","author":"Xing","year":"2011","journal-title":"IEEE Trans. Syst. Man Cybernet. Part A"},{"issue":"6","key":"10.1016\/j.ins.2019.01.061_bib0039","doi-asserted-by":"crossref","first-page":"1573","DOI":"10.1080\/00207543.2013.807375","article-title":"Robust supervisory control policy for avoiding deadlock in automated manufacturing systems with unreliable resources","volume":"52","author":"Yue","year":"2014","journal-title":"Int. J. Prod. Res."},{"key":"10.1016\/j.ins.2019.01.061_bib0040","article-title":"Petri-net-based robust supervisory control of automated manufacturing systems","volume":"54","author":"Yue","year":"2013","journal-title":"Control Eng. Pract."},{"issue":"6","key":"10.1016\/j.ins.2019.01.061_bib0041","doi-asserted-by":"crossref","first-page":"1199","DOI":"10.1016\/0005-1098(92)90061-J","article-title":"Design and implementation of a Petri net based supervisor for a flexible manufacturing system","volume":"28","author":"Zhou","year":"1992","journal-title":"Automatica"},{"issue":"10","key":"10.1016\/j.ins.2019.01.061_bib0042","doi-asserted-by":"crossref","first-page":"2053\u22122066","DOI":"10.1080\/00207179.2010.504785","article-title":"Liveness-enforcing supervisors synthesis for a class of generalised Petri nets based on two-stage deadlock control and mathematical programming\u201d","volume":"83","author":"Zhao","year":"2010","journal-title":"Int. J. Control"}],"container-title":["Information Sciences"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0020025517300269?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0020025517300269?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2019,8,7]],"date-time":"2019-08-07T21:42:03Z","timestamp":1565214123000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/S0020025517300269"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2019,5]]},"references-count":42,"alternative-id":["S0020025517300269"],"URL":"https:\/\/doi.org\/10.1016\/j.ins.2019.01.061","relation":{},"ISSN":["0020-0255"],"issn-type":[{"value":"0020-0255","type":"print"}],"subject":[],"published":{"date-parts":[[2019,5]]},"assertion":[{"value":"Elsevier","name":"publisher","label":"This article is maintained by"},{"value":"Two-stage design method of robust deadlock control for automated manufacturing systems with a type of unreliable resources","name":"articletitle","label":"Article Title"},{"value":"Information Sciences","name":"journaltitle","label":"Journal Title"},{"value":"https:\/\/doi.org\/10.1016\/j.ins.2019.01.061","name":"articlelink","label":"CrossRef DOI link to publisher maintained version"},{"value":"article","name":"content_type","label":"Content Type"},{"value":"\u00a9 2019 Elsevier Inc. All rights reserved.","name":"copyright","label":"Copyright"}]}}