{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T17:34:08Z","timestamp":1725471248252},"publisher-location":"Berlin, Heidelberg","reference-count":16,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540462194"},{"type":"electronic","value":"9783540462200"}],"license":[{"start":{"date-parts":[[2006,1,1]],"date-time":"2006-01-01T00:00:00Z","timestamp":1136073600000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2006]]},"DOI":"10.1007\/11888116_24","type":"book-chapter","created":{"date-parts":[[2006,10,3]],"date-time":"2006-10-03T10:06:43Z","timestamp":1159870003000},"page":"323-338","source":"Crossref","is-referenced-by-count":4,"title":["Resource Allocation Systems: Some Complexity Results on the S4PR Class"],"prefix":"10.1007","author":[{"given":"Juan-Pablo","family":"L\u00f3pez-Grao","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jos\u00e9-Manuel","family":"Colom","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"issue":"2","key":"24_CR1","doi-asserted-by":"publisher","first-page":"67","DOI":"10.1145\/356586.356588","volume":"3","author":"E.G. Coffman","year":"1971","unstructured":"Coffman, E.G., Elphick, M., Shoshani, A.: System deadlocks. ACM Computing Surveys\u00a03(2), 67\u201378 (1971)","journal-title":"ACM Computing Surveys"},{"issue":"3","key":"24_CR2","doi-asserted-by":"publisher","first-page":"320","DOI":"10.1137\/0207027","volume":"7","author":"E.M. Gold","year":"1978","unstructured":"Gold, E.M.: Deadlock prediction: Easy and difficult cases. SIAM Journal on Computing\u00a07(3), 320\u2013336 (1978)","journal-title":"SIAM Journal on Computing"},{"issue":"4","key":"24_CR3","doi-asserted-by":"publisher","first-page":"541","DOI":"10.1109\/5.24143","volume":"77","author":"T. Murata","year":"1989","unstructured":"Murata, T.: Petri nets: Properties, analysis and applications. Proceedings of the IEEE\u00a077(4), 541\u2013580 (1989)","journal-title":"Proceedings of the IEEE"},{"key":"24_CR4","unstructured":"Lautenbach, K., Thiagarajan, P.S.: Analysis of a resource allocation problem using Petri nets. In: Syre, J.C. (ed.) Proc. of 1st European Conf. on Parallel and Distributed Processing, Toulouse, Cepadues Editions, pp. 260\u2013266 (1979)"},{"issue":"2","key":"24_CR5","doi-asserted-by":"publisher","first-page":"173","DOI":"10.1109\/70.370500","volume":"11","author":"J. Ezpeleta","year":"1995","unstructured":"Ezpeleta, J., Colom, J., Mart\u00ednez, J.: A Petri net based deadlock prevention policy for flexible manufacturing systems. IEEE Trans. on Robotics and Automation\u00a011(2), 173\u2013184 (1995)","journal-title":"IEEE Trans. on Robotics and Automation"},{"issue":"4","key":"24_CR6","first-page":"692","volume":"29","author":"X. Xie","year":"1999","unstructured":"Xie, X., Jeng, M.D.: ERCN-merged nets and their analysis using siphons. IEEE Trans. on Robotics and Automation\u00a029(4), 692\u2013703 (1999)","journal-title":"IEEE Trans. on Robotics and Automation"},{"issue":"10","key":"24_CR7","doi-asserted-by":"publisher","first-page":"1572","DOI":"10.1109\/9.956052","volume":"46","author":"J. Park","year":"2001","unstructured":"Park, J., Reveliotis, S.A.: Deadlock avoidance in sequential resource allocation systems with multiple resource acquisitions and flexible routings. IEEE Trans. on Automatic Control\u00a046(10), 1572\u20131583 (2001)","journal-title":"IEEE Trans. on Automatic Control"},{"key":"24_CR8","unstructured":"Tricas, F.: Deadlock analysis, prevention and avoidance in sequential resource allocation systems. PhD thesis, University of Zaragoza, Zaragoza (2003)"},{"key":"24_CR9","doi-asserted-by":"publisher","first-page":"385","DOI":"10.1023\/A:1012203214611","volume":"13","author":"M. Lawley","year":"2001","unstructured":"Lawley, M., Reveliotis, S.: Deadlock avoidance for sequential Resource Allocation Systems: Hard and easy cases. Int. Journal of Flexible Manufacturing Systems\u00a013, 385\u2013404 (2001)","journal-title":"Int. Journal of Flexible Manufacturing Systems"},{"issue":"6","key":"24_CR10","doi-asserted-by":"publisher","first-page":"819","DOI":"10.1109\/70.976000","volume":"17","author":"W. Sulistyono","year":"2001","unstructured":"Sulistyono, W., Lawley, M.: Deadlock avoidance for manufacturing systems with partially ordered process plans. IEEE Trans. on Robotics and Automation\u00a017(6), 819\u2013832 (2001)","journal-title":"IEEE Trans. on Robotics and Automation"},{"key":"24_CR11","doi-asserted-by":"crossref","unstructured":"Brade, R., Zhang, L., Berson, S., Herzog, S., Jamin, S.: RFC 2205: Resource ReSerVation Protocol \u2013 Version 1 Functional Specification (1997)","DOI":"10.17487\/rfc2205"},{"key":"24_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"377","DOI":"10.1007\/3-540-44919-1_24","volume-title":"Applications and Theory of Petri Nets 2003","author":"M.E. Villapol","year":"2003","unstructured":"Villapol, M.E., Billington, J.: Analysing properties of the resource reservation protocol. In: van der Aalst, W.M.P., Best, E. (eds.) ICATPN 2003. LNCS, vol.\u00a02679, pp. 377\u2013396. Springer, Heidelberg (2003)"},{"key":"24_CR13","unstructured":"Tricas, F., Garc\u00eda-Vall\u00e9s, F., Colom, J., Ezpeleta, J.: A Petri net structure-based deadlock prevention solution for sequential resource allocation systems. In: Proc. of IEEE Int. Conf. on Robotics and Automation, Barcelona, Spain, pp. 272\u2013278 (2005)"},{"key":"24_CR14","volume-title":"Computers and Intractability: A Guide to the Theory of NP-Completeness","author":"M. Garey","year":"1979","unstructured":"Garey, M., Johnson, D.: Computers and Intractability: A Guide to the Theory of NP-Completeness. W. H. Freeman & Co., New York (1979)"},{"key":"24_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"415","DOI":"10.1007\/3-540-56863-8_59","volume-title":"Application and Theory of Petri Nets 1993","author":"E. Teruel","year":"1993","unstructured":"Teruel, E., Silva, M.: Liveness and home states in equal conflict systems. In: Ajmone Marsan, M. (ed.) ICATPN 1993. LNCS, vol.\u00a0691, pp. 415\u2013432. Springer, Heidelberg (1993)"},{"key":"24_CR16","unstructured":"L\u00f3pez-Grao, J.P., Colom, J.M.: Lender processes competing for shared resources: Beyond the S4PR paradigm. In: Proc. of IEEE Int. Conf. on Systems, Man and Cybernetics, Taipei, Taiwan (to appear, 2006)"}],"container-title":["Lecture Notes in Computer Science","Formal Techniques for Networked and Distributed Systems - FORTE 2006"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11888116_24","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,4,21]],"date-time":"2019-04-21T08:25:46Z","timestamp":1555835146000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11888116_24"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006]]},"ISBN":["9783540462194","9783540462200"],"references-count":16,"URL":"https:\/\/doi.org\/10.1007\/11888116_24","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2006]]}}}