{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,1]],"date-time":"2026-04-01T07:29:59Z","timestamp":1775028599631,"version":"3.50.1"},"publisher-location":"Berlin, Heidelberg","reference-count":23,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783642290718","type":"print"},{"value":"9783642290725","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012]]},"DOI":"10.1007\/978-3-642-29072-5_8","type":"book-chapter","created":{"date-parts":[[2012,3,22]],"date-time":"2012-03-22T18:18:02Z","timestamp":1332440282000},"page":"181-200","source":"Crossref","is-referenced-by-count":10,"title":["A Petri Net Perspective on the Resource Allocation Problem in Software Engineering"],"prefix":"10.1007","author":[{"given":"Juan-Pablo","family":"L\u00f3pez-Grao","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jos\u00e9-Manue","family":"Colom","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"8_CR1","doi-asserted-by":"publisher","first-page":"89","DOI":"10.1007\/BF00289141","volume":"21","author":"E. Best","year":"1984","unstructured":"Best, E., Voss, K.: Free Choice Systems Have Home States. Acta Informatica\u00a021, 89\u2013100 (1984)","journal-title":"Acta Informatica"},{"issue":"2","key":"8_CR2","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"},{"key":"8_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"23","DOI":"10.1007\/3-540-44919-1_3","volume-title":"Applications and Theory of Petri Nets 2003","author":"J.-M. Colom","year":"2003","unstructured":"Colom, J.-M.: The Resource Allocation Problem in Flexible Manufacturing Systems. In: van der Aalst, W.M.P., Best, E. (eds.) ICATPN 2003. LNCS, vol.\u00a02679, pp. 23\u201335. Springer, Heidelberg (2003)"},{"issue":"2","key":"8_CR4","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., Mart\u00ednez, 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"},{"key":"8_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"64","DOI":"10.1007\/3-540-69108-1_5","volume-title":"Application and Theory of Petri Nets 1998","author":"J. Ezpeleta","year":"1998","unstructured":"Ezpeleta, J., Garc\u00eda-Valles, F., Colom, J.M.: A Class of Well Structured Petri Nets for Flexible Manufacturing Systems. In: Desel, J., Silva, M. (eds.) ICATPN 1998. LNCS, vol.\u00a01420, pp. 64\u201383. Springer, Heidelberg (1998)"},{"key":"8_CR6","doi-asserted-by":"crossref","unstructured":"Ezpeleta, J., Recalde, L.: A Deadlock Avoidance Approach for Non-Sequential Resource Allocation Systems. IEEE Transactions on Systems, Man and Cybernetics. Part\u2013A: Systems and Humans\u00a034(1) (2004)","DOI":"10.1109\/TSMCA.2003.820575"},{"issue":"4","key":"8_CR7","doi-asserted-by":"publisher","first-page":"621","DOI":"10.1109\/TRA.2002.801048","volume":"18","author":"J. Ezpeleta","year":"2002","unstructured":"Ezpeleta, J., Tricas, F., Garc\u00eda-Vall\u00e9s, F., Colom, J.M.: A Banker\u2019s Solution for Deadlock Avoidance in FMS with Flexible Routing and Multiresource States. IEEE Transactions on Robotics and Automation\u00a018(4), 621\u2013625 (2002)","journal-title":"IEEE Transactions on Robotics and Automation"},{"issue":"3","key":"8_CR8","doi-asserted-by":"publisher","first-page":"347","DOI":"10.1109\/70.585898","volume":"13","author":"M.P. Fanti","year":"1997","unstructured":"Fanti, M.P., Maione, B., Mascolo, S., Turchiano, B.: Event-based Feedback Control for Deadlock Avoidance in Flexible Production Systems. IEEE Transactions on Robotics and Automation\u00a013(3), 347\u2013363 (1997)","journal-title":"IEEE Transactions on Robotics and Automation"},{"key":"8_CR9","unstructured":"Garc\u00eda-Vall\u00e9s, F.: Contributions to the Structural and Symbolic Analysis of Place\/Transition Nets with Applications to Flexible Manufacturing Systems and Asynchronous Circuits. Ph.D. thesis. University of Zaragoza, Zaragoza (April 1999)"},{"issue":"7","key":"8_CR10","doi-asserted-by":"publisher","first-page":"379","DOI":"10.1145\/358886.358892","volume":"23","author":"D. Harel","year":"1980","unstructured":"Harel, D.: On Folk Theorems. Communications of the ACM\u00a023(7), 379\u2013389 (1980)","journal-title":"Communications of the ACM"},{"issue":"8","key":"8_CR11","doi-asserted-by":"publisher","first-page":"666","DOI":"10.1145\/359576.359585","volume":"21","author":"C.A.R. Hoare","year":"1978","unstructured":"Hoare, C.A.R.: Communicating Sequential Processes. Communications of the ACM\u00a021(8), 666\u2013677 (1978)","journal-title":"Communications of the ACM"},{"issue":"8","key":"8_CR12","doi-asserted-by":"publisher","first-page":"1446","DOI":"10.1109\/TMM.2009.2032677","volume":"11","author":"H.S. Hu","year":"2009","unstructured":"Hu, H.S., Zhou, M.C., Li, Z.W.: Liveness Enforcing Supervision of Video Streaming Systems Using Non-Sequential Petri Nets. IEEE Transactions on Multimedia\u00a011(8), 1446\u20131456 (2009)","journal-title":"IEEE Transactions on Multimedia"},{"issue":"6","key":"8_CR13","doi-asserted-by":"publisher","first-page":"875","DOI":"10.1109\/TRA.2002.805655","volume":"18","author":"M.D. Jeng","year":"2002","unstructured":"Jeng, M.D., Xie, X.L., Peng, M.Y.: Process Nets with Resources for Manufacturing Modeling and their Analysis. IEEE Transactions on Robotics\u00a018(6), 875\u2013889 (2002)","journal-title":"IEEE Transactions on Robotics"},{"key":"8_CR14","unstructured":"Lautenbach, K., Thiagarajan, P.S.: Analysis of a Resource Allocation Problem Using Petri Nets. In: Syre, J.C. (ed.) Proc. of the 1st European Conf. on Parallel and Distributed Processing, Cepadues Editions, Toulouse, pp. 260\u2013266 (1979)"},{"key":"8_CR15","volume-title":"Deadlock Resolution in Automated Manufacturing Systems: A Novel Petri Net Approach","author":"Z.W. Li","year":"2009","unstructured":"Li, Z.W., Zhou, M.C.: Deadlock Resolution in Automated Manufacturing Systems: A Novel Petri Net Approach. Springer, New York (2009)"},{"key":"8_CR16","doi-asserted-by":"crossref","unstructured":"L\u00f3pez-Grao, J.P., Colom, J.M.: Lender Processes Competing for Shared Resources: Beyond the S4PR Paradigm. In: Proc. of the 2006 Int. Conf. on Systems, Man and Cybernetics, pp. 3052\u20133059. IEEE (2006)","DOI":"10.1109\/ICSMC.2006.384584"},{"issue":"4","key":"8_CR17","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"},{"issue":"10","key":"8_CR18","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 Transactions on Automatic Control\u00a046(10), 1572\u20131583 (2001)","journal-title":"IEEE Transactions on Automatic Control"},{"issue":"10","key":"8_CR19","doi-asserted-by":"publisher","first-page":"1344","DOI":"10.1109\/9.633824","volume":"42","author":"S.A. Reveliotis","year":"1997","unstructured":"Reveliotis, S.A., Lawley, M.A., Ferreira, P.M.: Polynomial Complexity Deadlock Avoidance Policies for Sequential Resource Allocation Systems. IEEE Transactions on Automatic Control\u00a042(10), 1344\u20131357 (1997)","journal-title":"IEEE Transactions on Automatic Control"},{"key":"8_CR20","doi-asserted-by":"crossref","unstructured":"Silva, M.: Introducing Petri Nets. In: Di Cesare, F., Harhalakis, G., Proth, J.M., Silva, M., Vernadat, F. (eds.) Practice of Petri Nets in Manufacturing, pp. 1\u201362. Chapman and Hall (1993)","DOI":"10.1007\/978-94-011-6955-4_1"},{"key":"8_CR21","unstructured":"Tricas, F.: Deadlock Analysis, Prevention and Avoidance in Sequential Resource Allocation Systems. Ph.D. thesis. University of Zaragoza, Zaragoza (May 2003)"},{"key":"8_CR22","first-page":"272","volume-title":"Proc. of the 2005 Int. Conf. on Robotics and Automation (ICRA)","author":"F. Tricas","year":"2005","unstructured":"Tricas, F., Garc\u00eda-Valles, F., Colom, J.M., Ezpeleta, J.: A Petri Net Structure-Based Deadlock Prevention Solution for Sequential Resource Allocation Systems. In: Proc. of the 2005 Int. Conf. on Robotics and Automation (ICRA), pp. 272\u2013278. IEEE, Barcelona (2005)"},{"issue":"4","key":"8_CR23","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 Transactions on Robotics and Automation\u00a029(4), 692\u2013703 (1999)","journal-title":"IEEE Transactions on Robotics and Automation"}],"container-title":["Lecture Notes in Computer Science","Transactions on Petri Nets and Other Models of Concurrency V"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-29072-5_8.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,5,4]],"date-time":"2021-05-04T11:21:37Z","timestamp":1620127297000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-29072-5_8"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012]]},"ISBN":["9783642290718","9783642290725"],"references-count":23,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-29072-5_8","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2012]]}}}