{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,1]],"date-time":"2026-04-01T07:30:03Z","timestamp":1775028603571,"version":"3.50.1"},"reference-count":35,"publisher":"Springer Science and Business Media LLC","issue":"1-2","license":[{"start":{"date-parts":[[2014,9,14]],"date-time":"2014-09-14T00:00:00Z","timestamp":1410652800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Discrete Event Dyn Syst"],"published-print":{"date-parts":[[2015,6]]},"DOI":"10.1007\/s10626-014-0202-x","type":"journal-article","created":{"date-parts":[[2014,9,13]],"date-time":"2014-09-13T07:56:05Z","timestamp":1410594965000},"page":"31-63","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":14,"title":["Maximally permissive deadlock avoidance for resource allocation systems with R\/W-locks"],"prefix":"10.1007","volume":"25","author":[{"given":"Ahmed","family":"Nazeem","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Spyros","family":"Reveliotis","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2014,9,14]]},"reference":[{"key":"202_CR1","doi-asserted-by":"crossref","first-page":"724","DOI":"10.1109\/70.63273","volume":"6","author":"ZA Banaszak","year":"1990","unstructured":"Banaszak ZA, Krogh BH (1990) Deadlock avoidance in flexible manufacturing systems with concurrently competing process flows. IEEE Trans Robot Autom 6:724\u2013734","journal-title":"IEEE Trans Robot Autom"},{"key":"202_CR2","doi-asserted-by":"crossref","DOI":"10.1007\/978-0-387-68612-7","volume-title":"Introduction to discrete event systems","author":"CG Cassandras","year":"2008","unstructured":"Cassandras CG, Lafortune S (2008) Introduction to discrete event systems, 2nd edn. Springer, NY","edition":"2nd edn."},{"key":"202_CR3","doi-asserted-by":"crossref","first-page":"2442","DOI":"10.1016\/j.tcs.2009.02.036","volume":"410","author":"HC Chen","year":"2009","unstructured":"Chen HC, Chen CL (2009) On minimal elements of upward-closed sets. Theor Comput Sci 410:2442\u20132452","journal-title":"Theor Comput Sci"},{"key":"202_CR4","doi-asserted-by":"crossref","first-page":"67","DOI":"10.1145\/356586.356588","volume":"3","author":"EG Coffman","year":"1971","unstructured":"Coffman EG, Elphick MJ, Shoshani A (1971) System deadlocks. Comput Surv 3:67\u201378","journal-title":"Comput Surv"},{"key":"202_CR5","doi-asserted-by":"crossref","first-page":"428","DOI":"10.1145\/322017.322023","volume":"24","author":"P Commer","year":"1977","unstructured":"Commer P, Sethi R (1977) The complexity of TRIE index construction. J ACM 24:428\u2013440","journal-title":"J ACM"},{"issue":"10","key":"202_CR6","doi-asserted-by":"crossref","first-page":"667","DOI":"10.1145\/362759.362813","volume":"14","author":"P Courtois","year":"1971","unstructured":"Courtois P, Heymans F, Parnas D (1971) Concurrent control with \u201creaders\u201d and \u201cwriters\u201d. Commun ACM 14(10):667\u2013668","journal-title":"Commun ACM"},{"issue":"4","key":"202_CR7","doi-asserted-by":"crossref","first-page":"413","DOI":"10.2307\/2370405","volume":"35","author":"L Dickson","year":"1913","unstructured":"Dickson L (1913) Finiteness of the odd perfect and primitive abundant numbers with n distinct prime factors. Am J Math 35(4):413\u2013422","journal-title":"Am J Math"},{"key":"202_CR8","volume-title":"Cooperating sequential processes. Tech. rep.","author":"EW Dijkstra","year":"1965","unstructured":"Dijkstra EW (1965) Cooperating sequential processes. Tech. rep. Technological University, Eindhoven"},{"key":"202_CR9","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":"202_CR10","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 Autom 13:347\u2013363","journal-title":"IEEE Trans Robot Autom"},{"key":"202_CR11","doi-asserted-by":"crossref","first-page":"179","DOI":"10.1145\/356603.356607","volume":"4","author":"RD Holt","year":"1972","unstructured":"Holt RD (1972) Some deadlock properties of computer systems. ACM Comput Surv 4:179\u2013196","journal-title":"ACM Comput Surv"},{"issue":"6","key":"202_CR12","doi-asserted-by":"crossref","first-page":"1248","DOI":"10.1109\/TSMCA.2006.878953","volume":"36","author":"Y Huang","year":"2006","unstructured":"Huang Y, Jeng M, Xie X, Chung D (2006) Siphon-based deadlock prevention policy for flexible manufacturing systems. IEEE Trans Syst Man Cybern Syst Hum 36(6):1248\u20131256","journal-title":"IEEE Trans Syst Man Cybern Syst Hum"},{"key":"202_CR13","doi-asserted-by":"crossref","first-page":"173","DOI":"10.1109\/TSMCC.2007.913920","volume":"38","author":"Z Li","year":"2008","unstructured":"Li Z, Zhou M, Wu N (2008) A survey and comparison of Petri net-based deadlock prevention policies for flexible manufacturing systems. IEEE Trans Syst Man Cybern \u2013 Part C 38:173\u2013188","journal-title":"IEEE Trans Syst Man Cybern \u2013 Part C"},{"key":"202_CR14","doi-asserted-by":"crossref","first-page":"1123","DOI":"10.1109\/TAC.2012.2230814","volume":"58","author":"H Liao","year":"2013a","unstructured":"Liao H, Lafortune S, Reveliotis S, Wang Y, Mahlke S (2013a) Optimal liveness-enforcing control of a class of Petri nets arising in multithreaded software. IEEE Trans Autom Control 58:1123\u20131138","journal-title":"IEEE Trans Autom Control"},{"key":"202_CR15","doi-asserted-by":"crossref","first-page":"157","DOI":"10.1007\/s10626-012-0139-x","volume":"23","author":"H Liao","year":"2013b","unstructured":"Liao H, Wang Y, Cho HK, Stanley J, Kelly T, Lafortune S, Mahlke S, Reveliotis S (2013b) Concurrency bugs in multi-threaded software: modeling and analysis using Petri nets. Discrete Event Syst: Theory Appl 23:157\u2013195","journal-title":"Discrete Event Syst: Theory Appl"},{"key":"202_CR16","doi-asserted-by":"crossref","first-page":"2067","DOI":"10.1109\/TCST.2012.2226034","volume":"21","author":"H Liao","year":"2013c","unstructured":"Liao H, Wang Y, Stanley J, Lafortune S, Reveliotis S, Kelly T, Mahlke S (2013c) Eliminating concurrency bugs in multithreaded software: a new approach based on discrete-event control. IEEE Trans Control Syst Technol 21:2067\u20132082","journal-title":"IEEE Trans Control Syst Technol"},{"key":"202_CR17","volume-title":"Designing parsimonious representations of the maximally permissive deadlock avoidance policy for complex resource allocation systems through classification theory. PhD thesis","author":"A Nazeem","year":"2012","unstructured":"Nazeem A (2012) Designing parsimonious representations of the maximally permissive deadlock avoidance policy for complex resource allocation systems through classification theory. PhD thesis. Georgia Institute of Technology, Atlanta"},{"key":"202_CR18","doi-asserted-by":"crossref","first-page":"766","DOI":"10.1109\/TASE.2011.2159112","volume":"8","author":"A Nazeem","year":"2011","unstructured":"Nazeem A, Reveliotis S (2011) A practical approach for maximally permissive liveness-enforcing supervision of complex resource allocation systems. IEEE Trans Autom Sci Eng 8:766\u2013779","journal-title":"IEEE Trans Autom Sci Eng"},{"issue":"7","key":"202_CR19","doi-asserted-by":"crossref","first-page":"1670","DOI":"10.1109\/TAC.2011.2179422","volume":"57","author":"A Nazeem","year":"2012","unstructured":"Nazeem A, Reveliotis S (2012) Designing maximally permissive deadlock avoidance policies for sequential resource allocation systems through classification theory: the non-linear case. IEEE Trans Autom Control 57(7):1670\u20131684","journal-title":"IEEE Trans Autom Control"},{"key":"202_CR20","doi-asserted-by":"crossref","first-page":"111","DOI":"10.1109\/TASE.2013.2266793","volume":"11","author":"A Nazeem","year":"2014","unstructured":"Nazeem A, Reveliotis S (2014) An efficient algorithm for the enumeration of the minimal unsafe states in complex resource allocation systems. IEEE Trans Autom Sci Eng 11:111\u2013124","journal-title":"IEEE Trans Autom Sci Eng"},{"key":"202_CR21","doi-asserted-by":"crossref","first-page":"1818","DOI":"10.1109\/TAC.2010.2095612","volume":"56","author":"A Nazeem","year":"2011","unstructured":"Nazeem A, Reveliotis S, Wang Y, Lafortune S (2011) Designing maximally permissive deadlock avoidance policies for sequential resource allocation systems through classification theory: the linear case. IEEE Trans Autom Control 56:1818\u20131833","journal-title":"IEEE Trans Autom Control"},{"key":"202_CR22","doi-asserted-by":"crossref","first-page":"123","DOI":"10.1109\/TSMCA.2003.820571","volume":"34","author":"J Park","year":"2004","unstructured":"Park J (2004) A deadlock and livelock free protocol for decentralized internet resource coallocation. IEEE Trans Syst Man Cybern Part A 34:123\u2013131","journal-title":"IEEE Trans Syst Man Cybern Part A"},{"key":"202_CR23","volume-title":"Operating System Concepts","author":"JL Peterson","year":"1981","unstructured":"Peterson JL (1981) Operating System Concepts. Addison-Wesley, Boston"},{"key":"202_CR24","doi-asserted-by":"crossref","first-page":"283","DOI":"10.1109\/TRO.2010.2098270","volume":"27","author":"S Reveliotis","year":"2011","unstructured":"Reveliotis S, Roszkowska E (2011) Conflict resolution in free-ranging multi-vehicle systems: a resource allocation paradigm. IEEE Trans Robot 27:283\u2013296","journal-title":"IEEE Trans Robot"},{"key":"202_CR25","volume-title":"Structural analysis & control of flexible manufacturing systems with a performance perspective. PhD thesis","author":"SA Reveliotis","year":"1996","unstructured":"Reveliotis SA (1996) Structural analysis & control of flexible manufacturing systems with a performance perspective. PhD thesis. University of Illinois, Urbana"},{"issue":"7","key":"202_CR26","first-page":"647","volume":"32","author":"SA Reveliotis","year":"2000","unstructured":"Reveliotis SA (2000) Conflict resolution in AGV systems. IIE Trans 32(7):647\u2013659","journal-title":"IIE Trans"},{"key":"202_CR27","volume-title":"Real-time Management of resource allocation systems: a discrete event systems approach","author":"SA Reveliotis","year":"2005","unstructured":"Reveliotis SA (2005) Real-time Management of resource allocation systems: a discrete event systems approach. Springer, NY"},{"key":"202_CR28","doi-asserted-by":"crossref","first-page":"845","DOI":"10.1109\/70.544768","volume":"12","author":"SA Reveliotis","year":"1996","unstructured":"Reveliotis SA, Ferreira PM (1996) Deadlock avoidance policies for automated manufacturing cells. IEEE Trans Robot Autom 12:845\u2013857","journal-title":"IEEE Trans Robot Autom"},{"key":"202_CR29","doi-asserted-by":"crossref","first-page":"1689","DOI":"10.1109\/TAC.2008.929375","volume":"53","author":"E Roszkowska","year":"2008","unstructured":"Roszkowska E, Reveliotis S (2008) On the liveness of guidepath-based, zoned-controlled, dynamically routed, closed traffic systems. IEEE Trans Autom Control 53:1689\u20131695","journal-title":"IEEE Trans Autom Control"},{"issue":"6","key":"202_CR30","doi-asserted-by":"crossref","first-page":"643","DOI":"10.1007\/BF00289715","volume":"21","author":"R Valk","year":"1985","unstructured":"Valk R, Jantzen M (1985) The residue of vector sets with applications to decidability problems in Petri nets. Acta Informatica 21(6):643\u2013674","journal-title":"Acta Informatica"},{"key":"202_CR31","doi-asserted-by":"crossref","first-page":"713","DOI":"10.1109\/70.63257","volume":"6","author":"N Viswanadham","year":"1990","unstructured":"Viswanadham N, Narahari Y, Johnson TL (1990) Deadlock avoidance in flexible manufacturing systems using Petri net models. IEEE Trans Robot Autom 6:713\u2013722","journal-title":"IEEE Trans Robot Autom"},{"key":"202_CR32","unstructured":"Wang Y, Liao H, Nazeem A, Reveliotis S, Kelly T, Mahlke S, Lafortune S (2009) Maximally permissive deadlock avoidance for multithreaded computer programs. In: Proceedings of the 5th IEEE conference on automation science and engineering, pp 37\u201341"},{"key":"202_CR33","doi-asserted-by":"crossref","unstructured":"Wang Y, Cho H, Liao H, Nazeem A, Kelly T, Lafortune S, Mahlke S, Reveliotis S (2010) Supervisory control of software execution for failure avoidance: experience from the Gadara project. In: Proceedings of the 10th international workshop on discrete event systems","DOI":"10.3182\/20100830-3-DE-4013.00044"},{"key":"202_CR34","doi-asserted-by":"crossref","first-page":"63","DOI":"10.1109\/TMECH.2006.886255","volume":"12","author":"N Wu","year":"2007","unstructured":"Wu N, Zhou M (2007) Deadlock and blocking-free shortest routing of bi-directional automated guided vehicles. IEEE Trans Mechatronics 12:63\u201372","journal-title":"IEEE Trans Mechatronics"},{"key":"202_CR35","volume-title":"Deadlock resolution in computer-integrated systems","author":"M Zhou","year":"2004","unstructured":"Zhou M, Fanti MP (2004) Deadlock resolution in computer-integrated systems. Marcel Dekker Inc., Singapore"}],"container-title":["Discrete Event Dynamic Systems"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10626-014-0202-x.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10626-014-0202-x\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10626-014-0202-x","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,30]],"date-time":"2019-05-30T19:58:55Z","timestamp":1559246335000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10626-014-0202-x"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014,9,14]]},"references-count":35,"journal-issue":{"issue":"1-2","published-print":{"date-parts":[[2015,6]]}},"alternative-id":["202"],"URL":"https:\/\/doi.org\/10.1007\/s10626-014-0202-x","relation":{},"ISSN":["0924-6703","1573-7594"],"issn-type":[{"value":"0924-6703","type":"print"},{"value":"1573-7594","type":"electronic"}],"subject":[],"published":{"date-parts":[[2014,9,14]]}}}