{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,7,25]],"date-time":"2024-07-25T07:58:05Z","timestamp":1721894285816},"reference-count":58,"publisher":"Elsevier BV","license":[{"start":{"date-parts":[[2019,4,1]],"date-time":"2019-04-01T00:00:00Z","timestamp":1554076800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/tdm\/userlicense\/1.0\/"}],"funder":[{"name":"Fundamental Research Funds for the Central Universities","award":["3102017OQD110"]},{"name":"Aviation Science Foundation of China","award":["2015ZD53050"]},{"name":"National Defense Basic Scientific Research Program","award":["N2016KD0003"]},{"DOI":"10.13039\/501100001809","name":"National Natural Science Foundation of China","doi-asserted-by":"publisher","award":["61573278"],"id":[{"id":"10.13039\/501100001809","id-type":"DOI","asserted-by":"publisher"}]},{"name":"Shandong Provincial Natural Science Foundation of China","award":["ZR2018MF024"]}],"content-domain":{"domain":["elsevier.com","sciencedirect.com"],"crossmark-restriction":true},"short-container-title":["Information Sciences"],"published-print":{"date-parts":[[2019,4]]},"DOI":"10.1016\/j.ins.2018.11.051","type":"journal-article","created":{"date-parts":[[2018,11,28]],"date-time":"2018-11-28T23:49:00Z","timestamp":1543448940000},"page":"401-415","update-policy":"http:\/\/dx.doi.org\/10.1016\/elsevier_cm_policy","source":"Crossref","is-referenced-by-count":25,"special_numbering":"C","title":["Robust deadlock control of automated manufacturing systems with multiple unreliable resources"],"prefix":"10.1016","volume":"479","author":[{"ORCID":"http:\/\/orcid.org\/0000-0003-0957-0803","authenticated-orcid":false,"given":"JianChao","family":"Luo","sequence":"first","affiliation":[]},{"given":"ZhiQiang","family":"Liu","sequence":"additional","affiliation":[]},{"ORCID":"http:\/\/orcid.org\/0000-0002-5408-8752","authenticated-orcid":false,"given":"MengChu","family":"Zhou","sequence":"additional","affiliation":[]},{"given":"KeYi","family":"Xing","sequence":"additional","affiliation":[]},{"given":"XinNian","family":"Wang","sequence":"additional","affiliation":[]},{"given":"XiaoLing","family":"Li","sequence":"additional","affiliation":[]},{"given":"HuiXia","family":"Liu","sequence":"additional","affiliation":[]}],"member":"78","reference":[{"issue":"5","key":"10.1016\/j.ins.2018.11.051_bib0001","doi-asserted-by":"crossref","first-page":"1028","DOI":"10.1016\/j.automatica.2011.01.070","article-title":"Design of a maximally permissive liveness-enforcing supervisor with a compressed supervisory structure for flexible manufacturing systems","volume":"47","author":"Chen","year":"2011","journal-title":"Automatica"},{"issue":"1","key":"10.1016\/j.ins.2018.11.051_bib0002","doi-asserted-by":"crossref","first-page":"74","DOI":"10.1016\/j.ins.2013.07.021","article-title":"Maximally permissive liveness-enforcing supervisor with lowest implementation cost for flexible manufacturing systems","volume":"256","author":"Chen","year":"2014","journal-title":"Inform. Sci."},{"issue":"C","key":"10.1016\/j.ins.2018.11.051_bib0003","first-page":"290","article-title":"Deadlock recovery for flexible manufacturing systems modeled with Petri nets","volume":"381","author":"Chen","year":"2016","journal-title":"Inform. Sci."},{"key":"10.1016\/j.ins.2018.11.051_bib0004","doi-asserted-by":"crossref","first-page":"178","DOI":"10.1016\/j.ins.2015.08.016","article-title":"A novel method for deadlock prevention of AMS by using resource-oriented Petri nets","volume":"363","author":"Chen","year":"2015","journal-title":"Inform. Sci."},{"issue":"3","key":"10.1016\/j.ins.2018.11.051_bib0005","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. Autom. Sci. Eng."},{"issue":"1","key":"10.1016\/j.ins.2018.11.051_bib0006","doi-asserted-by":"crossref","first-page":"195","DOI":"10.1109\/TASE.2008.917142","article-title":"Robust supervisory control for product routings with multiple unreliable resources","volume":"6","author":"Chew","year":"2009","journal-title":"IEEE Trans. Autom. Sci. Eng."},{"issue":"3","key":"10.1016\/j.ins.2018.11.051_bib0007","doi-asserted-by":"crossref","first-page":"229","DOI":"10.1080\/0951192X.2011.552526","article-title":"Resource failure and blockage control for production systems","volume":"24","author":"Chew","year":"2011","journal-title":"Int. J. Computer Integr. Manuf."},{"issue":"2","key":"10.1016\/j.ins.2018.11.051_bib0008","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 Trans. Robot. Automat."},{"issue":"4","key":"10.1016\/j.ins.2018.11.051_bib0009","doi-asserted-by":"crossref","first-page":"621","DOI":"10.1109\/TRA.2002.801048","article-title":"A Banker's solution for deadlock avoidance in FMS with flexible routing and multiresource states","volume":"18","author":"Ezpeleta","year":"2002","journal-title":"IEEE Trans. Robot. Automat."},{"issue":"2","key":"10.1016\/j.ins.2018.11.051_bib0010","doi-asserted-by":"crossref","first-page":"157","DOI":"10.1023\/A:1014482419706","article-title":"Design of supervisors to avoid deadlock in flexible assembly systems","volume":"14","author":"Fanti","year":"2002","journal-title":"Int. J. Flexible Manuf. Syst."},{"issue":"1","key":"10.1016\/j.ins.2018.11.051_bib0011","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":"10","key":"10.1016\/j.ins.2018.11.051_bib0012","doi-asserted-by":"crossref","first-page":"1231","DOI":"10.1016\/j.conengprac.2006.02.007","article-title":"Monitor design for colored Petri nets: an application to deadlock prevention in railway networks","volume":"14","author":"Fanti","year":"2006","journal-title":"Control Eng. Pract."},{"key":"10.1016\/j.ins.2018.11.051_bib0013","doi-asserted-by":"crossref","first-page":"506","DOI":"10.1109\/32.297939","article-title":"A characterization of the stochastic process underlying a stochastic Petri net","volume":"20","author":"German","year":"1994","journal-title":"IEEE Trans. Softw. Eng."},{"issue":"1","key":"10.1016\/j.ins.2018.11.051_bib0014","doi-asserted-by":"crossref","first-page":"109","DOI":"10.1109\/TII.2012.2198661","article-title":"Deadlock-free control of AMS with flexible routes and assembly operations using Petri nets","volume":"9","author":"Hu","year":"2013","journal-title":"IEEE Trans. Ind. Inf."},{"issue":"2","key":"10.1016\/j.ins.2018.11.051_bib0015","doi-asserted-by":"crossref","first-page":"513","DOI":"10.1109\/TCST.2014.2342664","article-title":"A Petri net-based discrete event control of automated manufacturing systems with assembly operations","volume":"23","author":"Hu","year":"2015","journal-title":"IEEE Trans. Control Syst. Technol."},{"issue":"17","key":"10.1016\/j.ins.2018.11.051_bib0016","doi-asserted-by":"crossref","first-page":"4563","DOI":"10.1080\/00207540210155792","article-title":"Control of deadlock and blocking for production systems with unreliable workstations","volume":"40","author":"Lawley","year":"2002","journal-title":"Int. J. Prod. Res."},{"issue":"3","key":"10.1016\/j.ins.2018.11.051_bib0017","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.2018.11.051_bib0018","first-page":"133","article-title":"Control of elementary and dependent siphons in Petri nets and their application","volume":"38","author":"Li","year":"2007","journal-title":"IEEE Trans. Syst. Man. Cybernet. Part A."},{"issue":"4","key":"10.1016\/j.ins.2018.11.051_bib0019","doi-asserted-by":"crossref","first-page":"517","DOI":"10.1109\/TSMCC.2007.897333","article-title":"Design of liveness-enforcing supervisors for flexible manufacturing systems using Petri nets","volume":"37","author":"Li","year":"2011","journal-title":"IEEE Trans. Syst. Man Cybernet. Part C."},{"issue":"1","key":"10.1016\/j.ins.2018.11.051_bib0020","doi-asserted-by":"crossref","first-page":"178","DOI":"10.1109\/TSMCA.2011.2147308","article-title":"Deadlock prevention based on structure reuse of Petri net supervisors for flexible manufacturing systems","volume":"42","author":"Li","year":"2012","journal-title":"IEEE Trans. Syst. Man. Cybernet. Part A."},{"key":"10.1016\/j.ins.2018.11.051_bib0021","doi-asserted-by":"crossref","first-page":"188","DOI":"10.1016\/j.cie.2016.12.008","article-title":"Total energy consumption optimization via genetic algorithm in flexible manufacturing systems","volume":"104","author":"Li","year":"2017","journal-title":"Comp. Indust. Eng."},{"issue":"6","key":"10.1016\/j.ins.2018.11.051_bib0022","doi-asserted-by":"crossref","first-page":"259","DOI":"10.1016\/j.ins.2013.01.003","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":"7","key":"10.1016\/j.ins.2018.11.051_bib0023","doi-asserted-by":"crossref","first-page":"1147","DOI":"10.1080\/00207721.2013.827257","article-title":"Necessary and sufficient liveness condition of GSPR Petri nets","volume":"46","author":"Liu","year":"2015","journal-title":"Int. J. Syst. Sci."},{"issue":"8","key":"10.1016\/j.ins.2018.11.051_bib0024","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1080\/00207179.2014.991940","article-title":"Further reduction of minimal first-met bad markings for the computationally efficient synthesis of a maximally permissive controller","volume":"88","author":"Liu","year":"2015","journal-title":"Int. J. Control"},{"key":"10.1016\/j.ins.2018.11.051_bib0025","doi-asserted-by":"crossref","first-page":"198","DOI":"10.1016\/j.ins.2015.08.037","article-title":"A survey of siphons in Petri nets","volume":"363","author":"Liu","year":"2016","journal-title":"Inform. Sci."},{"issue":"2","key":"10.1016\/j.ins.2018.11.051_bib0026","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":"C","key":"10.1016\/j.ins.2018.11.051_bib0027","first-page":"221","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.2018.11.051_bib0028","doi-asserted-by":"crossref","first-page":"793","DOI":"10.1177\/0142331216656755","article-title":"Robust supervisory control policy for automated manufacturing systems with a single unreliable resource","volume":"39","author":"Luo","year":"2017","journal-title":"Trans. Inst. Meas. Control"},{"key":"10.1016\/j.ins.2018.11.051_bib0029","doi-asserted-by":"crossref","DOI":"10.1002\/asjc.1856","article-title":"Deadlock and blockage control of automated manufacturing systems with an unreliable resource","author":"Luo","year":"2018","journal-title":"Asian J. Control"},{"issue":"11","key":"10.1016\/j.ins.2018.11.051_bib0030","doi-asserted-by":"crossref","first-page":"3283","DOI":"10.1080\/00207543.2017.1306132","article-title":"Scheduling of deadlock and failure-prone automated manufacturing systems via hybrid heuristic search","volume":"55","author":"Luo","year":"2017","journal-title":"Int. J. Prod. Res."},{"key":"10.1016\/j.ins.2018.11.051_bib0031","doi-asserted-by":"crossref","DOI":"10.1109\/TII.2018.2876343","article-title":"A Petri net-based deadlock avoidance policy for flexible manufacturing systems with assembly operations and multiple resource acquisition","author":"Luo","year":"2018","journal-title":"IEEE Trans. Ind. Inf."},{"key":"10.1016\/j.ins.2018.11.051_bib0032","doi-asserted-by":"crossref","DOI":"10.1109\/TSMC.2018.2855685","article-title":"Deadlock-free scheduling of flexible assembly systems based on petri nets and local search","author":"Luo","year":"2018","journal-title":"IEEE Trans. Syst. Man Cybernet. Syst."},{"key":"10.1016\/j.ins.2018.11.051_bib0033","series-title":"Proc. IEEE","first-page":"541","article-title":"Petri nets: properties, analysis and applications","volume":"77","author":"Murata","year":"1989"},{"issue":"10","key":"10.1016\/j.ins.2018.11.051_bib0034","doi-asserted-by":"crossref","first-page":"1572","DOI":"10.1109\/9.956052","article-title":"Deadlock avoidance in sequential resource allocation systems with multiple resource acquisitions and flexible routings","volume":"46","author":"Park","year":"2001","journal-title":"IEEE Trans. Autom. Control"},{"issue":"6","key":"10.1016\/j.ins.2018.11.051_bib0035","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":"2","key":"10.1016\/j.ins.2018.11.051_bib0036","doi-asserted-by":"crossref","first-page":"297","DOI":"10.1109\/JAS.2017.7510406","article-title":"An improved approach to test diagnosability of bounded Petri nets","volume":"4","author":"Ran","year":"2017","journal-title":"IEEE\/CAA J. Automatica Sinica"},{"issue":"1","key":"10.1016\/j.ins.2018.11.051_bib0037","doi-asserted-by":"crossref","first-page":"52","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":"11","key":"10.1016\/j.ins.2018.11.051_bib0038","doi-asserted-by":"crossref","first-page":"2659","DOI":"10.1016\/j.automatica.2009.07.022","article-title":"Consensus of high-order linear systems using dynamic output feedback compensator: low gain approach","volume":"45","author":"Seo","year":"2009","journal-title":"Automatica"},{"issue":"C","key":"10.1016\/j.ins.2018.11.051_bib0039","doi-asserted-by":"crossref","first-page":"243","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."},{"issue":"3","key":"10.1016\/j.ins.2018.11.051_bib0040","doi-asserted-by":"crossref","first-page":"605","DOI":"10.1109\/TSMCA.2008.918616","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.2018.11.051_bib0041","article-title":"Sliding mode control of fuzzy singularly perturbed systems with application to electric circuit","author":"Wang","year":"2017","journal-title":"IEEE Trans. Syst. Man Cybernet. Syst."},{"key":"10.1016\/j.ins.2018.11.051_bib0042","article-title":"Fuzzy-model-based sliding mode control of nonlinear descriptor systems","author":"Wang","year":"2018","journal-title":"IEEE Trans. Cybernet."},{"key":"10.1016\/j.ins.2018.11.051_bib0043","article-title":"A novel memory filtering design for semi-Markovian jump time-delay systems","author":"Wei","year":"2017","journal-title":"IEEE Trans. Syst. Man Cybernet. Syst."},{"issue":"6","key":"10.1016\/j.ins.2018.11.051_bib0044","doi-asserted-by":"crossref","first-page":"1808","DOI":"10.1109\/TFUZZ.2016.2633323","article-title":"A novel approach to reliable output feedback control of fuzzy-affine systems with time delays and sensor faults","volume":"25","author":"Wei","year":"2017","journal-title":"IEEE Trans. Fuzzy Syst."},{"issue":"1","key":"10.1016\/j.ins.2018.11.051_bib0045","doi-asserted-by":"crossref","first-page":"56","DOI":"10.1109\/TSMCA.2007.909542","article-title":"Resource-oriented Petri net for deadlock avoidance in flexible assembly systems","volume":"38","author":"Wu","year":"2008","journal-title":"IEEE Trans. Syst. Man Cybernet. Part A."},{"issue":"1","key":"10.1016\/j.ins.2018.11.051_bib0046","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1145\/2406336.2406346","article-title":"Petri net modeling and one-step look-ahead maximally permissive deadlock control of automated manufacturing systems","volume":"12","author":"Wu","year":"2013","journal-title":"ACM Trans. Embed. Comput. Syst."},{"issue":"C","key":"10.1016\/j.ins.2018.11.051_bib0047","first-page":"17","article-title":"Robust deadlock control for automated manufacturing systems with an unreliable resource","volume":"346","author":"Wu","year":"2016","journal-title":"Inform. Sci."},{"issue":"1","key":"10.1016\/j.ins.2018.11.051_bib0048","doi-asserted-by":"crossref","first-page":"188","DOI":"10.1109\/TSMCA.2008.2007947","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 Cybernet. Part A."},{"key":"10.1016\/j.ins.2018.11.051_bib0049","doi-asserted-by":"crossref","first-page":"358","DOI":"10.1016\/j.automatica.2017.09.001","article-title":"Deadlock characterization and control of flexible assembly systems with Petri nets","volume":"87","author":"Xing","year":"2018","journal-title":"Automatica"},{"issue":"1","key":"10.1016\/j.ins.2018.11.051_bib0050","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":"2010","journal-title":"IEEE Trans. Syst. Man Cybernet. Part A."},{"issue":"1","key":"10.1016\/j.ins.2018.11.051_bib0051","doi-asserted-by":"crossref","first-page":"270","DOI":"10.1109\/JAS.2017.7510772","article-title":"Polynomial approach to optimal one-wafer cyclic scheduling of treelike hybrid multi-cluster tools via Petri nets","volume":"5","author":"Yang","year":"2018","journal-title":"IEEE\/CAA J. Automatica Sinica"},{"key":"10.1016\/j.ins.2018.11.051_bib0052","doi-asserted-by":"crossref","first-page":"173","DOI":"10.1016\/j.automatica.2018.03.033","article-title":"Finite-time command filtered backstepping control for a class of nonlinear systems","volume":"92","author":"Yu","year":"2018","journal-title":"Automatica"},{"issue":"9","key":"10.1016\/j.ins.2018.11.051_bib0053","doi-asserted-by":"crossref","first-page":"2472","DOI":"10.1109\/TCYB.2016.2633367","article-title":"Command filtering-based fuzzy control for nonlinear systems with saturation input","volume":"47","author":"Yu","year":"2017","journal-title":"IEEE Trans. Cybernet."},{"issue":"6","key":"10.1016\/j.ins.2018.11.051_bib0054","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."},{"issue":"4","key":"10.1016\/j.ins.2018.11.051_bib0055","doi-asserted-by":"crossref","first-page":"435","DOI":"10.1177\/0142331213495884","article-title":"Robust supervisory control for avoiding deadlocks in automated manufacturing systems with one specified unreliable resource","volume":"36","author":"Yue","year":"2014","journal-title":"Trans. Inst. Meas. Control"},{"key":"10.1016\/j.ins.2018.11.051_bib0056","doi-asserted-by":"crossref","DOI":"10.1016\/j.ins.2018.02.043","article-title":"Resource failure and buffer space allocation control for automated manufacturing systems","author":"Yue","year":"2018","journal-title":"Inform. Sci."},{"key":"10.1016\/j.ins.2018.11.051_bib0057","series-title":"Modeling, simulation, and Control of Flexible Manufacturing Systems: a Petri net Approach","author":"Zhou","year":"1998"},{"key":"10.1016\/j.ins.2018.11.051_bib0058","series-title":"Deadlock Resolution in Computer-Integrated System","author":"Zhou","year":"2005"}],"container-title":["Information Sciences"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0020025518309381?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0020025518309381?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2019,8,8]],"date-time":"2019-08-08T07:41:08Z","timestamp":1565250068000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/S0020025518309381"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2019,4]]},"references-count":58,"alternative-id":["S0020025518309381"],"URL":"https:\/\/doi.org\/10.1016\/j.ins.2018.11.051","relation":{},"ISSN":["0020-0255"],"issn-type":[{"value":"0020-0255","type":"print"}],"subject":[],"published":{"date-parts":[[2019,4]]},"assertion":[{"value":"Elsevier","name":"publisher","label":"This article is maintained by"},{"value":"Robust deadlock control of automated manufacturing systems with multiple unreliable resources","name":"articletitle","label":"Article Title"},{"value":"Information Sciences","name":"journaltitle","label":"Journal Title"},{"value":"https:\/\/doi.org\/10.1016\/j.ins.2018.11.051","name":"articlelink","label":"CrossRef DOI link to publisher maintained version"},{"value":"article","name":"content_type","label":"Content Type"},{"value":"\u00a9 2018 Elsevier Inc. All rights reserved.","name":"copyright","label":"Copyright"}]}}