{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,13]],"date-time":"2026-03-13T01:41:25Z","timestamp":1773366085940,"version":"3.50.1"},"reference-count":52,"publisher":"SAGE Publications","issue":"2","license":[{"start":{"date-parts":[[2024,11,20]],"date-time":"2024-11-20T00:00:00Z","timestamp":1732060800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/journals.sagepub.com\/page\/policies\/text-and-data-mining-license"}],"funder":[{"DOI":"10.13039\/501100010909","name":"Excellent Young Scientists Fund","doi-asserted-by":"publisher","award":["62103039"],"award-info":[{"award-number":["62103039"]}],"id":[{"id":"10.13039\/501100010909","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["journals.sagepub.com"],"crossmark-restriction":true},"short-container-title":["Transactions of the Institute of Measurement and Control"],"published-print":{"date-parts":[[2026,1]]},"abstract":"<jats:p>This paper studies the robust deadlock control issues in automated manufacturing systems (AMSs) with unreliable resources. The purpose of this paper is to synthesize a robust prevention supervisor to guarantee that the controlled system can operate smoothly when unreliable resources work well, and to ensure that parts that do not require any failed resources in their remaining routes can continue to be processed even if unreliable resources malfunction. In this paper, Petri nets (PNs) are employed to model the considered AMSs, which allow multi-quantity and multi-type of resource acquisitions. First, to avoid the resource\u2019s underflow, a set of resource constraints denoted as a set of inequalities are developed based on the nominal capacity of shared resources and the minimal resource requirements of processes. Control places (monitors) are derived along with their control variables so as to resolve the blocking states caused by resource failures. Second, to guarantee the system\u2019s liveness, a monitor is designed for each considered siphon in the different subnets derived from a system net. As a result, a robust prevention supervisor is synthesized for AMSs with unreliable resources. The effectiveness and superiority of our method are elucidated by some analyses and discussions.<\/jats:p>","DOI":"10.1177\/01423312241282810","type":"journal-article","created":{"date-parts":[[2024,11,20]],"date-time":"2024-11-20T05:46:17Z","timestamp":1732081577000},"page":"265-276","update-policy":"https:\/\/doi.org\/10.1177\/sage-journals-update-policy","source":"Crossref","is-referenced-by-count":2,"title":["A Petri net-based approach to robust deadlock prevention in automated manufacturing systems with unreliable resources"],"prefix":"10.1177","volume":"48","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-5226-2980","authenticated-orcid":false,"given":"Nan","family":"Du","sequence":"first","affiliation":[{"name":"School of Electrical and Information Engineering, Lanzhou University of Technology, China"}]},{"given":"Yan","family":"Yang","sequence":"additional","affiliation":[{"name":"Institute of Artificial Intelligence, University of Science and Technology Beijing, China"}]}],"member":"179","published-online":{"date-parts":[[2024,11,20]]},"reference":[{"key":"e_1_3_4_2_1","doi-asserted-by":"publisher","DOI":"10.1109\/ACCESS.2020.2968469"},{"key":"e_1_3_4_3_1","first-page":"4119","volume-title":"Proceedings of IEEE international conference on systems, man and cybernetics","author":"Barkaoui K","year":"1995","unstructured":"Barkaoui K, Abdallah I (1995) A deadlock prevention method for a class of FMS. In: Proceedings of IEEE international conference on systems, man and cybernetics, Vancouver, British Columbia, Canada, 22\u201325 October, pp. 4119\u20134124. New York: IEEE."},{"key":"e_1_3_4_4_1","first-page":"110","article-title":"Time based deadlock prevention for Petri nets","volume":"137","author":"Boucheneba H","year":"2022","unstructured":"Boucheneba H, Barkaouib K, Xing Q, et al. (2022) Time based deadlock prevention for Petri nets. Automatica 137: 110\u2013119.","journal-title":"Automatica"},{"key":"e_1_3_4_5_1","doi-asserted-by":"publisher","DOI":"10.1109\/TASE.2022.3164639"},{"key":"e_1_3_4_6_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.ins.2016.11.011"},{"key":"e_1_3_4_7_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSMC.2016.2521833"},{"key":"e_1_3_4_8_1","doi-asserted-by":"publisher","DOI":"10.1109\/CoASE.2015.7294234"},{"key":"e_1_3_4_9_1","doi-asserted-by":"publisher","DOI":"10.1109\/TASE.2008.917142"},{"key":"e_1_3_4_10_1","doi-asserted-by":"publisher","DOI":"10.1109\/ACCESS.2018.2885116"},{"key":"e_1_3_4_11_1","doi-asserted-by":"publisher","DOI":"10.1109\/TASE.2020.3019684"},{"key":"e_1_3_4_12_1","doi-asserted-by":"publisher","DOI":"10.1109\/TASE.2020.2983672"},{"key":"e_1_3_4_13_1","doi-asserted-by":"publisher","DOI":"10.1109\/TASE.2019.2926758"},{"key":"e_1_3_4_14_1","doi-asserted-by":"publisher","DOI":"10.1080\/00207543.2022.2127965"},{"key":"e_1_3_4_15_1","doi-asserted-by":"publisher","DOI":"10.1109\/70.370500"},{"key":"e_1_3_4_16_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSMC.2016.2558106"},{"key":"e_1_3_4_17_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.ins.2019.01.061"},{"key":"e_1_3_4_18_1","first-page":"974","volume-title":"Proceedings of IEEE international conference on systems, man and cybernetics","author":"Giua A","year":"1992","unstructured":"Giua A, Dicesare F, Silva M (1992) Generalized mutual exclusion constraints on nets with uncontrollable systems. In: Proceedings of IEEE international conference on systems, man and cybernetics, Chicago, IL, 18\u201321 October, pp. 974\u2013979. New York: Publisher."},{"key":"e_1_3_4_19_1","doi-asserted-by":"publisher","DOI":"10.1080\/00207170903502815"},{"key":"e_1_3_4_20_1","doi-asserted-by":"publisher","DOI":"10.1109\/TCST.2015.2504046"},{"key":"e_1_3_4_21_1","doi-asserted-by":"publisher","DOI":"10.1109\/TMM.2009.2032678"},{"key":"e_1_3_4_22_1","doi-asserted-by":"publisher","DOI":"10.1109\/TASE.2020.3026351"},{"key":"e_1_3_4_23_1","doi-asserted-by":"publisher","DOI":"10.1080\/00207540010002405"},{"key":"e_1_3_4_24_1","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2020.3024480"},{"key":"e_1_3_4_25_1","doi-asserted-by":"publisher","DOI":"10.3390\/app10155270"},{"key":"e_1_3_4_26_1","doi-asserted-by":"publisher","DOI":"10.1080\/00207540210155792"},{"key":"e_1_3_4_27_1","doi-asserted-by":"publisher","DOI":"10.1109\/TRA.2002.1019464"},{"key":"e_1_3_4_28_1","doi-asserted-by":"publisher","DOI":"10.1109\/TCST.2023.3325751"},{"key":"e_1_3_4_29_1","doi-asserted-by":"publisher","DOI":"10.1049\/cth2.12384"},{"key":"e_1_3_4_30_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSMCC.2011.2160626"},{"key":"e_1_3_4_31_1","doi-asserted-by":"publisher","DOI":"10.1007\/s12555-020-0239-6"},{"key":"e_1_3_4_32_1","doi-asserted-by":"publisher","DOI":"10.1007\/s00500-021-06494-7"},{"key":"e_1_3_4_33_1","doi-asserted-by":"publisher","DOI":"10.1080\/00207721.2013.827257"},{"key":"e_1_3_4_34_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.ins.2013.01.003"},{"key":"e_1_3_4_35_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSMC.2018.2815618"},{"key":"e_1_3_4_36_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSMC.2022.3201826"},{"key":"e_1_3_4_37_1","doi-asserted-by":"publisher","DOI":"10.1109\/TASE.2021.3114498"},{"key":"e_1_3_4_38_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.ins.2018.11.051"},{"key":"e_1_3_4_39_1","doi-asserted-by":"publisher","DOI":"10.1177\/0142331216656755"},{"key":"e_1_3_4_40_1","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2021.3118655"},{"key":"e_1_3_4_41_1","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2022.3173170"},{"key":"e_1_3_4_42_1","doi-asserted-by":"publisher","DOI":"10.1109\/TASE.2023.3246057"},{"key":"e_1_3_4_43_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.ins.2016.01.057"},{"key":"e_1_3_4_44_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSMC.2022.3174421"},{"key":"e_1_3_4_45_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.ins.2016.01.049"},{"key":"e_1_3_4_46_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.automatica.2017.09.001"},{"key":"e_1_3_4_47_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSMCA.2008.2007947"},{"key":"e_1_3_4_48_1","doi-asserted-by":"publisher","DOI":"10.1109\/TASE.2021.3130768"},{"key":"e_1_3_4_49_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSMC.2018.2883083"},{"key":"e_1_3_4_50_1","doi-asserted-by":"publisher","DOI":"10.1177\/0142331213495884"},{"key":"e_1_3_4_51_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSMC.2019.2917882"},{"key":"e_1_3_4_52_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSMC.2021.3062469"},{"key":"e_1_3_4_53_1","doi-asserted-by":"publisher","DOI":"10.1080\/00207543.2019.1607978"}],"container-title":["Transactions of the Institute of Measurement and Control"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/journals.sagepub.com\/doi\/pdf\/10.1177\/01423312241282810","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/journals.sagepub.com\/doi\/full-xml\/10.1177\/01423312241282810","content-type":"application\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/journals.sagepub.com\/doi\/pdf\/10.1177\/01423312241282810","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,1,25]],"date-time":"2026-01-25T18:35:14Z","timestamp":1769366114000},"score":1,"resource":{"primary":{"URL":"https:\/\/journals.sagepub.com\/doi\/10.1177\/01423312241282810"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024,11,20]]},"references-count":52,"journal-issue":{"issue":"2","published-print":{"date-parts":[[2026,1]]}},"alternative-id":["10.1177\/01423312241282810"],"URL":"https:\/\/doi.org\/10.1177\/01423312241282810","relation":{},"ISSN":["0142-3312","1477-0369"],"issn-type":[{"value":"0142-3312","type":"print"},{"value":"1477-0369","type":"electronic"}],"subject":[],"published":{"date-parts":[[2024,11,20]]}}}