{"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":1775028599657,"version":"3.50.1"},"reference-count":24,"publisher":"Springer Science and Business Media LLC","issue":"4","license":[{"start":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T00:00:00Z","timestamp":1330214400000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Discrete Event Dyn Syst"],"published-print":{"date-parts":[[2012,12]]},"DOI":"10.1007\/s10626-012-0132-4","type":"journal-article","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T02:21:18Z","timestamp":1330136478000},"page":"403-428","source":"Crossref","is-referenced-by-count":22,"title":["An algorithm to compute the minimal siphons in S 4 PR nets"],"prefix":"10.1007","volume":"22","author":[{"given":"Elia Esther","family":"Cano","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Carlos A.","family":"Rovetto","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jos\u00e9-Manuel","family":"Colom","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2012,2,26]]},"reference":[{"key":"132_CR1","unstructured":"Barkaoui K, Lemaire B (1989) An effective characterization of minimal deadlocks and traps in Petri nets based on graph theory. In: Proceedings of the 10th international conference on theory and application of Petri nets, Bonn, pp 1\u201322"},{"key":"132_CR2","doi-asserted-by":"crossref","first-page":"397","DOI":"10.1007\/s00170-009-1967-1","volume":"45","author":"D Chao","year":"2009","unstructured":"Chao D (2009) Direct minimal empty siphon computation using MIP. Int J Adv Manuf Technol 45:397\u2013405","journal-title":"Int J Adv Manuf Technol"},{"issue":"6","key":"132_CR3","doi-asserted-by":"crossref","first-page":"793","DOI":"10.1109\/70.650158","volume":"13","author":"F Chu","year":"1997","unstructured":"Chu F, Xie XL (1997) Deadlock analysis of Petri nets using siphons and mathematical programming. IEEE Trans Robot Autom 13(6):793\u2013804","journal-title":"IEEE Trans Robot Autom"},{"key":"132_CR4","doi-asserted-by":"crossref","unstructured":"Colom JM (2003) The resource allocation problem in flexible manufacturing systems. In: van\u00a0der Aalst W, Best E (eds) Proceedings of the 24th international conference on applications and theory of Petri nets. Lecture notes in computer science, vol 2679. Springer, Eindhoven, pp 23\u201335","DOI":"10.1007\/3-540-44919-1_3"},{"key":"132_CR5","doi-asserted-by":"crossref","first-page":"79","DOI":"10.1007\/3-540-53863-1_22","volume-title":"Advances in Petri nets 1990. Lecture notes in computer science, vol 483","author":"JM Colom","year":"1991","unstructured":"Colom JM, Silva M (1991) Convex geometry and semiflows in P\/T nets. A comparative study of algorithms for computation of minimal p-semiflows. In: Rozenberg G (ed) Advances in Petri nets 1990. Lecture notes in computer science, vol 483. Springer, Berlin, pp 79\u2013112"},{"issue":"6","key":"132_CR6","doi-asserted-by":"crossref","first-page":"844","DOI":"10.1109\/TSMCA.2005.853504","volume":"35","author":"R Cordone","year":"2005","unstructured":"Cordone R, Ferrarini L, Piroddi L (2005) Enumeration algorithms for minimal siphons in petri nets based on place constraints. IEEE Trans Syst Man Cybern, Part A Syst Humans 35(6):844\u2013854","journal-title":"IEEE Trans Syst Man Cybern, Part A Syst Humans"},{"key":"132_CR7","first-page":"126","volume-title":"Advances in Petri nets. Lecture notes in computer science, vol 674","author":"J Ezpeleta","year":"1993","unstructured":"Ezpeleta J, Couvreur JM, Silva M (1993) A new technique for finding a generating family of siphons, traps and ST-components. Application to colored Petri nets. In: Advances in Petri nets. Lecture notes in computer science, vol 674. Springer, New York, pp 126\u2013147"},{"issue":"2","key":"132_CR8","doi-asserted-by":"crossref","first-page":"173","DOI":"10.1109\/70.370500","volume":"11","author":"J Ezpeleta","year":"1995","unstructured":"Ezpeleta J, Colom JM, Mart\u00ednez J (1995) A Petri net based deadlock prevention policy for flexible manufacturing systems. IEEE Trans Robot Autom 11(2):173\u2013184","journal-title":"IEEE Trans Robot Autom"},{"key":"132_CR9","doi-asserted-by":"crossref","first-page":"64","DOI":"10.1007\/3-540-69108-1_5","volume-title":"Application and theory of Petri nets 1998. Lecture notes in computer science, vol 1420","author":"J Ezpeleta","year":"1998","unstructured":"Ezpeleta J, Garc\u00eda-Vall\u00e9s F, Colom J (1998) A class of well structured petri nets for flexible manufacturing systems. In: Desel J, Silva M (eds) Application and theory of Petri nets 1998. Lecture notes in computer science, vol 1420. Springer, Berlin, pp\u00a064\u201383"},{"key":"132_CR10","doi-asserted-by":"crossref","first-page":"315","DOI":"10.1007\/978-3-642-72822-8_21","volume-title":"Concurrency and nets","author":"K Lautenbach","year":"1987","unstructured":"Lautenbach K (1987) Linear algebraic calculation of deadlocks and traps. In: Voss K, Genrich HJ, Rozenberg G (eds) Concurrency and nets. Springer, New York, pp 315\u2013336"},{"issue":"3","key":"132_CR11","doi-asserted-by":"crossref","first-page":"667","DOI":"10.1109\/TSMCA.2008.918605","volume":"38","author":"ZW Li","year":"2008","unstructured":"Li ZW, Zhou MC (2008) On siphon computation for deadlock control in a class of Petri nets. IEEE Trans Syst Man Cybern Part A Syst Humans 38(3):667\u2013679","journal-title":"IEEE Trans Syst Man Cybern Part A Syst Humans"},{"key":"132_CR12","volume-title":"Advances in industrial control","author":"Z Li","year":"2009","unstructured":"Li Z, Zhou MC (2009) Deadlock resolution in automated manufacturing systems: a novel Petri net approach. In: Advances in industrial control. Springer, New York"},{"issue":"1","key":"132_CR13","doi-asserted-by":"crossref","first-page":"182","DOI":"10.1109\/TASE.2006.884674","volume":"5","author":"Z Li","year":"2008","unstructured":"Li Z, Zhou MC, Jeng M (2008) A maximally permissive deadlock prevention policy for FMS based on Petri net siphon control and the theory of regions. IEEE Trans Autom Sci Eng 5(1):182\u2013188","journal-title":"IEEE Trans Autom Sci Eng"},{"key":"132_CR14","unstructured":"Lopez-Grao JP, Colom JM (2010) The resource allocation problem in software applications: a Petri net perspective. In: Proceedings of the international workshop on Petri nets and software engineering PNSE\u201910, Braga, Portugal, pp 7\u201321"},{"issue":"4","key":"132_CR15","doi-asserted-by":"crossref","first-page":"541","DOI":"10.1109\/5.24143","volume":"77","author":"T Murata","year":"1989","unstructured":"Murata T (1989) Petri nets: properties, analysis and applications. Proc IEEE 77(4):541\u2013580","journal-title":"Proc IEEE"},{"key":"132_CR16","doi-asserted-by":"crossref","first-page":"241","DOI":"10.1007\/3-540-44919-1_17","volume-title":"Applications and theory of Petri nets 2003. Lecture notes in computer science, vol 2679","author":"S Reveliotis","year":"2003","unstructured":"Reveliotis S (2003) On the siphon-based characterization of liveness in sequential resource allocation systems. In: van der Aalst W, Best E (eds) Applications and theory of Petri nets 2003. Lecture notes in computer science, vol 2679. Springer, Berlin, pp 241\u2013255"},{"key":"132_CR17","volume-title":"Real-time management of resource allocation systems","author":"SA Reveliotis","year":"2005","unstructured":"Reveliotis SA (2005) Real-time management of resource allocation systems. A discrete event systems approach. Springer, New York"},{"key":"132_CR18","doi-asserted-by":"crossref","unstructured":"Rovetto CA, Cano EE, Colom JM (2010) Deadlock analysis in minimal adaptive routing algorithms using petri nets. In: IEEE international conference on systems man and cybernetics (SMC), 2010, Istanbul, Turkey, pp 2619\u20132626","DOI":"10.1109\/ICSMC.2010.5641904"},{"key":"132_CR19","unstructured":"Tricas F (2003) Analysis, prevention and avoidance of deadlocks in sequential resource allocation systems. PhD thesis, Zaragoza. Espa\u00f1a, Departamento de Ingenier\u00eda El\u00e9ctrica e Inform\u00e1tica, Universidad de Zaragoza"},{"key":"132_CR20","doi-asserted-by":"crossref","unstructured":"Tricas F, Garc\u00eda-Vall\u00e9s F, Colom JM, Ezpeleta J (2005) A Petri net structure-based deadlock prevention solution for sequential resource allocation systems. In: Proceedings of the 2005 IEEE international conference on robotics and automation, Barcelona, Spain, pp 272\u2013278","DOI":"10.1109\/ROBOT.2005.1570131"},{"issue":"4","key":"132_CR21","doi-asserted-by":"crossref","first-page":"912","DOI":"10.1109\/TSMCA.2009.2019880","volume":"39","author":"AR Wang","year":"2009","unstructured":"Wang AR, Li ZW, Jia JY, Zhou MC (2009a) An effective algorithm to find elementary siphons in a class of Petri nets. IEEE Trans Syst Man Cybern Part A Syst Humans 39(4):912\u2013923","journal-title":"IEEE Trans Syst Man Cybern Part A Syst Humans"},{"key":"132_CR22","doi-asserted-by":"crossref","unstructured":"Wang Y, Liao H, Reveliotis S, Kelly T, Mahlke S, Lafortune S (2009b) Gadara nets: modeling and analyzing lock allocation for deadlock avoidance in multithreaded software. In: Proceedings of the 48th IEEE conference on decision and control, 2009 held jointly with the 2009 28th Chinese control conference. CDC\/CCC 2009, pp 497\u20134976","DOI":"10.1109\/CDC.2009.5399950"},{"issue":"9","key":"132_CR23","doi-asserted-by":"crossref","first-page":"681","DOI":"10.2307\/2322281","volume":"93","author":"HP Williams","year":"1986","unstructured":"Williams HP (1986) Fourier\u2019s method of linear programming and its dual. Am Math Mon 93(9):681\u2013695","journal-title":"Am Math Mon"},{"issue":"1","key":"132_CR24","doi-asserted-by":"crossref","first-page":"74","DOI":"10.1109\/TSMCA.2010.2048898","volume":"41","author":"K Xing","year":"2011","unstructured":"Xing K, Zhou MC, Wang F, Liu H, Tian F (2011) Resource-transition circuits and siphons for deadlock control of automated manufacturing systems. IEEE Trans Syst Man Cybern Part A Syst Humans 41(1):74\u201384","journal-title":"IEEE Trans Syst Man Cybern Part A Syst Humans"}],"container-title":["Discrete Event Dynamic Systems"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10626-012-0132-4.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10626-012-0132-4\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10626-012-0132-4","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,24]],"date-time":"2019-06-24T08:10:06Z","timestamp":1561363806000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10626-012-0132-4"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012,2,26]]},"references-count":24,"journal-issue":{"issue":"4","published-print":{"date-parts":[[2012,12]]}},"alternative-id":["132"],"URL":"https:\/\/doi.org\/10.1007\/s10626-012-0132-4","relation":{},"ISSN":["0924-6703","1573-7594"],"issn-type":[{"value":"0924-6703","type":"print"},{"value":"1573-7594","type":"electronic"}],"subject":[],"published":{"date-parts":[[2012,2,26]]}}}