{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,30]],"date-time":"2025-03-30T09:47:52Z","timestamp":1743328072555},"publisher-location":"Berlin, Heidelberg","reference-count":13,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540422525"},{"type":"electronic","value":"9783540457404"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2001]]},"DOI":"10.1007\/3-540-45740-2_12","type":"book-chapter","created":{"date-parts":[[2007,11,15]],"date-time":"2007-11-15T15:30:51Z","timestamp":1195140651000},"page":"184-203","source":"Crossref","is-referenced-by-count":6,"title":["Generalized Conditions for Liveness Enforcement and Deadlock Prevention in Petri Nets"],"prefix":"10.1007","author":[{"given":"Marian V.","family":"Iordache","sequence":"first","affiliation":[]},{"given":"Panos J.","family":"Antsaklis","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2001,6,28]]},"reference":[{"key":"12_CR1","doi-asserted-by":"crossref","first-page":"57","DOI":"10.1007\/3-540-61363-3_4","volume":"1091","author":"K. Barkaoui","year":"1996","unstructured":"K. Barkaoui and J. F. Pradat-Peyre. On liveness andcon trolledsiphons in Petri nets. In Lecture Notes in Computer Science: 17th International Conference in Application and Theory of Petri Nets (ICATPN\u201996), Osaka, Japan, volume 1091, pages 57\u201372. Springer-Verlag, June 1996.","journal-title":"Lecture Notes in Computer Science: 17th International Conference in Application and Theory of Petri Nets (ICATPN\u201996), Osaka, Japan"},{"key":"12_CR2","doi-asserted-by":"crossref","unstructured":"J. Desel and J. Esparza. Free Choice Petri nets. Number 40 in Cambridge Tracts in Theoretical Computer Science. Cambridge University Press, 1995.","DOI":"10.1017\/CBO9780511526558"},{"key":"12_CR3","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"122","DOI":"10.1007\/3-540-65306-6_15","volume-title":"Place\/transition petri nets","author":"J. Desel","year":"1998","unstructured":"J. Desel and W. Reisig. Place\/transition petri nets. Lecture Notes in Computer Science: Lectures on Petri Nets I: Basic Models, 1491:122\u2013173, 1998."},{"key":"12_CR4","doi-asserted-by":"crossref","unstructured":"K. X. He and M. D. Lemmon. Liveness verification of discrete event systems modeled by n-safe ordinary Petri nets. In Nielsen, M. and Simpson, D., editors, Lecture Notes in Computer Science: 21st International Conference on Application and Theory of Petri Nets (ICATPN 2000), Aarhus, Denmark, June 2000, volume 1825, pages 227\u2013243. Springer-Verlag, 2000.","DOI":"10.1007\/3-540-44988-4_14"},{"key":"12_CR5","unstructured":"M. V. Iordache, J. O. Moody, and P. J. Antsaklis. A method for deadlock prevention in discrete event systems using Petri nets. Technical report of the isis group, isis-99-006, University of Notre Dame, July 1999."},{"key":"12_CR6","unstructured":"M. V. Iordache, J. O. Moody, and P. J. Antsaklis. Automated synthesis of deadlock prevention supervisors using Petri nets. Technical report of the isis group, isis-2000-003, University of Notre Dame, May 2000."},{"key":"12_CR7","unstructured":"M. V. Iordache, J. O. Moody, and P. J. Antsaklis. Automated synthesis of liveness enforcement supervisors using Petri nets. Technical report of the isis group, isis-2000-004, University of Notre Dame, September 2000."},{"key":"12_CR8","doi-asserted-by":"crossref","unstructured":"M. V. Iordache, J. O. Moody, and P. J. Antsaklis. A method for the synthesis of deadlock prevention controllers in systems modeled by Petri nets. In Proceedings of the 2000 American Control Conference, pages 3167\u20133171, June 2000.","DOI":"10.1109\/ACC.2000.879149"},{"key":"12_CR9","unstructured":"K. Lautenbach and H. Ridder. The linear algebra of deadlock avoidance-a Petri net approach. Technical report, University of Koblenz, Institute for Computer Science, 1996."},{"key":"12_CR10","doi-asserted-by":"crossref","unstructured":"T. Murata. Petri nets: Properties, analysis andapplications. In Proceedings of the IEEE, pages 541\u2013580, April 1989.","DOI":"10.1109\/5.24143"},{"key":"12_CR11","unstructured":"W. Reisig. Petri Nets, volume 4 of EATCS Monographs on Theoretical Computer Science. Springer-Verlag, 1985."},{"key":"12_CR12","doi-asserted-by":"crossref","unstructured":"S. R. Sreenivas. On a free-choice equivalent of a Petri net. In Proceedings of the 36th IEEE Conference on Decision and Control, pages 4092\u20134097, San Diego, California, December 1997.","DOI":"10.1109\/CDC.1997.652508"},{"issue":"7","key":"12_CR13","doi-asserted-by":"publisher","first-page":"928","DOI":"10.1109\/9.599972","volume":"42","author":"S. R. Sreenivas","year":"1997","unstructured":"S. R. Sreenivas. On the existence of supervisory policies that enforce liveness in discrete event dynamic systems modeled by controlled Petri nets. IEEE Transactions on Automatic Control, 42(7):928\u2013945, July 1997.","journal-title":"IEEE Transactions on Automatic Control"}],"container-title":["Lecture Notes in Computer Science","Applications and Theory of Petri Nets 2001"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-45740-2_12","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,2,25]],"date-time":"2019-02-25T15:58:07Z","timestamp":1551110287000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-45740-2_12"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2001]]},"ISBN":["9783540422525","9783540457404"],"references-count":13,"URL":"https:\/\/doi.org\/10.1007\/3-540-45740-2_12","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2001]]}}}