{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,16]],"date-time":"2025-10-16T03:48:33Z","timestamp":1760586513293},"publisher-location":"Berlin, Heidelberg","reference-count":34,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642119491"},{"type":"electronic","value":"9783642119507"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2010]]},"DOI":"10.1007\/978-3-642-11950-7_9","type":"book-chapter","created":{"date-parts":[[2010,4,7]],"date-time":"2010-04-07T10:00:27Z","timestamp":1270634427000},"page":"87-100","source":"Crossref","is-referenced-by-count":3,"title":["On Deadlocks and Fairness in Self-organizing Resource-Flow Systems"],"prefix":"10.1007","author":[{"given":"Jan-Philipp","family":"Stegh\u00f6fer","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Pratik","family":"Mandrekar","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Florian","family":"Nafz","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Hella","family":"Seebach","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Wolfgang","family":"Reif","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"9_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"628","DOI":"10.1007\/978-3-540-71493-4_48","volume-title":"Hybrid Systems: Computation and Control","author":"A. Abate","year":"2007","unstructured":"Abate, A., Innocenzo, A.D., Pola, G., Di Benedetto, M.D., Sastry, S.: The Concept of Deadlock and Livelock in Hybrid Control Systems. In: Bemporad, A., Bicchi, A., Buttazzo, G. (eds.) HSCC 2007. LNCS, vol.\u00a04416, pp. 628\u2013632. Springer, Heidelberg (2007)"},{"key":"9_CR2","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"146","DOI":"10.1007\/3-540-48035-8_15","volume-title":"Developments in Applied Artificial Intelligence","author":"B. Ashfield","year":"2002","unstructured":"Ashfield, B., Deugo, D., Oppacher, F., White, T.: Distributed Deadlock Detection in Mobile Agent Systems. In: Hendtlass, T., Ali, M. (eds.) IEA\/AIE 2002. LNCS (LNAI), vol.\u00a02358, pp. 146\u2013156. Springer, Heidelberg (2002)"},{"issue":"6","key":"9_CR3","doi-asserted-by":"publisher","first-page":"724","DOI":"10.1109\/70.63273","volume":"6","author":"Z.A. Banaszak","year":"1990","unstructured":"Banaszak, Z.A., Krogh, B.H.: Deadlock avoidance in flexible manufacturing systems with concurrently competing process flows. IEEE Transactions on Robotics and Automation\u00a06(6), 724\u2013734 (1990)","journal-title":"IEEE Transactions on Robotics and Automation"},{"issue":"2","key":"9_CR4","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/1507195.1507203","volume":"34","author":"A.K. Bandyopadhyay","year":"2009","unstructured":"Bandyopadhyay, A.K.: Fairness and conspiracy concepts in concurrent systems. SIGSOFT Softw. Eng. Notes\u00a034(2), 1\u20138 (2009)","journal-title":"SIGSOFT Softw. Eng. Notes"},{"issue":"11","key":"9_CR5","doi-asserted-by":"publisher","first-page":"1311","DOI":"10.1109\/32.60319","volume":"16","author":"V.C. Barbosa","year":"1990","unstructured":"Barbosa, V.C.: Strategies for the prevention of communication deadlocks in distributed parallel programs. IEEE Transactions on Software Engineering\u00a016(11), 1311\u20131316 (1990)","journal-title":"IEEE Transactions on Software Engineering"},{"issue":"7","key":"9_CR6","doi-asserted-by":"publisher","first-page":"882","DOI":"10.1109\/12.55690","volume":"39","author":"F. Belik","year":"1990","unstructured":"Belik, F.: An efficient deadlock avoidance technique. IEEE Transactions on Computers\u00a039(7), 882\u2013888 (1990)","journal-title":"IEEE Transactions on Computers"},{"issue":"3","key":"9_CR7","doi-asserted-by":"publisher","first-page":"127","DOI":"10.1007\/BF01782773","volume":"2","author":"G. Bracha","year":"1987","unstructured":"Bracha, G., Toueg, S.: Distributed deadlock detection. Distributed Computing\u00a02(3), 127\u2013138 (1987)","journal-title":"Distributed Computing"},{"issue":"1","key":"9_CR8","doi-asserted-by":"publisher","first-page":"61","DOI":"10.1007\/s11334-006-0013-9","volume":"3","author":"D. Bustard","year":"2007","unstructured":"Bustard, D., Hassan, S., McSherry, D., Walmsley, S.: GRAPHIC illustrations of autonomic computing concepts. Innovations in Systems and Software Engineering\u00a03(1), 61\u201369 (2007)","journal-title":"Innovations in Systems and Software Engineering"},{"key":"9_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"124","DOI":"10.1007\/3-540-49253-4_11","volume-title":"Algebraic Methodology and Software Technology","author":"B. Buth","year":"1998","unstructured":"Buth, B., Peleska, J., Shi, H.: Combining Methods for the Livelock Analysis of a Fault-Tolerant System. In: Haeberer, A.M. (ed.) AMAST 1998. LNCS, vol.\u00a01548, p. 124. Springer, Heidelberg (1998)"},{"key":"9_CR10","doi-asserted-by":"crossref","unstructured":"Coffman, E.G., Elphick, M.J.: System deadlocks. Computing Surveys (1971)","DOI":"10.1145\/356586.356588"},{"issue":"3","key":"9_CR11","doi-asserted-by":"publisher","first-page":"207","DOI":"10.1016\/0890-5401(87)90013-7","volume":"73","author":"G. Costa","year":"1987","unstructured":"Costa, G., Stirling, C.: Weak and strong fairness in CCS. Information and Computation\u00a073(3), 207\u2013244 (1987)","journal-title":"Information and Computation"},{"issue":"3","key":"9_CR12","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1109\/TIT.2008.2011427","volume":"55","author":"M. Durvy","year":"2009","unstructured":"Durvy, M., Dousse, O., Thiran, P.: Self-Organization Properties of CSMA\/CA Systems and Their Consequences on Fairness. IEEE Transactions on Information Theory\u00a055(3), 1 (2009)","journal-title":"IEEE Transactions on Information Theory"},{"issue":"2","key":"9_CR13","doi-asserted-by":"publisher","first-page":"173","DOI":"10.1109\/70.370500","volume":"11","author":"J. Ezpeleta","year":"1995","unstructured":"Ezpeleta, J., Colom, J.M., Martinez, J.: A Petri net based deadlock prevention policy for flexible manufacturing systems. IEEE Transactions on Robotics and Automation\u00a011(2), 173\u2013184 (1995)","journal-title":"IEEE Transactions on Robotics and Automation"},{"issue":"1","key":"9_CR14","doi-asserted-by":"publisher","first-page":"5","DOI":"10.1109\/TSMCA.2003.820590","volume":"34","author":"M.P. Fanti","year":"2004","unstructured":"Fanti, M.P., Zhou, M.C.: Deadlock control methods in automated manufacturing systems. IEEE Transactions on Systems, Man and Cybernetics, Part A\u00a034(1), 5\u201322 (2004)","journal-title":"IEEE Transactions on Systems, Man and Cybernetics, Part A"},{"key":"9_CR15","unstructured":"Goldman, B.: Deadlock detection in computer networks. Technical report, Massachusetts Institute of Technology, Cambridge, MA, USA (1977)"},{"key":"9_CR16","doi-asserted-by":"publisher","first-page":"233","DOI":"10.1109\/SASO.2008.66","volume-title":"Proceedings of the 2008 Second IEEE International Conference on Self-Adaptive and Self-Organizing Systems","author":"M. G\u00fcdemann","year":"2008","unstructured":"G\u00fcdemann, M., Nafz, F., Ortmeier, F., Seebach, H., Reif, W.: A Specification and Construction Paradigm for Organic Computing Systems. In: Proceedings of the 2008 Second IEEE International Conference on Self-Adaptive and Self-Organizing Systems, pp. 233\u2013242. IEEE Computer Society, Washington (2008)"},{"issue":"1","key":"9_CR17","doi-asserted-by":"publisher","first-page":"65","DOI":"10.1109\/TSMCA.2003.820574","volume":"34","author":"F.S. Hsieh","year":"2004","unstructured":"Hsieh, F.S.: Fault-tolerant deadlock avoidance algorithm for assembly processes. IEEE Transactions on Systems, Man and Cybernetics, Part A\u00a034(1), 65\u201379 (2004)","journal-title":"IEEE Transactions on Systems, Man and Cybernetics, Part A"},{"issue":"6","key":"9_CR18","doi-asserted-by":"publisher","first-page":"1249","DOI":"10.1109\/TSMCA.2006.878953","volume":"36","author":"Y.S. Huang","year":"2006","unstructured":"Huang, Y.S., Jeng, M.D., Xie, X., Chung, D.H.: Siphon-based deadlock prevention policy for flexible manufacturing systems. IEEE Transactions on Systems, Man, and Cybernetics, Part A: Systems and Humans\u00a036(6), 1249 (2006)","journal-title":"IEEE Transactions on Systems, Man, and Cybernetics, Part A: Systems and Humans"},{"issue":"4","key":"9_CR19","doi-asserted-by":"publisher","first-page":"659","DOI":"10.1007\/s00291-006-0055-2","volume":"28","author":"K.H. Kim","year":"2006","unstructured":"Kim, K.H., Jeon, S.M., Ryu, K.R.: Deadlock prevention for automated guided vehicles in automated container terminals. OR Spectrum\u00a028(4), 659\u2013679 (2006)","journal-title":"OR Spectrum"},{"key":"9_CR20","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"365","DOI":"10.1007\/3-540-44929-9_27","volume-title":"Theoretical Computer Science: Exploring New Frontiers of Theoretical Informatics","author":"N. Kobayashi","year":"2000","unstructured":"Kobayashi, N.: Type systems for concurrent processes: From deadlock-freedom to livelock-freedom, time-boundedness. In: van Leeuwen, J., Watanabe, O., Hagiya, M., Mosses, P.D., Ito, T. (eds.) TCS 2000. LNCS, vol.\u00a01872, pp. 365\u2013389. Springer, Heidelberg (2000)"},{"key":"9_CR21","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"172","DOI":"10.1007\/BFb0022469","volume-title":"Semantics of Concurrent Computation","author":"Y.S. Kwong","year":"1979","unstructured":"Kwong, Y.S.: On the absence of livelocks in parallel programs. In: Kahn, G. (ed.) Semantics of Concurrent Computation. LNCS, vol.\u00a070, pp. 172\u2013190. Springer, Heidelberg (1979)"},{"issue":"4","key":"9_CR22","doi-asserted-by":"publisher","first-page":"239","DOI":"10.1007\/PL00008921","volume":"13","author":"L. Lamport","year":"2000","unstructured":"Lamport, L.: Fairness and hyperfairness. Distributed Computing\u00a013(4), 239\u2013245 (2000)","journal-title":"Distributed Computing"},{"issue":"2","key":"9_CR23","doi-asserted-by":"publisher","first-page":"173","DOI":"10.1109\/TSMCC.2007.913920","volume":"38","author":"Z.W. Li","year":"2008","unstructured":"Li, Z.W., Zhou, M.C., Wu, N.Q.: A survey and comparison of Petri net-based deadlock prevention policies for flexible manufacturing systems. IEEE Transactions on Systems, Man, and Cybernetics, Part C: Applications and Reviews\u00a038(2), 173\u2013188 (2008)","journal-title":"IEEE Transactions on Systems, Man, and Cybernetics, Part C: Applications and Reviews"},{"key":"9_CR24","doi-asserted-by":"crossref","unstructured":"Nafz, F., Ortmeier, F., Seebach, H., Stegh\u00f6fer, J.-P., Reif, W.: A generic software framework for role-based Organic Computing systems. In: SEAMS 2009: ICSE 2009 Workshop Software Engineering for Adaptive and Self-Managing Systems (2009)","DOI":"10.1109\/SEAMS.2009.5069078"},{"key":"9_CR25","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"17","DOI":"10.1007\/978-3-642-02704-8_3","volume-title":"ATC 2009","author":"F. Nafz","year":"2009","unstructured":"Nafz, F., Ortmeier, F., Seebach, H., Stegh\u00f6fer, J.-P., Reif, W.: A universal self-organization mechanism for role-based Organic Computing systems. In: Gonz\u00e1lez Nieto, J., Reif, W., Wang, G., Indulska, J. (eds.) ATC 2009. LNCS, vol.\u00a05586, pp. 17\u201331. Springer, Heidelberg (2009)"},{"key":"9_CR26","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"504","DOI":"10.1007\/3-540-10007-5_47","volume-title":"Abstract Software Specifications","author":"D. Park","year":"1980","unstructured":"Park, D.: On the Semantics of Fair Parallelism. In: Bjorner, D. (ed.) Abstract Software Specifications. LNCS, vol.\u00a086, pp. 504\u2013526. Springer, Heidelberg (1980)"},{"key":"9_CR27","doi-asserted-by":"publisher","first-page":"12","DOI":"10.1145\/1176887.1176891","volume-title":"Proceedings of the 6th ACM & IEEE International conference on Embedded software","author":"C. Sanchez","year":"2006","unstructured":"Sanchez, C., Sipma, H.B., Manna, Z., Gill, C.D.: Efficient distributed deadlock avoidance with liveness guarantees. In: Proceedings of the 6th ACM & IEEE International conference on Embedded software, pp. 12\u201320. ACM, New York (2006)"},{"issue":"11","key":"9_CR28","doi-asserted-by":"publisher","first-page":"37","DOI":"10.1109\/2.43525","volume":"22","author":"M. Sfinghal","year":"1989","unstructured":"Sfinghal, M.: Deadlock detection in distributed systems. Computer\u00a022(11), 37\u201348 (1989)","journal-title":"Computer"},{"key":"9_CR29","unstructured":"Wang, J., Zhang, X., Zhang, Y., Yang, H.: A Probabilistic Model for Parametric Fairness in Isabelle\/HOL. In: Theorem Proving in Higher Order Logics: Emerging trends Proceedings, pp. 194\u2013209 (2007)"},{"key":"9_CR30","doi-asserted-by":"crossref","unstructured":"Wang, Y., Kelly, T., Kudlur, M., Mahlke, S., Lafortune, S.: The application of supervisory control to deadlock avoidance in concurrent software. In: 9th International Workshop on Discrete Event Systems, WODES 2008, pp. 287\u2013292 (2008)","DOI":"10.1109\/WODES.2008.4605961"},{"key":"9_CR31","unstructured":"Wang, Y.M., Merritt, M., Romanovsky, A.B.: Guaranteed deadlock recovery: Deadlock resolution with rollback propagation. In: Proc. Pacific Rim International Symposium on Fault-Tolerant Systems (1995)"},{"issue":"3","key":"9_CR32","doi-asserted-by":"publisher","first-page":"474","DOI":"10.1109\/TASE.2006.888049","volume":"4","author":"N. Wu","year":"2007","unstructured":"Wu, N., Zhou, M.C.: Deadlock resolution in automated manufacturing systems with robots. IEEE Transactions on Automation Science and Engineering\u00a04(3), 474\u2013480 (2007)","journal-title":"IEEE Transactions on Automation Science and Engineering"},{"issue":"1","key":"9_CR33","doi-asserted-by":"publisher","first-page":"56","DOI":"10.1109\/TSMCA.2007.909542","volume":"38","author":"N. Wu","year":"2008","unstructured":"Wu, N., Zhou, M.C., Li, Z.W.: Resource-oriented Petri net for deadlock avoidance in flexible assembly systems. IEEE Transactions on Systems, Man and Cybernetics, Part A\u00a038(1), 56\u201369 (2008)","journal-title":"IEEE Transactions on Systems, Man and Cybernetics, Part A"},{"issue":"1","key":"9_CR34","doi-asserted-by":"publisher","first-page":"367","DOI":"10.1016\/S0007-8506(07)60718-5","volume":"53","author":"J. Zajac","year":"2004","unstructured":"Zajac, J.: A deadlock handling method for automated manufacturing systems. CIRP Annals-Manufacturing Technology\u00a053(1), 367\u2013370 (2004)","journal-title":"CIRP Annals-Manufacturing Technology"}],"container-title":["Lecture Notes in Computer Science","Architecture of Computing Systems - ARCS 2010"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-11950-7_9.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,30]],"date-time":"2021-04-30T12:00:53Z","timestamp":1619784053000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-11950-7_9"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010]]},"ISBN":["9783642119491","9783642119507"],"references-count":34,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-11950-7_9","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2010]]}}}