{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,12,20]],"date-time":"2025-12-20T22:23:47Z","timestamp":1766269427080},"reference-count":41,"publisher":"Springer Science and Business Media LLC","issue":"3","license":[{"start":{"date-parts":[[2009,1,27]],"date-time":"2009-01-27T00:00:00Z","timestamp":1233014400000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Engineering with Computers"],"published-print":{"date-parts":[[2009,9]]},"DOI":"10.1007\/s00366-008-0122-1","type":"journal-article","created":{"date-parts":[[2009,1,26]],"date-time":"2009-01-26T13:52:34Z","timestamp":1232977954000},"page":"269-278","source":"Crossref","is-referenced-by-count":40,"title":["A deadlock prevention approach for flexible manufacturing systems without complete siphon enumeration of their Petri net models"],"prefix":"10.1007","volume":"25","author":[{"given":"Chunfu","family":"Zhong","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Zhiwu","family":"Li","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2009,1,27]]},"reference":[{"issue":"1","key":"122_CR1","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 Syst Hum 34(1):5\u201322","journal-title":"IEEE Trans Syst Man Cybern A Syst Hum"},{"issue":"3","key":"122_CR2","doi-asserted-by":"crossref","first-page":"350","DOI":"10.1109\/70.143353","volume":"8","author":"MC Zhou","year":"1992","unstructured":"Zhou MC, DiCesare F, Desrochers AA (1992) A hybrid methodology for synthesis of Petri nets for manufacturing systems. IEEE Trans Robot Automat 8(3):350\u2013361","journal-title":"IEEE Trans Robot Automat"},{"issue":"4","key":"122_CR3","doi-asserted-by":"crossref","first-page":"291","DOI":"10.1016\/0278-6125(93)90320-S","volume":"12","author":"YT Leung","year":"1993","unstructured":"Leung YT, Sheen GJ (1993) Resolving deadlocks in flexible manufacturing cells. J Manuf Syst 12(4):291\u2013304","journal-title":"J Manuf Syst"},{"issue":"2","key":"122_CR4","doi-asserted-by":"crossref","first-page":"196","DOI":"10.1109\/70.282544","volume":"10","author":"FS Hsieh","year":"1994","unstructured":"Hsieh FS, Chang SC (1994) Dispatching-driven deadlock avoidance controller synthesis for flexible manufacturing systems. IEEE Trans Robot Automat 10(2):196\u2013209","journal-title":"IEEE Trans Robot Automat"},{"issue":"2","key":"122_CR5","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 Automat 11(2):173\u2013184","journal-title":"IEEE Trans Robot Automat"},{"issue":"3","key":"122_CR6","doi-asserted-by":"crossref","first-page":"347","DOI":"10.1109\/70.585898","volume":"13","author":"MP Fanti","year":"1997","unstructured":"Fanti MP, Maione B, Mascolo S, Turchiano B (1997) Event-based feedback control for deadlock avoidance in flexible production systems. IEEE Trans Robot Automat 13(3):347\u2013363","journal-title":"IEEE Trans Robot Automat"},{"issue":"9","key":"122_CR7","doi-asserted-by":"crossref","first-page":"2459","DOI":"10.1080\/002075497194606","volume":"35","author":"D Yim","year":"1997","unstructured":"Yim D, Kim J, Woo H (1997) Avoidance of deadlocks in flexible manufacturing systems using a capacity designated directed graph. Int J Prod Res 35(9):2459\u20132475","journal-title":"Int J Prod Res"},{"issue":"5","key":"122_CR8","doi-asserted-by":"crossref","first-page":"796","DOI":"10.1109\/70.720355","volume":"14","author":"M Lawley","year":"1998","unstructured":"Lawley M, Reveliotis S, Ferreira P (1998) A correct and scalable deadlock avoidance policy for flexible manufacturing systems. IEEE Trans Robot Automat 14(5):796\u2013809","journal-title":"IEEE Trans Robot Automat"},{"issue":"10","key":"122_CR9","doi-asserted-by":"crossref","first-page":"704","DOI":"10.1007\/BF01438223","volume":"14","author":"IB Abdallah","year":"1998","unstructured":"Abdallah IB, EIMaraghy HA (1998) Deadlock prevention and avoidance in FMS: a Petri net based approach. Int J Manuf Tech 14(10):704\u2013715","journal-title":"Int J Manuf Tech"},{"issue":"10","key":"122_CR10","doi-asserted-by":"crossref","first-page":"729","DOI":"10.1007\/BF01438225","volume":"14","author":"L Ferrarini","year":"1998","unstructured":"Ferrarini L, Maroni M (1998) Deadlock avoidance control for manufacturing systems with multiple capacity resources. Int J Adv Manuf Technol 14(10):729\u2013736","journal-title":"Int J Adv Manuf Technol"},{"issue":"5","key":"122_CR11","doi-asserted-by":"crossref","first-page":"658","DOI":"10.1109\/70.964666","volume":"17","author":"NQ Wu","year":"2001","unstructured":"Wu NQ, Zhou MC (2001) Avoiding deadlock and reducing starvation and blocking in automated manufacturing systems. IEEE Trans Robot Automat 17(5):658\u2013669","journal-title":"IEEE Trans Robot Automat"},{"issue":"10","key":"122_CR12","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(10):1572\u20131583","journal-title":"IEEE Trans Automat Contr"},{"issue":"2","key":"122_CR13","doi-asserted-by":"crossref","first-page":"283","DOI":"10.1080\/00207540010002405","volume":"39","author":"Y Huang","year":"2001","unstructured":"Huang Y, Jeng MD, Xie X, Chung S (2001) Deadlock prevention based on Petri nets and siphons. Int J Prod Res 39(2):283\u2013305","journal-title":"Int J Prod Res"},{"key":"122_CR14","doi-asserted-by":"crossref","unstructured":"Giua A, Seatzu C (2002) Liveness enforcing supervisors for railway networks using ES2PR Petri nets. In: Proceedings of the 6th international work on discrete event system WODES\u201902, pp 55\u201360","DOI":"10.1109\/WODES.2002.1167669"},{"issue":"3","key":"122_CR15","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(3):192\u2013208","journal-title":"Int J Adv Manuf Technol"},{"key":"122_CR16","doi-asserted-by":"crossref","unstructured":"Basile F, Chiacchio P, Giua A, Seatzu C (2001) Deadlock recovery of Petri net models controlled using observers. In: 8th IEEE international conference on emerging technol and factory auto, pp 441\u2013449","DOI":"10.1109\/ETFA.2001.997718"},{"key":"122_CR17","unstructured":"Reveliotis SA (2003) On the siphon-based characterization of liveness in sequenetial resource allocation systems. In: Proceedings of the international conference on application and theory of Petri nets 2679:241\u2013255"},{"key":"122_CR18","unstructured":"Li ZW, Liang JW, Lu Y, Wang AR (2004) A deadlock prevention method for FMS with multiple resource acquisitions. In: Proceedings of the 8th international conference on contr auto robot and vision, vol 3, pp 2117\u20132122"},{"key":"122_CR19","unstructured":"Li ZW, Wang AR, Wei N (2006) Liveness-enforceing supervisors for flexible manufacturing systems with multiple resource acquisitions. In: Proceedings of the 2006 IEEE conference networking sensing and contr. IEEE cat no. 06EX1267, pp 710\u2013714"},{"issue":"1","key":"122_CR20","doi-asserted-by":"crossref","first-page":"52","DOI":"10.1109\/TSMCA.2003.820572","volume":"34","author":"E Roszkowska","year":"2004","unstructured":"Roszkowska E (2004) Supervisory control for deadlock avoidance in compound processes. IEEE Trans Syst Man Cybern 34(1):52\u201364","journal-title":"IEEE Trans Syst Man Cybern"},{"issue":"3\/4","key":"122_CR21","doi-asserted-by":"crossref","first-page":"204","DOI":"10.1007\/s00170-002-1526-5","volume":"23","author":"M Uzam","year":"2004","unstructured":"Uzam M (2004) The use of the Petri net reduction approach for an optimal deadlock prevention policy for flexible manufacturing systems. Int J Adv Manuf Technol 23(3\/4):204\u2013219","journal-title":"Int J Adv Manuf Technol"},{"issue":"1","key":"122_CR22","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 (2004) Elementary siphons of Petri nets and their application to deadlock prevention in flexible manufacturing systems. IEEE Trans Syst Man Cybern A 34(1):38\u201351","journal-title":"IEEE Trans Syst Man Cybern A"},{"issue":"1","key":"122_CR23","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 34(1):102\u2013112","journal-title":"IEEE Trans Syst Man Cybern"},{"issue":"24","key":"122_CR24","doi-asserted-by":"crossref","first-page":"5253","DOI":"10.1080\/00207540412331330822","volume":"42","author":"ZW Li","year":"2004","unstructured":"Li ZW, Uzam M, Zhou MC (2004) Comments on deadlock prevention policy based on Petri nets and siphons. Int J Prod Res 42(24):5253\u20135254","journal-title":"Int J Prod Res"},{"key":"122_CR25","volume-title":"Deadlock resolution in computer-integrated systems","author":"MC Zhou","year":"2005","unstructured":"Zhou MC, Fanti MP (2005) Deadlock resolution in computer-integrated systems. CRC Press, Inc., Boca Raton"},{"issue":"4","key":"122_CR26","doi-asserted-by":"crossref","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 to design liveness-enforcing Petri net supervisor for FMS. IEEE Trans Ind Inform 2(4):313\u2013325","journal-title":"IEEE Trans Ind Inform"},{"issue":"4","key":"122_CR27","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 (2007) Liveness-enforcing supervisor design for a class of generalised petri net models of flexible manufacturing systems. IET Theory Appl 1(4):955\u2013967","journal-title":"IET Theory Appl"},{"key":"122_CR28","unstructured":"Li ZW, Zhou MC, W NQ (2008) A survey and comparison of Petri net-based deadlock prevention policies for flexible manufacturing systems. IEEE Trans Syst Man Cybern C 38(2):173\u2013188"},{"issue":"2","key":"122_CR29","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 38(2):369\u2013384","journal-title":"IEEE Trans Syst Man Cybern A"},{"key":"122_CR32","unstructured":"Li ZW, Zhou MC (2004) Some results and open problems concerning elementary siphons of Petri nets. In: Proceeding of the IEEE international conference on system man and cybern, pp 1717\u20131722"},{"key":"122_CR41","unstructured":"Tricas F, Colom JM, Ezpeleta J (1999) A solution to the problem of deadlock in concurrent systems using Petri nets and integer linear programming. In: Horton G, Moller D, Rude U (eds) Proceedings of the 11th European simulation symposium, Erlangen, pp 542\u2013546"},{"issue":"6","key":"122_CR30","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 Automat 13(6):793\u2013804","journal-title":"IEEE Trans Robot Automat"},{"key":"122_CR31","doi-asserted-by":"crossref","unstructured":"Ezpeleta J, Garc\u00eda-Vall\u00e9s F, Colom JM (1998) A class of well structured Petri nets for flexible manufacturing systems. In: Proceedings of the 19th international conference on application and theory of Petri nets, Portugal, pp 64\u201383","DOI":"10.1007\/3-540-69108-1_5"},{"key":"122_CR34","unstructured":"Kinuyama M, Murata T (1986) Generating siphons and traps by Petri net representation of logic equations. In: Proceedings of the 2nd IECE conference on net theory, pp 93\u2013100"},{"key":"122_CR35","doi-asserted-by":"crossref","first-page":"315","DOI":"10.1007\/978-3-642-72822-8_21","volume-title":"Concurrency and nets-advances in petri nets","author":"K Lautenbach","year":"1987","unstructured":"Lautenbach K (1987) Linear algebraic calculation of deadlocks and traps. In: Genrich V, Rozenberg G (eds) Concurrency and nets-advances in petri nets. Springer, New York, pp 315\u2013336"},{"key":"122_CR36","unstructured":"Ezpeleta J, Couvreur JM (1991) A new technique for finding a generating family of siphons, traps and st-components, application to colored Petri nets. In: Proceedings of the 12th international conference on application and theory of Petri nets, pp 126\u2013147"},{"issue":"3","key":"122_CR37","doi-asserted-by":"crossref","first-page":"532","DOI":"10.1109\/TSMCA.2005.855751","volume":"36","author":"F Tricas","year":"2006","unstructured":"Tricas F, Ezpeleta J (2006) Computing minimal siphons in Petri net models of resource allocation systems: a parallel solution. IEEE Trans Syst Man Cybern A 36(3):532\u2013539","journal-title":"IEEE Trans Syst Man Cybern A"},{"issue":"4","key":"122_CR38","doi-asserted-by":"crossref","first-page":"266","DOI":"10.1109\/81.285680","volume":"41","author":"ER Boer","year":"1994","unstructured":"Boer ER, Murata T (1994) Generating basis siphons and traps of Petri nets using the sign incidence matrix. IEEE Trans Circuits Syst I Fundam Theory Appl 41(4):266\u2013271","journal-title":"IEEE Trans Circuits Syst I Fundam Theory Appl"},{"issue":"3","key":"122_CR40","doi-asserted-by":"crossref","first-page":"431","DOI":"10.1109\/TASE.2008.916925","volume":"5","author":"MP Cabasino","year":"2008","unstructured":"Cabasino MP, Giua A, Seatzu C (2008) Modeling and supervisory cntrol of railway networks using Petri nets. IEEE Trans Automat Sci Eng 5(3):431\u2013445","journal-title":"IEEE Trans Automat Sci Eng"},{"issue":"4","key":"122_CR33","doi-asserted-by":"crossref","first-page":"541","DOI":"10.1109\/5.24143","volume":"77","author":"T Murata","year":"1989","unstructured":"Murata T (1989) Petri nets: properties, analysis, and applications. Proc IEEE 77(4):541\u2013580","journal-title":"Proc IEEE"},{"key":"122_CR39","doi-asserted-by":"crossref","unstructured":"Barkaoui K, Pradat-Peyre JF (1996) On liveness and controlled siphons in Petri nets. In: Proceedings of the 17th international conference on application and theory of Petri nets, pp 57\u201372","DOI":"10.1007\/3-540-61363-3_4"}],"container-title":["Engineering with Computers"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s00366-008-0122-1.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s00366-008-0122-1\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s00366-008-0122-1","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,28]],"date-time":"2019-05-28T14:44:42Z","timestamp":1559054682000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s00366-008-0122-1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009,1,27]]},"references-count":41,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2009,9]]}},"alternative-id":["122"],"URL":"https:\/\/doi.org\/10.1007\/s00366-008-0122-1","relation":{},"ISSN":["0177-0667","1435-5663"],"issn-type":[{"value":"0177-0667","type":"print"},{"value":"1435-5663","type":"electronic"}],"subject":[],"published":{"date-parts":[[2009,1,27]]}}}