{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,5,15]],"date-time":"2026-05-15T05:09:19Z","timestamp":1778821759238,"version":"3.51.4"},"reference-count":30,"publisher":"Elsevier BV","license":[{"start":{"date-parts":[[2026,8,1]],"date-time":"2026-08-01T00:00:00Z","timestamp":1785542400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/tdm\/userlicense\/1.0\/"},{"start":{"date-parts":[[2026,8,1]],"date-time":"2026-08-01T00:00:00Z","timestamp":1785542400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/legal\/tdmrep-license"},{"start":{"date-parts":[[2026,8,1]],"date-time":"2026-08-01T00:00:00Z","timestamp":1785542400000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-017"},{"start":{"date-parts":[[2026,8,1]],"date-time":"2026-08-01T00:00:00Z","timestamp":1785542400000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"},{"start":{"date-parts":[[2026,8,1]],"date-time":"2026-08-01T00:00:00Z","timestamp":1785542400000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-012"},{"start":{"date-parts":[[2026,8,1]],"date-time":"2026-08-01T00:00:00Z","timestamp":1785542400000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2026,8,1]],"date-time":"2026-08-01T00:00:00Z","timestamp":1785542400000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-004"}],"funder":[{"DOI":"10.13039\/501100001809","name":"National Natural Science Foundation of China","doi-asserted-by":"publisher","award":["U24A20156"],"award-info":[{"award-number":["U24A20156"]}],"id":[{"id":"10.13039\/501100001809","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100010230","name":"Qinghai University","doi-asserted-by":"publisher","award":["2025KTSQ28"],"award-info":[{"award-number":["2025KTSQ28"]}],"id":[{"id":"10.13039\/501100010230","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100003009","name":"Science and Technology Development Fund","doi-asserted-by":"publisher","id":[{"id":"10.13039\/501100003009","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":[[2026,8]]},"DOI":"10.1016\/j.ins.2026.123450","type":"journal-article","created":{"date-parts":[[2026,4,1]],"date-time":"2026-04-01T15:30:00Z","timestamp":1775057400000},"page":"123450","update-policy":"https:\/\/doi.org\/10.1016\/elsevier_cm_policy","source":"Crossref","is-referenced-by-count":0,"special_numbering":"C","title":["Dynamic control of discrete event systems with unreliable resources by Petri nets"],"prefix":"10.1016","volume":"747","author":[{"ORCID":"https:\/\/orcid.org\/0009-0002-4703-8375","authenticated-orcid":false,"given":"Junjie","family":"Huang","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Yang","family":"Si","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-2421-2406","authenticated-orcid":false,"given":"Chengzong","family":"Li","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-1568-3444","authenticated-orcid":false,"given":"Yufeng","family":"Chen","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-1547-5503","authenticated-orcid":false,"given":"Zhiwu","family":"Li","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"78","reference":[{"issue":"3","key":"10.1016\/j.ins.2026.123450_bib0005","doi-asserted-by":"crossref","first-page":"812","DOI":"10.1109\/JAS.2020.1003096","article-title":"Robust deadlock avoidance policy for automated manufacturing system with multiple unreliable resources","volume":"7","author":"Luo","year":"2020","journal-title":"IEEE\/CAA J. Autom. Sin."},{"key":"10.1016\/j.ins.2026.123450_bib0010","doi-asserted-by":"crossref","first-page":"30344","DOI":"10.1109\/ACCESS.2021.3111575","article-title":"Colored resource-oriented Petri nets for deadlock control and reliability design of automated manufacturing systems","volume":"9","author":"Al-Shayea","year":"2021","journal-title":"IEEE Access"},{"issue":"1","key":"10.1016\/j.ins.2026.123450_bib0015","doi-asserted-by":"crossref","first-page":"81","DOI":"10.1109\/5.21072","article-title":"The control of discrete event systems","volume":"77","author":"Ramadge","year":"1989","journal-title":"Proc. IEEE"},{"issue":"1","key":"10.1016\/j.ins.2026.123450_bib0020","doi-asserted-by":"crossref","first-page":"156","DOI":"10.1109\/TASE.2008.2006857","article-title":"Automatic reconfiguration of Petri net controllers for reconfigurable manufacturing systems with an improved net rewriting system-based approach","volume":"6","author":"Li","year":"2009","journal-title":"IEEE Trans. Autom. Sci. Eng."},{"key":"10.1016\/j.ins.2026.123450_bib0025","doi-asserted-by":"crossref","first-page":"269","DOI":"10.1109\/ACCESS.2019.2958331","article-title":"Strong controllable siphon basis-based robust deadlock control for manufacturing systems with multiple unreliable resources","volume":"8","author":"Liu","year":"2020","journal-title":"IEEE Access"},{"issue":"2","key":"10.1016\/j.ins.2026.123450_bib0030","doi-asserted-by":"crossref","first-page":"518","DOI":"10.1109\/TCST.2023.3325751","article-title":"Supervisory control of discrete event systems with dynamic control specifications by Petri nets","volume":"32","author":"Li","year":"2023","journal-title":"IEEE Trans. Control Syst. Technol."},{"key":"10.1016\/j.ins.2026.123450_bib0035","series-title":"Proc. Amer. Control Conf","first-page":"4477","article-title":"Resilience to failures and reconfigurations in the supervision based on place invariants","author":"Ioradache","year":"2004"},{"issue":"12","key":"10.1016\/j.ins.2026.123450_bib0040","doi-asserted-by":"crossref","first-page":"3887","DOI":"10.35940\/ijitee.L3392.1081219","article-title":"Petri net based modeling and property analysis of distributed discrete event system","volume":"8","author":"Dahiya","year":"2019","journal-title":"Int. J. Innov. Technol. Explor. Eng."},{"issue":"2","key":"10.1016\/j.ins.2026.123450_bib0045","doi-asserted-by":"crossref","first-page":"693","DOI":"10.1007\/s10270-014-0425-1","article-title":"Petri nets for the control of discrete event systems","volume":"14","author":"Giua","year":"2015","journal-title":"Softw. Syst. Model."},{"issue":"2016","key":"10.1016\/j.ins.2026.123450_bib0050","article-title":"An efficient siphon-based deadlock prevention policy for a class of generalized Petri nets","author":"Hou","year":"2016","journal-title":"Discrete Dyn. Nat. Soc."},{"issue":"17","key":"10.1016\/j.ins.2026.123450_bib0055","doi-asserted-by":"crossref","first-page":"3517","DOI":"10.3390\/electronics13173517","article-title":"Sustainability of automated manufacturing systems with resources by means of their deadlock prevention","volume":"13","author":"Capkovi\u010d","year":"2024","journal-title":"Electronics"},{"issue":"2","key":"10.1016\/j.ins.2026.123450_bib0060","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. Autom."},{"issue":"5","key":"10.1016\/j.ins.2026.123450_bib0065","doi-asserted-by":"crossref","DOI":"10.1177\/1687814017693542","article-title":"Deadlock analysis and control based on Petri nets: a siphon approach review","volume":"9","author":"Hou","year":"2017","journal-title":"Adv. Mech. Eng."},{"issue":"1","key":"10.1016\/j.ins.2026.123450_bib0070","doi-asserted-by":"crossref","first-page":"191","DOI":"10.1109\/TSMC.2022.3174421","article-title":"A refined siphon-based deadlock prevention policy for a class of Petri nets","volume":"53","author":"Wang","year":"2022","journal-title":"IEEE Trans. Syst, Man, Cybern, Syst."},{"issue":"3","key":"10.1016\/j.ins.2026.123450_bib0075","doi-asserted-by":"crossref","first-page":"336","DOI":"10.1002\/asjc.188","article-title":"Synthesis of deadlock prevention policy using Petri nets reachability graph technique","volume":"12","author":"Huang","year":"2010","journal-title":"Asian J. Control"},{"key":"10.1016\/j.ins.2026.123450_bib0080","doi-asserted-by":"crossref","first-page":"7312","DOI":"10.1109\/TASE.2024.3450656","article-title":"Designing liveness-enforcing supervisors for manufacturing systems by using maximally good step graphs of Petri nets","volume":"22","author":"Dou","year":"2025","journal-title":"IEEE Trans. Autom. Sci. Eng."},{"key":"10.1016\/j.ins.2026.123450_bib0085","series-title":"2022 IEEE 18th Int. Conf. Autom. Sci. Eng. (CASE)","first-page":"1539","article-title":"Design of robust optimization Petri net controller for automated manufacturing systems with unreliable resources","author":"Zhang","year":"2022"},{"key":"10.1016\/j.ins.2026.123450_bib0090","first-page":"17","article-title":"Robust deadlock control for automated manufacturing systems with an unreliable resource","volume":"346\u2013347","author":"Wu","year":"2016","journal-title":"Inf. Sci."},{"issue":"3","key":"10.1016\/j.ins.2026.123450_bib0095","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, Cybern. A, Syst. Humans"},{"issue":"6","key":"10.1016\/j.ins.2026.123450_bib0100","doi-asserted-by":"crossref","first-page":"452","DOI":"10.1080\/02533839.2018.1498023","article-title":"Two-step approach to robust deadlock control in automated manufacturing systems with multiple resource failures","volume":"41","author":"Liu","year":"2018","journal-title":"J. Chin. Inst. Eng."},{"key":"10.1016\/j.ins.2026.123450_bib0105","doi-asserted-by":"crossref","DOI":"10.1016\/j.ins.2024.120258","article-title":"Robust supervisory control for automated manufacturing systems with unreliable resources by analyzing reachable state space","volume":"664","author":"Feng","year":"2024","journal-title":"Inf. Sci."},{"key":"10.1016\/j.ins.2026.123450_bib0110","series-title":"40th Youth Academic Annual Conference of Chinese Association of Automation (YAC)","first-page":"2767","article-title":"Optimally robust control for automated manufacturing systems with an unreliable resource using resource-oriented Petri nets","author":"Du","year":"2025"},{"issue":"4","key":"10.1016\/j.ins.2026.123450_bib0115","doi-asserted-by":"crossref","first-page":"2652","DOI":"10.1109\/TCNS.2025.3587333","article-title":"Adaptive deadlock control for automated manufacturing systems with unreliable resources using Petri nets","volume":"12","author":"Du","year":"2025","journal-title":"IEEE Trans. Control Netw. Syst."},{"issue":"10","key":"10.1016\/j.ins.2026.123450_bib0120","doi-asserted-by":"crossref","first-page":"3515","DOI":"10.1109\/TSMC.2018.2884316","article-title":"Robust deadlock prevention for automated manufacturing systems with unreliable resources by using general Petri nets","volume":"50","author":"Feng","year":"2020","journal-title":"IEEE Trans. Syst, Man, Cybern. Syst."},{"key":"10.1016\/j.ins.2026.123450_bib0125","doi-asserted-by":"crossref","first-page":"235","DOI":"10.1016\/j.ins.2015.09.010","article-title":"Think-globally-act-locally approach with weighted arcs to the synthesis of a liveness-enforcing supervisor for generalized Petri nets modeling FMSs","volume":"363","author":"Uzam","year":"2016","journal-title":"Inf. Sci."},{"issue":"4","key":"10.1016\/j.ins.2026.123450_bib0130","doi-asserted-by":"crossref","first-page":"541","DOI":"10.1109\/5.24143","article-title":"Petri nets: properties, analysis and applications","volume":"77","author":"Murata","year":"1989","journal-title":"Proc. IEEE"},{"issue":"10","key":"10.1016\/j.ins.2026.123450_bib0135","doi-asserted-by":"crossref","first-page":"1987","DOI":"10.1080\/00207540500431321","article-title":"An improved iterative synthesis method for liveness enforcing supervisors of flexible manufacturing systems","volume":"44","author":"Uzam","year":"2006","journal-title":"Int. J. Prod. Res."},{"issue":"1","key":"10.1016\/j.ins.2026.123450_bib0140","doi-asserted-by":"crossref","first-page":"15","DOI":"10.1016\/0005-1098(95)00103-4","article-title":"Feedback control of Petri nets based on place invariants","volume":"32","author":"Yamalidou","year":"1996","journal-title":"Automatica"},{"issue":"5","key":"10.1016\/j.ins.2026.123450_bib0145","doi-asserted-by":"crossref","first-page":"1310","DOI":"10.31577\/cai_2022_5_1310","article-title":"Synthesis of liveness-enforcing Petri net supervisors based on a think-globally-act-locally approach and a structurally minimal method for flexible manufacturing systems","volume":"41","author":"Li","year":"2022","journal-title":"Comput. Inform."},{"issue":"2","key":"10.1016\/j.ins.2026.123450_bib0150","doi-asserted-by":"crossref","first-page":"374","DOI":"10.1109\/TASE.2010.2060332","article-title":"Design of a maximally permissive liveness-enforcing Petri net supervisor for flexible manufacturing systems","volume":"8","author":"Chen","year":"2010","journal-title":"IEEE Trans. Autom. Sci. Eng."}],"container-title":["Information Sciences"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0020025526003816?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0020025526003816?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2026,5,15]],"date-time":"2026-05-15T04:25:00Z","timestamp":1778819100000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/S0020025526003816"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2026,8]]},"references-count":30,"alternative-id":["S0020025526003816"],"URL":"https:\/\/doi.org\/10.1016\/j.ins.2026.123450","relation":{},"ISSN":["0020-0255"],"issn-type":[{"value":"0020-0255","type":"print"}],"subject":[],"published":{"date-parts":[[2026,8]]},"assertion":[{"value":"Elsevier","name":"publisher","label":"This article is maintained by"},{"value":"Dynamic control of discrete event systems with unreliable resources by Petri nets","name":"articletitle","label":"Article Title"},{"value":"Information Sciences","name":"journaltitle","label":"Journal Title"},{"value":"https:\/\/doi.org\/10.1016\/j.ins.2026.123450","name":"articlelink","label":"CrossRef DOI link to publisher maintained version"},{"value":"article","name":"content_type","label":"Content Type"},{"value":"\u00a9 2026 Elsevier Inc. All rights are reserved, including those for text and data mining, AI training, and similar technologies.","name":"copyright","label":"Copyright"}],"article-number":"123450"}}