{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,1]],"date-time":"2026-04-01T07:29:56Z","timestamp":1775028596602,"version":"3.50.1"},"publisher-location":"Berlin, Heidelberg","reference-count":24,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540403340","type":"print"},{"value":"9783540449195","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2003]]},"DOI":"10.1007\/3-540-44919-1_17","type":"book-chapter","created":{"date-parts":[[2007,9,3]],"date-time":"2007-09-03T00:38:42Z","timestamp":1188779922000},"page":"241-255","source":"Crossref","is-referenced-by-count":31,"title":["On the Siphon-Based Characterization of Liveness in Sequential Resource Allocation Systems"],"prefix":"10.1007","author":[{"given":"Spyros A.","family":"Reveliotis","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2003,5,27]]},"reference":[{"key":"17_CR1","unstructured":"K. Barkaoui and I. Ben Abdallah. Analysis of a resource allocation problem in fms using structure theory of petri nets. In Proc. of the 1st Intl Workshop on Manufacturing and Petri Nets, pages 1\u201315, 1996."},{"key":"17_CR2","doi-asserted-by":"crossref","unstructured":"K. Barkaoui, A. Chaoui, and B. Zouari. Supervisory control of discrete event systems based on structure theory of petri nets. In Proc. of the IEEE Intl Conf. on Systems, Man and Cybernetics, pages 3750\u20133755. IEEE, 1997.","DOI":"10.1109\/ICSMC.1997.633253"},{"key":"17_CR3","first-page":"793","volume":"13","author":"F. Chu","year":"1997","unstructured":"F. Chu and X-L. Xie. Deadlock analysis of petri nets using siphons and mathematical programming. IEEE Trans. on R&A, 13:793\u2013804, 1997.","journal-title":"IEEE Trans. on R&A"},{"key":"17_CR4","doi-asserted-by":"crossref","unstructured":"J. Desel and J. Esparza. Free Choice Petri Nets. Cambridge Univerrsity Press, 1995.","DOI":"10.1017\/CBO9780511526558"},{"key":"17_CR5","first-page":"173","volume":"11","author":"J. Ezpeleta","year":"1995","unstructured":"J. Ezpeleta, J. M. Colom, and J. Martinez. A petri net based deadlock prevention policy for flexible manufacturing systems. IEEE Trans. on R&A, 11:173\u2013184, 1995.","journal-title":"IEEE Trans. on R&A"},{"key":"17_CR6","doi-asserted-by":"publisher","first-page":"347","DOI":"10.1109\/70.585898","volume":"13","author":"M. P. Fanti","year":"1997","unstructured":"M. P. Fanti, B. Maione, S. Mascolo, and B. Turchiano. Event-based feedback control for deadlock avoidance in flexible production systems. IEEE Trans. on Robotics and Automation, 13:347\u2013363, 1997.","journal-title":"IEEE Trans. on Robotics and Automation"},{"key":"17_CR7","doi-asserted-by":"publisher","first-page":"783","DOI":"10.1109\/3477.875452","volume":"30","author":"M. P. Fanti","year":"2000","unstructured":"M. P. Fanti, B. Maione, and T. Turchiano. Comparing digraph and petri net approaches to deadlock avoidance in fms modeling and performance analysis. IEEE Trans. on Systems, Man and Cybernetics, Part B, 30:783\u2013798, 2000.","journal-title":"IEEE Trans. on Systems, Man and Cybernetics, Part B"},{"key":"17_CR8","doi-asserted-by":"publisher","first-page":"576","DOI":"10.1109\/70.964659","volume":"17","author":"M. Jeng","year":"2001","unstructured":"M. Jeng and X. Xie. Modeling and analysis of semiconductor manufacturing systems with degraded behaviors using petri nets and siphons. IEEE Trans. on Robotics and Automation, 17:576\u2013588, 2001.","journal-title":"IEEE Trans. on Robotics and Automation"},{"key":"17_CR9","doi-asserted-by":"publisher","first-page":"73","DOI":"10.1023\/A:1007969601583","volume":"10","author":"M. Lawley","year":"1998","unstructured":"M. Lawley, S. Reveliotis, and P. Ferreira. The application and evaluation of banker\u2019s algorithm for deadlock-free buffer space allocation in flexible manufacturing systems. Intl. Jrnl. of Flexible Manufacturing Systems, 10:73\u2013100, 1998.","journal-title":"Intl. Jrnl. of Flexible Manufacturing Systems"},{"key":"17_CR10","doi-asserted-by":"publisher","first-page":"497","DOI":"10.1109\/70.768182","volume":"15","author":"M. A. Lawley","year":"1999","unstructured":"M. A. Lawley. Deadlock avoidance for production systems with flexible routing. IEEE Trans. Robotics & Automation, 15:497\u2013509, 1999.","journal-title":"IEEE Trans. Robotics & Automation"},{"key":"17_CR11","doi-asserted-by":"publisher","first-page":"541","DOI":"10.1109\/5.24143","volume":"77","author":"T. Murata","year":"1989","unstructured":"T. Murata. Petri nets: Properties, analysis and applications. Proceedings of the IEEE, 77:541\u2013580, 1989.","journal-title":"Proceedings of the IEEE"},{"key":"17_CR12","volume-title":"Structural Analysis and Control of Resource Allocation Systems using Petri nets","author":"J. Park","year":"2000","unstructured":"J. Park. Structural Analysis and Control of Resource Allocation Systems using Petri nets. PhD thesis, Georgia Institute of Technology, Atlanta, GA, 2000."},{"key":"17_CR13","first-page":"190","volume":"16","author":"J. Park","year":"2000","unstructured":"J. Park and S. Reveliotis. Algebraic synthesis of efficient deadlock avoidance policies for sequential resource allocation systems. IEEE Trans. on R&A, 16:190\u2013195, 2000.","journal-title":"IEEE Trans. on R&A"},{"key":"17_CR14","unstructured":"J. Park and S. A. Reveliotis. A polynomial-complexity deadlock avoidance policy for sequential resource allocation systems with multiple resource acquisitions and flexible routings. In Proc. of CDC 2000. IEEE, 2000."},{"key":"17_CR15","doi-asserted-by":"publisher","first-page":"1572","DOI":"10.1109\/9.956052","volume":"46","author":"J. Park","year":"2001","unstructured":"J. Park and S. A. Reveliotis. Deadlock avoidance in sequential resource allocation systems with multiple resource acquisitions and flexible routings. IEEE Trans. on Automatic Control, 46:1572\u20131583, 2001.","journal-title":"IEEE Trans. on Automatic Control"},{"key":"17_CR16","doi-asserted-by":"crossref","unstructured":"S. Reveliotis. Liveness enforcing supervision for sequential resource allocation systems: State of the art and open issues. In B. Caillaud, X. Xie, P. Darondeau, and L. Lavagno, editors, Synthesis and Control of Discrete Event Systems, pages 203\u2013212. Kluwer Academic Publishers, 2002.","DOI":"10.1007\/978-1-4757-6656-1_13"},{"key":"17_CR17","unstructured":"S. A. Reveliotis. Structural analysis of assembly\/disassembly resource allocation systems. Technical report, School of Industrial & Systems Eng., Georgia Tech, accessible at: http:\/\/www.isye.gatech.edu\/~spyros, 2001."},{"key":"17_CR18","doi-asserted-by":"publisher","first-page":"845","DOI":"10.1109\/70.544768","volume":"12","author":"S. A. Reveliotis","year":"1996","unstructured":"S. A. Reveliotis and P. M. Ferreira. Deadlock avoidance policies for automated manufacturing cells. IEEE Trans. on Robotics & Automation, 12:845\u2013857, 1996.","journal-title":"IEEE Trans. on Robotics & Automation"},{"key":"17_CR19","doi-asserted-by":"crossref","unstructured":"S. A. Reveliotis, M. A. Lawley, and P. M. Ferreira. Structural control of large-scale flexibly automated manufacturing systems. In C. T. Leondes, editor, The Design of Manufacturing Systems, pages 4-1\u20134-34. CRC Press, 2001.","DOI":"10.1201\/9781420050035.ch4"},{"key":"17_CR20","unstructured":"F. Tricas, J. M. Colom, and J. Ezpeleta. A solution to the problem of deadlock in concurrent systems using petri nets and integer linear programming. In Proceedings of the 11th Eurpoean Simulation Symposium, pages 542\u2013546, 1999."},{"key":"17_CR21","unstructured":"F. Tricas, F. Garcia-Valles, J. M. Colom, and J. Ezpeleta. A structural approach to the problem of deadlock prevention in processes with resources. In Proceedings of the 4th Workshop on Discrete Event Systems, pages 273\u2013278. IEE, 1998."},{"key":"17_CR22","unstructured":"W. Van der Aalst. Structural characterizations of sound workflow nets. Technical Report Computing Science Reports 96\/23, Eindhoven University of Technology, 1996."},{"key":"17_CR23","doi-asserted-by":"crossref","unstructured":"W. Van der Aalst. Verification of workflow nets. In P. Azema and G. Balbo, editors, Lecture Notes in Computer Science, Vol. 1248, pages 407\u2013426. Springer Verlag, 1997.","DOI":"10.1007\/3-540-63139-9_48"},{"key":"17_CR24","first-page":"692","volume":"13","author":"X. Xie","year":"1999","unstructured":"X. Xie and M. Jeng. Ercn-merged nets and their analysis using siphons. IEEE Trans. on R&A, 13:692\u2013703, 1999.","journal-title":"IEEE Trans. on R&A"}],"container-title":["Lecture Notes in Computer Science","Applications and Theory of Petri Nets 2003"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-44919-1_17","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,1,20]],"date-time":"2025-01-20T20:27:02Z","timestamp":1737404822000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-44919-1_17"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2003]]},"ISBN":["9783540403340","9783540449195"],"references-count":24,"URL":"https:\/\/doi.org\/10.1007\/3-540-44919-1_17","relation":{},"ISSN":["0302-9743"],"issn-type":[{"value":"0302-9743","type":"print"}],"subject":[],"published":{"date-parts":[[2003]]}}}