{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,27]],"date-time":"2025-03-27T05:18:19Z","timestamp":1743052699484,"version":"3.40.3"},"publisher-location":"London","reference-count":30,"publisher":"Springer London","isbn-type":[{"type":"print","value":"9781447142751"},{"type":"electronic","value":"9781447142768"}],"license":[{"start":{"date-parts":[[2013,1,1]],"date-time":"2013-01-01T00:00:00Z","timestamp":1356998400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2013,1,1]],"date-time":"2013-01-01T00:00:00Z","timestamp":1356998400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013]]},"DOI":"10.1007\/978-1-4471-4276-8_13","type":"book-chapter","created":{"date-parts":[[2012,7,26]],"date-time":"2012-07-26T18:19:09Z","timestamp":1343326749000},"page":"257-278","source":"Crossref","is-referenced-by-count":3,"title":["Structural Methods for the Control of Discrete Event Dynamic Systems \u2013 The Case of the Resource Allocation Problem"],"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":[{"key":"13_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"},{"key":"13_CR2","doi-asserted-by":"crossref","unstructured":"Cano, E.-E., Rovetto, C.-A., Colom, J.-M.: On the Computation of the Minimal Siphons of S4PR nets from a Generating Family of Siphons. In: Proc. 15th IEEE International Conference on Emerging Technologies and Factory Automation, Bilbao, Spain (2010)","DOI":"10.1109\/ETFA.2010.5641317"},{"issue":"6","key":"13_CR3","doi-asserted-by":"publisher","first-page":"793","DOI":"10.1109\/70.650158","volume":"13","author":"F. Chu","year":"1997","unstructured":"Chu, F., Xie, X.: Deadlock Analysis of Petri Nets using Siphons and Mathematical Programming. IEEE Transactions on Robotics and Automation\u00a013(6), 793\u2013804 (1997)","journal-title":"IEEE Transactions on Robotics and Automation"},{"key":"13_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"113","DOI":"10.1007\/3-540-53863-1_23","volume-title":"Advances in Petri Nets 1990","author":"J.M. Colom","year":"1991","unstructured":"Colom, J.M., Silva, M.: Improving the Linearly Based Characterization of P\/T Nets. In: Rozenberg, G. (ed.) APN 1990. LNCS, vol.\u00a0483, pp. 113\u2013145. Springer, Heidelberg (1991)"},{"key":"13_CR5","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":"11","key":"13_CR6","doi-asserted-by":"publisher","first-page":"173","DOI":"10.1109\/70.370500","volume":"2","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\u00a02(11), 173\u2013184 (1995)","journal-title":"IEEE Transactions on Robotics and Automation"},{"key":"13_CR7","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., Garcia-Vall\u00e9s, 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)"},{"issue":"4","key":"13_CR8","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\u2013Vall\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":"1","key":"13_CR9","doi-asserted-by":"publisher","first-page":"93","DOI":"10.1109\/TSMCA.2003.820575","volume":"34","author":"J. Ezpeleta","year":"2004","unstructured":"Ezpeleta, J., Recalde, L.: A Deadlock Avoidance Approach for Non\u2013Sequential Resource Allocation Systems. IEEE Transactions on Systems, Man and Cybernetics, Part A: Systems and Humans\u00a034(1), 93\u2013101 (2004)","journal-title":"IEEE Transactions on Systems, Man and Cybernetics, Part A: Systems and Humans"},{"issue":"3","key":"13_CR10","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"},{"issue":"1","key":"13_CR11","doi-asserted-by":"publisher","first-page":"137","DOI":"10.1109\/TRA.2002.807555","volume":"19","author":"A. Ghaffari","year":"2003","unstructured":"Ghaffari, A., Rezg, N., Xie, X.: Design of a Live and Maximally Permissive Petri Net Controller using the Theory of Regions. IEEE Transactions on Robotics\u00a019(1), 137\u2013141 (2003)","journal-title":"IEEE Transactions on Robotics"},{"issue":"4","key":"13_CR12","doi-asserted-by":"publisher","first-page":"794","DOI":"10.1109\/TASE.2011.2156783","volume":"8","author":"H. Hu","year":"2011","unstructured":"Hu, H., Zhou, M.C., Li, Z.W.: Supervisor Optimization for Deadlock Resolution in Automated Manufacturing Systems With Petri Nets. IEEE Transactions on Automation Science and Engineering\u00a08(4), 794\u2013804 (2011)","journal-title":"IEEE Transactions on Automation Science and Engineering"},{"issue":"6","key":"13_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":"13_CR14","unstructured":"Lautenbach, K., Thiagarajan, P.S.: Analysis of a Resource Allocation Problem Using Petri Nets. In: Proc. 1st European Conf. on Parallel and Distributed Processing, France (1979)"},{"issue":"1","key":"13_CR15","doi-asserted-by":"publisher","first-page":"133","DOI":"10.1109\/TSMCA.2007.909548","volume":"38","author":"Z.-W. Li","year":"2008","unstructured":"Li, Z.-W., Zhou, M.-C.: Control of Elementary and Dependent Siphons in Petri Nets and Their Application. IEEE Transactions on Systems, Man and Cybernetics, Part A: Systems and Humans\u00a038(1), 133\u2013148 (2008)","journal-title":"IEEE Transactions on Systems, Man and Cybernetics, Part A: Systems and Humans"},{"key":"13_CR16","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":"13_CR17","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"323","DOI":"10.1007\/11888116_24","volume-title":"Formal Techniques for Networked and Distributed Systems - FORTE 2006","author":"J.-P. L\u00f3pez-Grao","year":"2006","unstructured":"L\u00f3pez-Grao, J.-P., Colom, J.-M.: Resource Allocation Systems: Some Complexity Results on the S4PR Class. In: Najm, E., Pradat-Peyre, J.-F., Donzeau-Gouge, V.V. (eds.) FORTE 2006. LNCS, vol.\u00a04229, pp. 323\u2013338. Springer, Heidelberg (2006)"},{"key":"13_CR18","doi-asserted-by":"crossref","unstructured":"L\u00f3pez\u2013Grao, J.-P., Colom, J.-M.: Lender Processes Competing for Shared Resources: Beyond the S4PR Paradigm. In: Proc. 2006 IEEE Int. Conf. on Systems, Man and Cybernetics, Taipei, Taiwan (2006)","DOI":"10.1109\/ICSMC.2006.384584"},{"key":"13_CR19","unstructured":"L\u00f3pez\u2013Grao, J.-P., Colom, J.-M.: On the Deadlock Analysis of Multithreaded Control Software. In: Proc. 16th IEEE Int. Conf. on Emerging Technologies and Factory Automation, Toulouse, France (2006)"},{"key":"13_CR20","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"181","DOI":"10.1007\/978-3-642-29072-5_8","volume-title":"Transactions on Petri Nets and Other Models of Concurrency V","author":"J.-P. L\u00f3pez-Grao","year":"2012","unstructured":"L\u00f3pez-Grao, J.-P., Colom, J.-M.: A Petri Net Perspective on the Resource Allocation Problem in Software Engineering. In: Jensen, K., Donatelli, S., Kleijn, J. (eds.) Transactions on Petri Nets and Other Models of Concurrency V. LNCS, vol.\u00a06900, pp. 181\u2013200. Springer, Heidelberg (2012)"},{"key":"13_CR21","unstructured":"L\u00f3pez\u2013Grao, J.-P.: Contributions to the Deadlock Problem in Multithreaded Software Applications Observed as Resource Allocation Systems. PhD Thesis. University of Zaragoza, Spain (2012)"},{"issue":"10","key":"13_CR22","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":"3","key":"13_CR23","doi-asserted-by":"publisher","first-page":"650","DOI":"10.1109\/TSMCA.2009.2013189","volume":"39","author":"L. Piroddi","year":"2009","unstructured":"Piroddi, L., Cordone, R., Fumagalli, I.: Combined Siphon and Marking Generation for Deadlock Prevention in Petri Nets. IEEE Transactions on Systems, Man and Cybernetics, Part A: Systems and Humans\u00a039(3), 650\u2013661 (2009)","journal-title":"IEEE Transactions on Systems, Man and Cybernetics, Part A: Systems and Humans"},{"key":"13_CR24","unstructured":"Reveliotis, S.A.: Real-Time Management of Resource Allocation Systems: A Discrete Event Systems Approach. International Series in Operations Research & Management Science (2004)"},{"key":"13_CR25","unstructured":"Rovetto, C.-A.: M\u00e9todos Basados en Redes de Petri para el Dise\u00f1o de Algoritmos de Encaminamiento Adaptativos M\u00ednimos Libres de Bloqueos. PhD Thesis. University of Zaragoza, Spain (2011)"},{"key":"13_CR26","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"386","DOI":"10.1007\/3-540-50580-6_39","volume-title":"Advances in Petri Nets 1988","author":"M. Silva","year":"1988","unstructured":"Silva, M., Colom, J.-M.: On the Computation of Structural Synchronic Invariants in P\/T Nets. In: Rozenberg, G. (ed.) APN 1988. LNCS, vol.\u00a0340, pp. 386\u2013417. Springer, Heidelberg (1988)"},{"key":"13_CR27","unstructured":"Tricas, F.: Deadlock Analysis, Prevention and Avoidance in Sequential Resource Allocation Systems. PhD Thesis. University of Zaragoza, Spain (2003)"},{"key":"13_CR28","unstructured":"Tricas, F., Garc\u00eda\u2013Valles, F., Colom, J.-M., Ezpeleta, J.: A Petri net Structure-Based Deadlock Prevention Solution for Sequential Resource Allocation Systems. In: Proc. 2005 Int. Conf. on Robotics and Automation, Barcelona, Spain (2005)"},{"issue":"4","key":"13_CR29","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"},{"key":"13_CR30","doi-asserted-by":"crossref","unstructured":"Wang, Y., Liao, H., Reveliotis, S.A., Kelly, T., Mahlke, S., Lafortune, S.: Gadara Nets: Modeling and Analyzing Lock Allocation for Deadlock Avoidance in Multithreaded Software. In: Proc. 49th IEEE Conf. on Decision and Control, Atlanta, Georgia, USA (2009)","DOI":"10.1109\/CDC.2009.5399950"}],"container-title":["Lecture Notes in Control and Information Sciences","Control of Discrete-Event Systems"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-1-4471-4276-8_13","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,2,1]],"date-time":"2023-02-01T00:00:18Z","timestamp":1675209618000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-1-4471-4276-8_13"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013]]},"ISBN":["9781447142751","9781447142768"],"references-count":30,"URL":"https:\/\/doi.org\/10.1007\/978-1-4471-4276-8_13","relation":{},"ISSN":["0170-8643","1610-7411"],"issn-type":[{"type":"print","value":"0170-8643"},{"type":"electronic","value":"1610-7411"}],"subject":[],"published":{"date-parts":[[2013]]}}}