{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,6]],"date-time":"2026-01-06T12:45:51Z","timestamp":1767703551240,"version":"3.38.0"},"reference-count":35,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[2011,12,13]],"date-time":"2011-12-13T00:00:00Z","timestamp":1323734400000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Discrete Event Dyn Syst"],"published-print":{"date-parts":[[2013,3]]},"DOI":"10.1007\/s10626-011-0124-9","type":"journal-article","created":{"date-parts":[[2011,12,12]],"date-time":"2011-12-12T02:02:02Z","timestamp":1323655322000},"page":"3-26","source":"Crossref","is-referenced-by-count":17,"title":["An iterative method for synthesizing non-blocking supervisors for a class of generalized Petri nets using mathematical programming"],"prefix":"10.1007","volume":"23","author":[{"given":"Mi","family":"Zhao","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Yifan","family":"Hou","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2011,12,13]]},"reference":[{"key":"124_CR1","doi-asserted-by":"crossref","unstructured":"Barkaoui K, Abdallah IB (1994) An efficient deadlock avoidance control policy in FMS using structural analysis of Petri nets. In: Proc. int. conf. syst., man, cybern., vol 1, pp 525\u2013530. San Antonio, TX","DOI":"10.1109\/ICSMC.1994.399892"},{"key":"124_CR2","series-title":"LNCS","first-page":"57","volume-title":"Proc. 17th int. conf. application and theory of Petri nets, Osaka, Japan","author":"K Barkaoui","year":"1996","unstructured":"Barkaoui K, Pradat-Peyre JF (1996) On liveness and controlled siphons in Petri nets. In: Proc. 17th int. conf. application and theory of Petri nets, Osaka, Japan. LNCS, vol 1091. Springer, New York, pp 57\u201372"},{"key":"124_CR3","doi-asserted-by":"crossref","unstructured":"Barkaoui K, Chaoui A, Zouari B (1997) Supervisory control of discrete event systems based on structure theory of Petri nets. In: Proc. IEEE int. conf. syst., man, cybern., Orlando, Florida, USA, pp 3750\u20133755","DOI":"10.1109\/ICSMC.1997.633253"},{"issue":"4","key":"124_CR4","doi-asserted-by":"crossref","first-page":"933","DOI":"10.1049\/iet-cta:20060275","volume":"1","author":"DY Chao","year":"2007","unstructured":"Chao DY (2007) Max\u2019-controlled siphons for liveness of S3PGR2. IET Control Theory Appl 1(4):933\u2013936","journal-title":"IET Control Theory Appl"},{"issue":"2","key":"124_CR5","doi-asserted-by":"crossref","first-page":"168","DOI":"10.1049\/iet-cta:20070130","volume":"2","author":"DY Chao","year":"2008","unstructured":"Chao DY (2008) Incremental approach to computation of elementary siphons for arbitrary S3PR. IET Control Theory Appl 2(2):168\u2013179","journal-title":"IET Control Theory Appl"},{"key":"124_CR6","doi-asserted-by":"crossref","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:793\u2013804","journal-title":"IEEE Trans Robot Autom"},{"key":"124_CR7","doi-asserted-by":"crossref","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:173\u2013184","journal-title":"IEEE Trans Robot Autom"},{"key":"124_CR9","doi-asserted-by":"crossref","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 non-sequential resource allocation systems. IEEE Trans Syst Man Cybern A 34:93\u2013101","journal-title":"IEEE Trans Syst Man Cybern A"},{"key":"124_CR10","doi-asserted-by":"crossref","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 A 34:5\u201322","journal-title":"IEEE Trans Syst Man Cybern A"},{"key":"124_CR12","doi-asserted-by":"crossref","first-page":"196","DOI":"10.1109\/70.282544","volume":"10","author":"FS Hsien","year":"1994","unstructured":"Hsien FS, Chang SC (1994) Dispatching-driven deadlock avoidance controller synthesis for flexible manufacturing systems. IEEE Trans Robot Autom 10:196\u2013209","journal-title":"IEEE Trans Robot Autom"},{"issue":"2","key":"124_CR13","doi-asserted-by":"crossref","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 Prod Res 39(2):283\u2013305","journal-title":"Int J Prod Res"},{"issue":"2","key":"124_CR14","doi-asserted-by":"crossref","first-page":"376","DOI":"10.1109\/TAC.2005.863894","volume":"51","author":"MV Iordache","year":"2006","unstructured":"Iordache MV, Antsaklis PJ (2006) Decentralized supervision of Petri nets. IEEE Trans Automat Contr 51(2):376\u2013381","journal-title":"IEEE Trans Automat Contr"},{"key":"124_CR15","doi-asserted-by":"crossref","first-page":"102","DOI":"10.1109\/TSMCA.2003.820579","volume":"34","author":"MD Jeng","year":"2004","unstructured":"Jeng MD, Xie XL, Chung SL (2004) ERCN* merged nets for modeling degraded behavior and parallel processes in semiconductor manufacturing systems. IEEE Trans Syst Man Cybern A 34:102\u2013112","journal-title":"IEEE Trans Syst Man Cybern A"},{"issue":"1","key":"124_CR16","first-page":"53","volume":"56","author":"ZW Li","year":"2007","unstructured":"Li ZW, Hu HS (2007) On systematic methods to remove redundant monitors from liveness-enforcing net supervisors. Comput Ind Eng 56(1):53\u201362","journal-title":"Comput Ind Eng"},{"key":"124_CR17","doi-asserted-by":"crossref","first-page":"38","DOI":"10.1109\/TSMCA.2003.820576","volume":"34","author":"ZW Li","year":"2004","unstructured":"Li ZW, Zhou MC (2004a) Elementary siphons of Petri nets and their application to deadlock prevention in flexible manufacturing systems. IEEE Trans Syst Man Cybern A 34:38\u201351","journal-title":"IEEE Trans Syst Man Cybern A"},{"issue":"6","key":"124_CR18","doi-asserted-by":"crossref","first-page":"1227","DOI":"10.1109\/TSMCA.2006.878966","volume":"36","author":"ZW Li","year":"2006a","unstructured":"Li ZW, Zhou MC (2006a) Clarifications on the definitions of elementary siphons of Petri nets. IEEE Trans Syst Man Cybern A 36(6):1227\u20131229","journal-title":"IEEE Trans Syst Man Cybern A"},{"issue":"4","key":"124_CR19","doi-asserted-by":"crossref","first-page":"313","DOI":"10.1109\/TII.2006.885185","volume":"2","author":"ZW Li","year":"2006b","unstructured":"Li ZW, Zhou MC (2006b) Two-stage method for synthesizing liveness-enforcing supervisors for flexible manufacturing systems using Petri nets. IEEE Trans Ind Inform 2(4):313\u2013325","journal-title":"IEEE Trans Ind Inform"},{"issue":"2","key":"124_CR20","doi-asserted-by":"crossref","first-page":"369","DOI":"10.1109\/TSMCA.2007.914741","volume":"38","author":"ZW Li","year":"2008","unstructured":"Li ZW, Zhao M (2008) On controllability of dependent siphons for deadlock prevention in generalized Petri nets. IEEE Trans Syst Man Cybern A Syst Humans 38(2):369\u2013384","journal-title":"IEEE Trans Syst Man Cybern A Syst Humans"},{"issue":"4","key":"124_CR21","doi-asserted-by":"crossref","first-page":"517","DOI":"10.1109\/TSMCC.2007.897333","volume":"37","author":"ZW Li","year":"2007","unstructured":"Li ZW, Hu HS, Wang AR (2007a) Design of liveness-enforcing supervisors for flexible manufacturing systems using Petri nets. IEEE Trans Syst Man Cybern C 37(4):517\u2013526","journal-title":"IEEE Trans Syst Man Cybern C"},{"issue":"4","key":"124_CR22","doi-asserted-by":"crossref","first-page":"955","DOI":"10.1049\/iet-cta:20060218","volume":"1","author":"ZW Li","year":"2007","unstructured":"Li ZW, Zhang J, Zhao M (2007b) Liveness-enforcing supervisor design for a class of generalized Petri net models of flexible manufacturing systems. IET Control Theory Appl 1(4):955\u2013967","journal-title":"IET Control Theory Appl"},{"key":"124_CR23","unstructured":"Lindo (2011) Premier optimization modeling tools. http:\/\/www.lindo.com\/"},{"issue":"12","key":"124_CR24","doi-asserted-by":"crossref","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 Theory Appl 4(12):2867\u20132878","journal-title":"IET Control Theory Appl"},{"issue":"5\u20136","key":"124_CR25","first-page":"573","volume":"45","author":"GJ Liu","year":"2009","unstructured":"Liu GJ, Jiang CJ, Chen LJ, Wu ZH (2009a) Two types of extended RSNBs and their application in modeling flexible manufacturing systems. Int J Adv Manuf Technol 45(5\u20136):573\u2013582","journal-title":"Int J Adv Manuf Technol"},{"issue":"1\u20132","key":"124_CR26","first-page":"66","volume":"41","author":"GJ Liu","year":"2009","unstructured":"Liu GJ, Jiang CJ, Wu ZH, Chen LJ (2009b) A live subclass of Petri nets and their application in modeling flexible manufacturing systems. Int J Adv Manuf Technol 41(1\u20132):66\u201374","journal-title":"Int J Adv Manuf Technol"},{"issue":"4","key":"124_CR27","doi-asserted-by":"crossref","first-page":"945","DOI":"10.1109\/TASE.2010.2050059","volume":"7","author":"GJ Liu","year":"2010","unstructured":"Liu GJ, Jiang CJ, Zhou MC (2010a) Two simple deadlock prevention policies for S3PR based on key-resource\/operation- place pairs. IEEE Trans Autom Sci Eng 7(4):945\u2013957","journal-title":"IEEE Trans Autom Sci Eng"},{"issue":"5","key":"124_CR28","doi-asserted-by":"crossref","first-page":"854","DOI":"10.1049\/iet-cta.2009.0264","volume":"4","author":"GY Liu","year":"2010","unstructured":"Liu GY, Li ZW, Zhong CF (2010b) New controllability condition for siphons in a class of generalised Petri nets. IET Control Theory Appl 4(5):854\u2013864","journal-title":"IET Control Theory Appl"},{"issue":"3","key":"124_CR29","doi-asserted-by":"crossref","first-page":"462","DOI":"10.1109\/9.847725","volume":"45","author":"JO Moody","year":"2001","unstructured":"Moody JO, Antsaklis PJ (2001) Petri net supervisors for DES with uncontrollable and unobservable transitions. IEEE Trans Automat Contr 45(3):462\u2013476","journal-title":"IEEE Trans Automat Contr"},{"key":"124_CR30","doi-asserted-by":"crossref","unstructured":"Ohta A, Tsuji K (2003) Insufficiently marked siphon of Petri nets-extension of token-free siphon. In: Proceedings of the 2003 international symposium on circuits and systems, vol 3, pp 244\u2013247","DOI":"10.1109\/ISCAS.2003.1205001"},{"key":"124_CR31","doi-asserted-by":"crossref","first-page":"1572","DOI":"10.1109\/9.956052","volume":"46","author":"J Park","year":"2001","unstructured":"Park J, Reveliotis SA (2001) Deadlock avoidance in sequential resource allocation systems with multiple resource acquisitions and flexible routings. IEEE Trans Automat Contr 46:1572\u20131583","journal-title":"IEEE Trans Automat Contr"},{"key":"124_CR32","doi-asserted-by":"crossref","unstructured":"Reveliotis SA (2003) On the siphon-based characterization of liveness in sequential resource allocation systems. In: van der Aalst WMP, Best E (eds) Proc. int. conf. application and theory of Petri nets. LNCS, vol 2679, pp\u00a0241\u2013255","DOI":"10.1007\/3-540-44919-1_17"},{"key":"124_CR34","unstructured":"Tricas F (2003) Deadlock analysis, prevention and avoidance in sequential resource allocation systems. Ph.D. thesis, Departamento de Informatica e Ingenieria de Sistemas. Universidad de Zaragoza"},{"key":"124_CR35","doi-asserted-by":"crossref","first-page":"192","DOI":"10.1007\/s001700200014","volume":"19","author":"M Uzam","year":"2002","unstructured":"Uzam M (2002) An optimal deadlock prevention policy for flexible manufacturing systems using Petri net models with resources and the theory of regions. Int J Adv Manuf Technol 19:192\u2013208","journal-title":"Int J Adv Manuf Technol"},{"key":"124_CR36","doi-asserted-by":"crossref","first-page":"195","DOI":"10.1007\/s00170-007-1074-0","volume":"38","author":"N Wei","year":"2008","unstructured":"Wei N, Li ZW (2008) On the suboptimal liveness-enforcing supervisors based on Petri net structural analysis and the theory of regions. Int J Adv Manuf Technol 38:195\u2013204","journal-title":"Int J Adv Manuf Technol"},{"issue":"1","key":"124_CR37","doi-asserted-by":"crossref","first-page":"188","DOI":"10.1109\/TSMCA.2008.2007947","volume":"39","author":"KY Xing","year":"2009","unstructured":"Xing KY, Zhou MC, Liu HX, Tian F (2009) Optimal Petri-net-based polynoical-complexity deadlock-avoidance polices for automated manufacturing systems. IEEE Trans Syst Man Cybern A 39(1):188\u2013199","journal-title":"IEEE Trans Syst Man Cybern A"},{"key":"124_CR38","doi-asserted-by":"crossref","unstructured":"Zouari B, Barkaoui K (2003) Parameterized supervisor synthesis for a modular class of discrete event systems. In: Proc. IEEE int. conf. syst. man. cybern., Washington, DC, USA., pp 1874\u20131879","DOI":"10.1109\/ICSMC.2003.1244684"}],"container-title":["Discrete Event Dynamic Systems"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10626-011-0124-9.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10626-011-0124-9\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10626-011-0124-9","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,3,15]],"date-time":"2025-03-15T13:16:20Z","timestamp":1742044580000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10626-011-0124-9"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011,12,13]]},"references-count":35,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2013,3]]}},"alternative-id":["124"],"URL":"https:\/\/doi.org\/10.1007\/s10626-011-0124-9","relation":{},"ISSN":["0924-6703","1573-7594"],"issn-type":[{"type":"print","value":"0924-6703"},{"type":"electronic","value":"1573-7594"}],"subject":[],"published":{"date-parts":[[2011,12,13]]}}}