{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,6,20]],"date-time":"2026-06-20T16:21:26Z","timestamp":1781972486576,"version":"3.54.5"},"reference-count":53,"publisher":"Springer Science and Business Media LLC","issue":"8","license":[{"start":{"date-parts":[[2021,11,19]],"date-time":"2021-11-19T00:00:00Z","timestamp":1637280000000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2021,11,19]],"date-time":"2021-11-19T00:00:00Z","timestamp":1637280000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"funder":[{"DOI":"10.13039\/501100007128","name":"Natural Science Foundation of Shaanxi Province","doi-asserted-by":"publisher","award":["2019JM-049"],"award-info":[{"award-number":["2019JM-049"]}],"id":[{"id":"10.13039\/501100007128","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100001809","name":"National Natural Science Foundation of China","doi-asserted-by":"publisher","award":["61873342"],"award-info":[{"award-number":["61873342"]}],"id":[{"id":"10.13039\/501100001809","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100001809","name":"National Natural Science Foundation of China","doi-asserted-by":"publisher","award":["61304051"],"award-info":[{"award-number":["61304051"]}],"id":[{"id":"10.13039\/501100001809","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Soft Comput"],"published-print":{"date-parts":[[2022,4]]},"DOI":"10.1007\/s00500-021-06494-7","type":"journal-article","created":{"date-parts":[[2021,11,19]],"date-time":"2021-11-19T04:48:12Z","timestamp":1637297292000},"page":"4019-4032","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":6,"title":["Robust liveness-enforcing supervisor for Petri nets with unreliable resources based on mixed integer programming"],"prefix":"10.1007","volume":"26","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-4947-6267","authenticated-orcid":false,"given":"Gaiyun","family":"Liu","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Yuting","family":"Liu","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Zhiwu","family":"Li","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","published-online":{"date-parts":[[2021,11,19]]},"reference":[{"key":"6494_CR1","doi-asserted-by":"crossref","unstructured":"Basile F, Chiacchio P, Giua A, Seatzu C (2001) Deadlock recovery of Petri net models controlled using observers. Proceedings of 2001 IEEE International Conference on Emerging Technologies and Factory Automation 2:441\u2013449","DOI":"10.1109\/ETFA.2001.997718"},{"key":"6494_CR2","doi-asserted-by":"publisher","first-page":"116","DOI":"10.1016\/j.automatica.2015.02.014","volume":"55","author":"YF Chen","year":"2015","unstructured":"Chen YF, Li ZW, Barkaoui K, Giua A (2015) On the enforcement of a class of nonlinear constraints on Petri nets. Automatica 55:116\u2013124","journal-title":"Automatica"},{"issue":"10","key":"6494_CR3","doi-asserted-by":"publisher","first-page":"1384","DOI":"10.1109\/TSMC.2014.2307284","volume":"44","author":"YF Chen","year":"2017","unstructured":"Chen YF, Li ZW, Barkaoui K, Uzam M (2017) New Petri net structure and its application to optimal supervisory control: interval inhibitor arcs. IEEE Trans Syst, Man, Cybern: Syst 44(10):1384\u20131400","journal-title":"IEEE Trans Syst, Man, Cybern: Syst"},{"issue":"6","key":"6494_CR4","doi-asserted-by":"publisher","first-page":"793","DOI":"10.1109\/70.650158","volume":"13","author":"F Chu","year":"1997","unstructured":"Chu F, Xie XL (1997) Deadlock analysis of Petri nets using siphons and mathematical programming. IEEE Trans Robot Autom 13(6):793\u2013804","journal-title":"IEEE Trans Robot Autom"},{"key":"6494_CR5","doi-asserted-by":"publisher","first-page":"78598","DOI":"10.1109\/ACCESS.2018.2885116","volume":"6","author":"N Du","year":"2019","unstructured":"Du N, Hu HS (2019) A robust prevention method for automated manufacturing systems with unreliable resources using Petri nets. IEEE Access 6:78598\u201378608","journal-title":"IEEE Access"},{"issue":"1","key":"6494_CR6","doi-asserted-by":"publisher","first-page":"389","DOI":"10.1109\/TASE.2019.2926758","volume":"17","author":"N Du","year":"2020","unstructured":"Du N, Hu HS, Zhou MC (2020) A survey on robust supervisory control policies for automated manufacturing systems. IEEE Trans Autom Sci Eng 17(1):389\u2013406","journal-title":"IEEE Trans Autom Sci Eng"},{"issue":"1","key":"6494_CR7","doi-asserted-by":"publisher","first-page":"93","DOI":"10.1109\/TSMCA.2003.820575","volume":"34","author":"J Ezpeleta","year":"2004","unstructured":"Ezpeleta J, Recalde L (2004) A deadlock avoidance approach for nonsequential resource allocation systems. IEEE Trans Syst, Man, Cybern-Part A 34(1):93\u2013101","journal-title":"IEEE Trans Syst, Man, Cybern-Part A"},{"issue":"2","key":"6494_CR8","doi-asserted-by":"publisher","first-page":"173","DOI":"10.1109\/70.370500","volume":"11","author":"J Ezpeleta","year":"1995","unstructured":"Ezpeleta J, Colom JM, Martinez J (1995) A Petri net based deadlock prevention policy for flexible manufacturing systems. IEEE Trans Robot Autom 11(2):173\u2013184","journal-title":"IEEE Trans Robot Autom"},{"key":"6494_CR9","doi-asserted-by":"crossref","unstructured":"Ezpeleta J, Couvreur JM, Silva M. (1993) A new technique for finding a generating family of siphons, traps and st-components. Application to colored Petri nets. International Conference on Applications & Theory of Petri Nets: Advances in Petri Nets. Springer-Verlag 126\u2013147","DOI":"10.1007\/3-540-56689-9_42"},{"issue":"1","key":"6494_CR10","doi-asserted-by":"publisher","first-page":"5","DOI":"10.1109\/TSMCA.2003.820590","volume":"34","author":"MP Fanti","year":"2004","unstructured":"Fanti MP, Zhou MC (2004) Deadlock control methods in automated manufacturing systems. IEEE Trans Syst, Man, Cybern-Part A 34(1):5\u201322","journal-title":"IEEE Trans Syst, Man, Cybern-Part A"},{"issue":"11","key":"6494_CR11","doi-asserted-by":"publisher","first-page":"3019","DOI":"10.1109\/TSMC.2016.2558106","volume":"47","author":"YX Feng","year":"2017","unstructured":"Feng YX, Xing KY, Gao ZX, Wu YC (2017) Transition cover-based robust Petri net controllers for automated manufacturing systems with a type of unreliable resources. IEEE Trans Syst, Man, Cybern: Syst 47(11):3019\u20133029","journal-title":"IEEE Trans Syst, Man, Cybern: Syst"},{"key":"6494_CR12","doi-asserted-by":"publisher","first-page":"286","DOI":"10.1016\/j.ins.2019.01.061","volume":"484","author":"YX Feng","year":"2019","unstructured":"Feng YX, Xing KY, Liu HX, Wu YC (2019) Two-stage design method of robust deadlock control for automated manufacturing systems with a type of unreliable resources. Inform Sci 484:286\u2013301","journal-title":"Inform Sci"},{"issue":"1","key":"6494_CR13","doi-asserted-by":"publisher","first-page":"137","DOI":"10.1109\/TRA.2002.807555","volume":"19","author":"A Ghaffari","year":"2003","unstructured":"Ghaffari A, Rezg N, Xie XL (2003) Design of a live and maximally permissive Petri net controller using the theory of regions. IEEE Trans Robot Autom 19(1):137\u2013141","journal-title":"IEEE Trans Robot Autom"},{"key":"6494_CR14","doi-asserted-by":"publisher","first-page":"849","DOI":"10.1016\/j.future.2019.02.028","volume":"97","author":"AA Heidari","year":"2019","unstructured":"Heidari AA, Mirjalili S, Faris H, Aljarah I, Mafarja M, Chen HL (2019) Harris hawks optimization: algorithm and applications. Future Gener Comput Syst 97:849\u2013872","journal-title":"Future Gener Comput Syst"},{"issue":"2","key":"6494_CR15","doi-asserted-by":"publisher","first-page":"283","DOI":"10.1080\/00207540010002405","volume":"39","author":"YS Huang","year":"2001","unstructured":"Huang YS, Jeng MD, Xie XL, Chung SL (2001) Deadlock prevention policy based on Petri nets and siphons. Int J Product Res 39(2):283\u2013305","journal-title":"Int J Product Res"},{"issue":"6","key":"6494_CR16","doi-asserted-by":"publisher","first-page":"1248","DOI":"10.1109\/TSMCA.2006.878953","volume":"36","author":"YS Huang","year":"2006","unstructured":"Huang YS, Jeng MD, Xie XL, Chung DH (2006) Siphon-based deadlock prevention policy for flexible manufacturing systems. IEEE Trans Syst, Man, Cybern-Part A 36(6):1248\u20131256","journal-title":"IEEE Trans Syst, Man, Cybern-Part A"},{"issue":"1","key":"6494_CR17","doi-asserted-by":"publisher","first-page":"38","DOI":"10.1109\/TSMCA.2003.820576","volume":"34","author":"ZW Li","year":"2004","unstructured":"Li ZW, Zhou MC (2004) Elementary siphons of Petri nets and their application to deadlock prevention in flexible manufacturing systems. IEEE Trans Syst, Man, Cybern-Part A 34(1):38\u201351","journal-title":"IEEE Trans Syst, Man, Cybern-Part A"},{"issue":"4","key":"6494_CR18","doi-asserted-by":"publisher","first-page":"313","DOI":"10.1109\/TII.2006.885185","volume":"2","author":"ZW Li","year":"2006","unstructured":"Li ZW, Zhou MC (2006) Two-stage method for synthesizing liveness-enforcing supervisors for flexible manufacturing systems using Petri nets. IEEE Trans Indus Inform 2(4):313\u2013325","journal-title":"IEEE Trans Indus Inform"},{"issue":"3","key":"6494_CR19","doi-asserted-by":"publisher","first-page":"667","DOI":"10.1109\/TSMCA.2008.918605","volume":"38","author":"ZW Li","year":"2008","unstructured":"Li ZW, Zhou MC (2008a) On siphon computation for deadlock control in a class of Petri nets. IEEE Trans Syst, Man, Cybern-Part A 38(3):667\u2013679","journal-title":"IEEE Trans Syst, Man, Cybern-Part A"},{"issue":"1","key":"6494_CR20","doi-asserted-by":"publisher","first-page":"133","DOI":"10.1109\/TSMCA.2007.909548","volume":"38","author":"ZW Li","year":"2008","unstructured":"Li ZW, Zhou MC (2008b) Control of elementary and dependent siphons in Petri nets and their application. IEEE Trans Syst, Man, Cybern-Part A 38(1):133\u2013148","journal-title":"IEEE Trans Syst, Man, Cybern-Part A"},{"key":"6494_CR21","volume-title":"Deadlock resolution in automated manufacturing systems: a novel petri net approach","author":"ZW Li","year":"2009","unstructured":"Li ZW, Zhou MC (2009) Deadlock resolution in automated manufacturing systems: a novel petri net approach. Springer, London"},{"issue":"4","key":"6494_CR22","doi-asserted-by":"publisher","first-page":"517","DOI":"10.1109\/TSMCC.2007.897333","volume":"37","author":"ZW Li","year":"2007","unstructured":"Li ZW, Hu HS, Wang AR (2007) Design of liveness-enforcing supervisors for flexible manufacturing systems using Petri nets. IEEE Trans Syst, Man, Cybern-Part C 37(4):517\u2013526","journal-title":"IEEE Trans Syst, Man, Cybern-Part C"},{"issue":"2","key":"6494_CR23","doi-asserted-by":"publisher","first-page":"173","DOI":"10.1109\/TSMCC.2007.913920","volume":"38","author":"ZW Li","year":"2008","unstructured":"Li ZW, Zhou MC, Wu NQ (2008a) A survey and comparison of Petri net-based deadlock prevention policies for flexible manufacturing systems. IEEE Trans Syst, Man, Cybern, Part C 38(2):173\u2013188","journal-title":"IEEE Trans Syst, Man, Cybern, Part C"},{"issue":"1","key":"6494_CR24","doi-asserted-by":"publisher","first-page":"182","DOI":"10.1109\/TASE.2006.884674","volume":"5","author":"ZW Li","year":"2008","unstructured":"Li ZW, Zhou MC, Jeng MD (2008b) A maximally permissive deadlock prevention policy for FMS based on Petri net siphon control and the theory of regions. IEEE Trans Autom Sci Eng 5(1):182\u2013188","journal-title":"IEEE Trans Autom Sci Eng"},{"key":"6494_CR25","doi-asserted-by":"publisher","first-page":"21006","DOI":"10.1109\/ACCESS.2019.2897753","volume":"7","author":"XY Li","year":"2019","unstructured":"Li XY, Liu GY, Li ZW, Wu NQ, Barkaoui K (2019) Elementary siphon-based robust control for automated manufacturing systems with multiple unreliable resources. IEEE Access 7:21006\u201321019","journal-title":"IEEE Access"},{"key":"6494_CR26","doi-asserted-by":"publisher","first-page":"300","DOI":"10.1016\/j.future.2020.03.055","volume":"111","author":"SM Li","year":"2020","unstructured":"Li SM, Chen HL, Wang MJ, Heidari AA, Mirjalili S (2020) Slime mould algorithm: a new method for stochastic optimization. Future Gener Comput Syst 111:300\u2013323","journal-title":"Future Gener Comput Syst"},{"key":"6494_CR27","doi-asserted-by":"publisher","first-page":"198","DOI":"10.1016\/j.ins.2015.08.037","volume":"363","author":"GY Liu","year":"2016","unstructured":"Liu GY, Barkaoui K (2016) A survey of siphons in Petri nets. Inform Sci 363:198\u2013220","journal-title":"Inform Sci"},{"issue":"8","key":"6494_CR28","doi-asserted-by":"publisher","first-page":"1423","DOI":"10.1080\/00207179.2014.991940","volume":"88","author":"GY Liu","year":"2015","unstructured":"Liu GY, Chao DY (2015) Further reduction of minimal first-met bad markings for the computationally efficient synthesis of a maximally permissive controller. Int J Control 88(8):1423\u20131428","journal-title":"Int J Control"},{"issue":"12","key":"6494_CR29","doi-asserted-by":"publisher","first-page":"2867","DOI":"10.1049\/iet-cta.2009.0557","volume":"4","author":"GY Liu","year":"2010","unstructured":"Liu GY, Li ZW (2010) General mixed integer programming-based liveness test for system of sequential systems with shared resources nets. IET Control Theor Appl 4(12):2867\u20132878","journal-title":"IET Control Theor Appl"},{"issue":"5","key":"6494_CR30","doi-asserted-by":"publisher","first-page":"854","DOI":"10.1049\/iet-cta.2009.0264","volume":"4","author":"GY Liu","year":"2010","unstructured":"Liu GY, Li ZW, Zhong CF (2010) New controllability condition for siphons in a class of generalised Petri nets. IET Control Theor Appl 4(5):854\u2013864","journal-title":"IET Control Theor Appl"},{"issue":"8","key":"6494_CR31","doi-asserted-by":"publisher","first-page":"1131","DOI":"10.1049\/iet-cta.2012.0426","volume":"7","author":"GY Liu","year":"2013","unstructured":"Liu GY, Chao DY, Yu F (2013a) Control policy for a subclass of Petri nets without reachability analysis. IET Control Theor Appl 7(8):1131\u20131141","journal-title":"IET Control Theor Appl"},{"key":"6494_CR32","doi-asserted-by":"publisher","first-page":"259","DOI":"10.1016\/j.ins.2013.01.003","volume":"235","author":"GY Liu","year":"2013","unstructured":"Liu GY, Li ZW, Barkaoui K, Al-Ahmari AM (2013b) Robustness of deadlock control for a class of Petri nets with unreliable resources. Inform Sci 235:259\u2013279","journal-title":"Inform Sci"},{"issue":"6","key":"6494_CR33","doi-asserted-by":"publisher","first-page":"484","DOI":"10.1080\/02533839.2018.1498023","volume":"41","author":"GY Liu","year":"2018","unstructured":"Liu GY, Li P, Wu NQ, Yin L (2018) Two-step approach to robust deadlock control in automated manufacturing systems with multiple resource failures. J Chin Inst Eng 41(6):484\u2013494","journal-title":"J Chin Inst Eng"},{"issue":"7","key":"6494_CR34","doi-asserted-by":"publisher","first-page":"1371","DOI":"10.1109\/TSMC.2018.2815618","volume":"49","author":"GY Liu","year":"2019","unstructured":"Liu GY, Li P, Li ZW, Wu NQ (2019) Robust deadlock control for automated manufacturing systems with unreliable resources based on Petri net reachability graphs. IEEE Trans Syst, Man, Cybern: Syst 49(7):1371\u20131385","journal-title":"IEEE Trans Syst, Man, Cybern: Syst"},{"key":"6494_CR35","doi-asserted-by":"publisher","first-page":"165","DOI":"10.1016\/j.ins.2019.09.018","volume":"510","author":"GY Liu","year":"2020","unstructured":"Liu GY, Zhang LC, Chang L, Al-Ahmari A, Wu NQ (2020) Robust deadlock control for automated manufacturing systems based on elementary siphons theory. Inform Sci 510:165\u2013182","journal-title":"Inform Sci"},{"issue":"6","key":"6494_CR36","doi-asserted-by":"publisher","first-page":"793","DOI":"10.1177\/0142331216656755","volume":"39","author":"JC Luo","year":"2016","unstructured":"Luo JC, Xing KY, Wu YC (2016) Robust supervisory control policy for automated manufacturing systems with a single unreliable resource. Trans Inst Meas Control 39(6):793\u2013806","journal-title":"Trans Inst Meas Control"},{"issue":"1","key":"6494_CR37","first-page":"129","volume":"25","author":"JL Peterson","year":"2010","unstructured":"Peterson JL (2010) Petri net theory and the modeling of systems. Comput J 25(1):129","journal-title":"Comput J"},{"issue":"3","key":"6494_CR38","doi-asserted-by":"publisher","first-page":"362","DOI":"10.1109\/TSMCA.2007.893484","volume":"37","author":"M Uzam","year":"2007","unstructured":"Uzam M, Zhou MC (2007) An iterative synthesis approach to Petri net-based deadlock prevention policy for flexible manufacturing systems. IEEE Trans Syst, Man, Cybern-Part A 37(3):362\u2013371","journal-title":"IEEE Trans Syst, Man, Cybern-Part A"},{"key":"6494_CR39","doi-asserted-by":"publisher","unstructured":"Wang GG, Deb S, Coelho LDS (2015) Elephant herding optimization. In Proceedings of the 3rd IEEE International Symposium on Computational and Business Intelligence (ISCBI), Bali, Indonesia, 7\u20139 December 2015, https:\/\/doi.org\/10.1109\/ISCBI.2015.8, pp. 1-5","DOI":"10.1109\/ISCBI.2015.8"},{"key":"6494_CR40","doi-asserted-by":"publisher","first-page":"151","DOI":"10.1007\/s12293-016-0212-3","volume":"10","author":"GG Wang","year":"2018","unstructured":"Wang GG (2018) Moth search algorithm: a bio-inspired metaheuristic algorithm for global optimization problems. Memet Comput 10:151\u2013164","journal-title":"Memet Comput"},{"issue":"3","key":"6494_CR41","doi-asserted-by":"publisher","first-page":"605","DOI":"10.1109\/TSMCA.2008.918616","volume":"38","author":"SY Wang","year":"2008","unstructured":"Wang SY, Chew SF, Lawley MA (2008) Using shared-resource capacity for robust control of failure-prone manufacturing systems. IEEE Trans Syst, Man, Cybern-Part A 38(3):605\u2013627","journal-title":"IEEE Trans Syst, Man, Cybern-Part A"},{"issue":"1","key":"6494_CR42","doi-asserted-by":"publisher","first-page":"226","DOI":"10.1109\/TSMCA.2011.2159590","volume":"42","author":"SG Wang","year":"2012","unstructured":"Wang SG, Wang CY, Zhou MC, Li ZW (2012) A method to compute strict minimal siphons in a class of Petri nets based on loop resource subsets. IEEE Trans Syst, Man, Cybern-Part A 42(1):226\u2013237","journal-title":"IEEE Trans Syst, Man, Cybern-Part A"},{"issue":"C","key":"6494_CR43","doi-asserted-by":"publisher","first-page":"243","DOI":"10.1016\/j.ins.2016.01.057","volume":"345","author":"F Wang","year":"2016","unstructured":"Wang F, Xing KY, Zhou MC, Xu XP, Han LB (2016) A robust deadlock prevention control for automated manufacturing systems with unreliable resources. Inform Sci 345(C):243\u2013256","journal-title":"Inform Sci"},{"issue":"1","key":"6494_CR44","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1504\/IJBIC.2018.093328","volume":"12","author":"GG Wang","year":"2018","unstructured":"Wang GG, Deb S, Coelho LDS (2018) Earthworm optimisation algorithm: a bio-inspired metaheuristic algorithm for global optimisation problems. Int J Bio-Inspir Comput 12(1):1\u201322","journal-title":"Int J Bio-Inspir Comput"},{"key":"6494_CR45","doi-asserted-by":"publisher","first-page":"1995","DOI":"10.1007\/s00521-015-1923-y","volume":"31","author":"GG Wang","year":"2019","unstructured":"Wang GG, Deb S, Cui ZH (2019) Monarch butterfly optimization. Neural Comput Appl 31:1995\u20132014","journal-title":"Neural Comput Appl"},{"key":"6494_CR46","first-page":"17","volume":"346","author":"YC Wu","year":"2016","unstructured":"Wu YC, Xing KY, Luo JC, Feng YX (2016) Robust deadlock control for automated manufacturing systems with an unreliable resource. Inform Sci 346:17\u201328","journal-title":"Inform Sci"},{"issue":"2","key":"6494_CR47","doi-asserted-by":"publisher","first-page":"111","DOI":"10.1016\/j.rcim.2003.10.001","volume":"20","author":"A Yalcin","year":"2004","unstructured":"Yalcin A (2004) Supervisory control of automated manufacturing cells with resource failures. Robot Comput Integr Manuf 20(2):111\u2013119","journal-title":"Robot Comput Integr Manuf"},{"issue":"4","key":"6494_CR48","doi-asserted-by":"publisher","first-page":"435","DOI":"10.1177\/0142331213495884","volume":"36","author":"H Yue","year":"2014","unstructured":"Yue H, Xing KY (2014) Robust supervisory control for avoiding deadlocks in automated manufacturing systems with one specified unreliable resource. Trans Inst Meas Control 36(4):435\u2013444","journal-title":"Trans Inst Meas Control"},{"issue":"6","key":"6494_CR49","doi-asserted-by":"publisher","first-page":"1573","DOI":"10.1080\/00207543.2013.807375","volume":"52","author":"H Yue","year":"2014","unstructured":"Yue H, Xing KY, Hu Z (2014) Robust supervisory control policy for avoiding deadlock in automated manufacturing systems with unreliable resources. Int J Product Res 52(6):1573\u20131591","journal-title":"Int J Product Res"},{"key":"6494_CR50","doi-asserted-by":"crossref","unstructured":"Yue H, Xing KY, Hu HS, Wu WM, Su HY (2015) Robust supervision using shared-buffers in automated manufacturing systems with unreliable resources. Comput Indus Eng 83(C):139\u2013150","DOI":"10.1016\/j.cie.2015.01.028"},{"key":"6494_CR51","doi-asserted-by":"publisher","first-page":"176","DOI":"10.1016\/j.conengprac.2016.05.009","volume":"54","author":"H Yue","year":"2016","unstructured":"Yue H, Xing KY, Hu HS, Wu WM, Su HY (2016) Petri-net-based robust supervisory control of automated manufacturing systems. Control Eng Pract 54:176\u2013189","journal-title":"Control Eng Pract"},{"key":"6494_CR52","doi-asserted-by":"publisher","first-page":"392","DOI":"10.1016\/j.ins.2018.02.043","volume":"450","author":"H Yue","year":"2018","unstructured":"Yue H, Xing KY, Hu HS, Wu WM, Su HY (2018) Resource failure and buffer space allocation control for automated manufacturing systems. Inform Sci 450:392\u2013408","journal-title":"Inform Sci"},{"issue":"9","key":"6494_CR53","doi-asserted-by":"publisher","first-page":"1013","DOI":"10.1080\/00207720903171779","volume":"41","author":"M Zhao","year":"2010","unstructured":"Zhao M, Li ZW, Hu HS (2010) Suboptimal liveness-enforcing supervisor design for a class of generalised Petri nets using partial siphon enumeration and mathematical programming. Int J Syst Sci 41(9):1013\u20131026","journal-title":"Int J Syst Sci"}],"container-title":["Soft Computing"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s00500-021-06494-7.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1007\/s00500-021-06494-7\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s00500-021-06494-7.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,2,9]],"date-time":"2023-02-09T11:49:51Z","timestamp":1675943391000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/s00500-021-06494-7"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2021,11,19]]},"references-count":53,"journal-issue":{"issue":"8","published-print":{"date-parts":[[2022,4]]}},"alternative-id":["6494"],"URL":"https:\/\/doi.org\/10.1007\/s00500-021-06494-7","relation":{},"ISSN":["1432-7643","1433-7479"],"issn-type":[{"value":"1432-7643","type":"print"},{"value":"1433-7479","type":"electronic"}],"subject":[],"published":{"date-parts":[[2021,11,19]]},"assertion":[{"value":"24 October 2021","order":1,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"19 November 2021","order":2,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}},{"order":1,"name":"Ethics","group":{"name":"EthicsHeading","label":"Declaration"}},{"value":"The authors declare that they have no conflict of interest.","order":2,"name":"Ethics","group":{"name":"EthicsHeading","label":"Conflict of interest"}},{"value":"This article does not contain any studies with human participants or animals performed by any of the authors.","order":3,"name":"Ethics","group":{"name":"EthicsHeading","label":"Human participants or animals performed"}}]}}