{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,6]],"date-time":"2025-11-06T19:57:12Z","timestamp":1762459032446,"version":"3.40.3"},"publisher-location":"London","reference-count":25,"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_11","type":"book-chapter","created":{"date-parts":[[2012,7,26]],"date-time":"2012-07-26T18:19:09Z","timestamp":1343326749000},"page":"213-233","source":"Crossref","is-referenced-by-count":6,"title":["Structural Analysis of Petri Nets"],"prefix":"10.1007","author":[{"given":"Maria Paola","family":"Cabasino","sequence":"first","affiliation":[]},{"given":"Alessandro","family":"Giua","sequence":"additional","affiliation":[]},{"given":"Carla","family":"Seatzu","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"11_CR1","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":"11_CR2","unstructured":"David, R., Alla, H.: Discrete, Continuous and Hybrid Petri Nets. Springer (2005)"},{"key":"11_CR3","doi-asserted-by":"crossref","unstructured":"Desel, J., Esparza, J.: Free Choice Petri Nets. Cambridge University Press (1995)","DOI":"10.1017\/CBO9780511526558"},{"issue":"2","key":"11_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., 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":"11_CR5","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 nonsequential 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":"6","key":"11_CR6","doi-asserted-by":"publisher","first-page":"1234","DOI":"10.1109\/TSMCA.2006.878963","volume":"36","author":"J. Ezpeleta","year":"2006","unstructured":"Ezpeleta, J., Valk, R.: A polynomial deadlock avoidance method for a class of nonsequential resource allocation systems. IEEE Transactions on Systems, Man and Cybernetics, Part A: Systems and Humans\u00a036(6), 1234\u20131243 (2006)","journal-title":"IEEE Transactions on Systems, Man and Cybernetics, Part A: Systems and Humans"},{"key":"11_CR7","unstructured":"Fanti, M.P., Zhou, M.: Deadlock Resolution in Computer-Integrated Systems. Marcel Dekker\/CRC Press (2005)"},{"key":"11_CR8","volume-title":"Rapport de Recherche","author":"A. Finkel","year":"1989","unstructured":"Finkel, A., Johnen, C.: The home state problem in transition systems. In: Rapport de Recherche, vol.\u00a0471. Univ. de Paris-Sud., Centre d\u2019Orsay (1989)"},{"issue":"2","key":"11_CR9","doi-asserted-by":"publisher","first-page":"147","DOI":"10.1016\/S0022-0000(69)80011-5","volume":"3","author":"R. Karp","year":"1969","unstructured":"Karp, R., Miller, C.: Parallel program schemata. Journal of Computer and System Sciences\u00a03(2), 147\u2013195 (1969)","journal-title":"Journal of Computer and System Sciences"},{"key":"11_CR10","unstructured":"Li, Z., Zhou, M.: Deadlock Resolution in Automated Manufacturing Systems. Springer (2009)"},{"key":"11_CR11","doi-asserted-by":"crossref","unstructured":"Liao, H., Lafortune, S., Reveliotis, S., Wang, Y., Mahlke, S.: Synthesis of maximally-permissive liveness-enforcing control policies for Gadara Petri nets. In: 49th IEEE Conference on Decision and Control, Atlanta, USA (2010)","DOI":"10.1109\/CDC.2010.5716934"},{"key":"11_CR12","doi-asserted-by":"crossref","unstructured":"Martinez, J., Silva, M.: A simple and fast algorithm to obtain all invariants of a generalized Petri net. In: Informatik-Fachberichte: Application and Theory of Petri Nets, vol. 52. Springer (1982)","DOI":"10.1007\/978-3-642-68353-4_47"},{"issue":"4","key":"11_CR13","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 IEEE\u00a077(4), 541\u2013580 (1989)","journal-title":"Proceedings IEEE"},{"key":"11_CR14","unstructured":"Peterson, J.L.: Petri Net Theory and the Modeling of Systems. Prentice-Hall (1981)"},{"key":"11_CR15","unstructured":"Petri, C.A.: Kommunication Mit Automaten. Institut f\u00fcr Instrumentelle, Mathematik (Bonn, Germany) Schriften des IIM\u00a03 (1962)"},{"key":"11_CR16","doi-asserted-by":"crossref","unstructured":"Recalde, L., Mahulea, C., Silva, M.: Improving analysis and simulation of continuous Petri nets. In: 2nd IEEE Conf. on Automation Science and Engineering, Shanghai, China (2006)","DOI":"10.1109\/COASE.2006.326847"},{"key":"11_CR17","unstructured":"Reisig, W.: Petri Nets: an Introduction. EATCS Monographs on Theoretical Computer Science (1985)"},{"key":"11_CR18","unstructured":"Reutenauer, C.: Aspects Math\u00e9matiques des R\u00e9seaux de Petri. Prentice-Hall International (1990)"},{"key":"11_CR19","unstructured":"Silva, M., Velilla, S.: Error detection and correction on Petri net models of discrete control systems. In: IEEE Int. Symp. on Circuits and Systems, Kyoto, Japan (1985)"},{"issue":"11","key":"11_CR20","first-page":"223","volume":"8","author":"M. Silva","year":"1998","unstructured":"Silva, M., Recalde, L., Teruel, E.: On linear algebraic techniques for liveness analysis of P\/T systems. Journal of Circuits, Systems and Computers\u00a08(11), 223\u2013265 (1998)","journal-title":"Journal of Circuits, Systems and Computers"},{"key":"11_CR21","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"309","DOI":"10.1007\/3-540-65306-6_19","volume-title":"Lectures on Petri Nets I: Basic Models","author":"M. Silva","year":"1998","unstructured":"Silva, M., Teruel, E., Colom, J.M.: Linear Algebraic and Linear Programming Techniques for the Analysis of Net Systems. In: Reisig, W., Rozenberg, G. (eds.) APN 1998. LNCS, vol.\u00a01491, pp. 309\u2013373. Springer, Heidelberg (1998)"},{"key":"11_CR22","unstructured":"Silva, M., Campos, J.: Performance evaluation of DEDS with conflicts and synchronizations: net-driven decomposition techniques. In: 4th Int. Workshop on Discrete Event Systems, Cagliari, Italy (1998)"},{"key":"11_CR23","unstructured":"Tricas, F., Ezpeleta, J.: Some results on siphon computation for deadlock prevention in resource allocation systems modeled with Petri nets. In: IEEE Conf. on Emerging Technologies and Factory Automation, Lisbon, Portugal (2003)"},{"issue":"3","key":"11_CR24","doi-asserted-by":"publisher","first-page":"532","DOI":"10.1109\/TSMCA.2005.855751","volume":"36","author":"F. Tricas","year":"2006","unstructured":"Tricas, F., Ezpeleta, J.: Computing minimal siphons in Petri net models of resource allocation systems: a parallel solution. IEEE Transactions on Systems, Man and Cybernetics, Part A: Systems and Humans\u00a036(3), 532\u2013539 (2006)","journal-title":"IEEE Transactions on Systems, Man and Cybernetics, Part A: Systems and Humans"},{"key":"11_CR25","doi-asserted-by":"crossref","unstructured":"Wang, L., Mahulea, C., Julvez, J., Silva, M.: Decentralized control of large scale systems modeled with continuous marked graphs. In: 18th IFAC World Congress, Milano, Italy (2011)","DOI":"10.3182\/20110828-6-IT-1002.00859"}],"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_11","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,2,19]],"date-time":"2023-02-19T02:42:39Z","timestamp":1676774559000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-1-4471-4276-8_11"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013]]},"ISBN":["9781447142751","9781447142768"],"references-count":25,"URL":"https:\/\/doi.org\/10.1007\/978-1-4471-4276-8_11","relation":{},"ISSN":["0170-8643","1610-7411"],"issn-type":[{"type":"print","value":"0170-8643"},{"type":"electronic","value":"1610-7411"}],"subject":[],"published":{"date-parts":[[2013]]}}}