{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,5,9]],"date-time":"2026-05-09T03:51:18Z","timestamp":1778298678455,"version":"3.51.4"},"publisher-location":"Berlin, Heidelberg","reference-count":18,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540676935","type":"print"},{"value":"9783540449881","type":"electronic"}],"license":[{"start":{"date-parts":[[2000,1,1]],"date-time":"2000-01-01T00:00:00Z","timestamp":946684800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2000,1,1]],"date-time":"2000-01-01T00:00:00Z","timestamp":946684800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2000]]},"DOI":"10.1007\/3-540-44988-4_14","type":"book-chapter","created":{"date-parts":[[2007,7,31]],"date-time":"2007-07-31T21:38:07Z","timestamp":1185917887000},"page":"227-243","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":14,"title":["Liveness Verification of Discrete Event Systems Modeled by n-Safe Ordinary Petri Nets"],"prefix":"10.1007","author":[{"given":"Kevin X.","family":"He","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Michael D.","family":"Lemmon","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2000,6,9]]},"reference":[{"key":"14_CR1","volume-title":"Liveness of Petri nets and its relations with deadlocks, traps, and invariants","author":"K. Barkaoui","year":"1995","unstructured":"K. Barkaoui, Liveness of Petri nets and its relations with deadlocks, traps, and invariants, Report 92-06, Laboratoire CEDRIC-CNAM, Paris, France, 1995."},{"key":"14_CR2","doi-asserted-by":"crossref","unstructured":"K. Barkaoui, J.F. Pradat-Peyre, On liveness and Controlled Siphons in Petri nets, in Application and Theory of Petri Nets, Springer Verlag, 1996.","DOI":"10.1007\/3-540-61363-3_4"},{"key":"14_CR3","unstructured":"F. Commoner, \u201cDeadlocks in Petri Nets\u201d, Wakefield, Applied Data Research, Inc., Report #CA-7206-2311, 1972."},{"issue":"1","key":"14_CR4","doi-asserted-by":"publisher","first-page":"97","DOI":"10.1007\/BF01384316","volume":"6","author":"J.C. Corbett","year":"1995","unstructured":"J.C. Corbett and G.S. Avrunin, Using integer programming to verify general safety and liveness properties, Formal Methods in System Design: An International Journal, vol. 6, no. 1, pp. 97\u2013123, January 1995.","journal-title":"Formal Methods in System Design: An International Journal"},{"key":"14_CR5","doi-asserted-by":"crossref","unstructured":"J. Desel and J. Esparza, Free Choice Petri Nets, Cambridge Tracts in Theoretical Computer Science 40, Cambridge University Press 1995.","DOI":"10.1017\/CBO9780511526558"},{"key":"14_CR6","doi-asserted-by":"publisher","first-page":"575","DOI":"10.1007\/BF01463946","volume":"28","author":"J. Engelfriet","year":"1991","unstructured":"Engelfriet, J., Branching processes of Petri nets. Acta Informatica 28, 575\u2013591, 1991.","journal-title":"Acta Informatica"},{"key":"14_CR7","series-title":"Lect Notes Comput Sci","doi-asserted-by":"publisher","first-page":"613","DOI":"10.1007\/3-540-56610-4_93","volume-title":"TAPSOFT\u201993:Theory and Practice of Software Development. 4th Int. Joint Conference","author":"J. Esparza","year":"1993","unstructured":"Esparza, J., \u201cModel checking using net unfoldings\u201d. In M. G. Gaudel and J. P. Jouannaud, editors, TAPSOFT\u201993:Theory and Practice of Software Development. 4th Int. Joint Conference CAAP\/FASE, Volume 668 of Lecture Notes in Computer Science, pp 613\u2013628. Spring-verlag, 1993."},{"key":"14_CR8","unstructured":"Kevin X. He and Michael D. Lemmon, \u201cLiveness-enforcing supervision of n-safe ordinary Petri nets with uncontrollable transitions\u201d, to appear in the proceedings of the 2000\u2019s IFAC International Conference on Control Systems Design, special session on Petri nets, Slovakia, June 2000."},{"key":"14_CR9","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"263","DOI":"10.1007\/3-540-55676-1_15","volume-title":"An efficient polynimial-time algorithm to decide liveness and boundedness of free choice nets","author":"P. Kemper","year":"1992","unstructured":"Kemper, P. and Bause, F., An efficient polynimial-time algorithm to decide liveness and boundedness of free choice nets, LNCS, No. 616:263\u2013278, 1992."},{"key":"14_CR10","doi-asserted-by":"crossref","unstructured":"A. Kondratyev, M. Kishinevsky, A. Taubin and S. Ten, \u201cStructural approach for the analysis of Petri nets by reduced unfoldings\u201d, Proceedings of the 17th International Conference on Application and Theory of Petri Nets, Osaka, Japan, June 24\u201328, 1996.","DOI":"10.1007\/3-540-61363-3_19"},{"key":"14_CR11","series-title":"Lect Notes Comput Sci","doi-asserted-by":"publisher","first-page":"164","DOI":"10.1007\/3-540-56496-9_14","volume-title":"Computer Aided Verification, Fourth International Workshop, CAV\u201992","author":"K. McMillan","year":"1992","unstructured":"McMillan, K., \u201cUsing unfoldings to avoid the state explosion problem in the verification of asynchronous circuits\u201d, in: Computer Aided Verification, Fourth International Workshop, CAV\u201992 (B.V. Bochmann and D.K. Probst, Eds.). Vol. 663 of Lecture Notes in Computer Science. Springer-Verlag. pp. 164\u2013177, 1992."},{"key":"14_CR12","doi-asserted-by":"crossref","unstructured":"McMillan, K., Symbolic Model Checking, Kluwer Academic Publishers, 1993.","DOI":"10.1007\/978-1-4615-3190-6"},{"key":"14_CR13","doi-asserted-by":"crossref","unstructured":"Murata, T., \u201cPetri nets: Properties, analysis, and applications\u201d, Proceedings of the IEEE, 77(4):541\u2013580.","DOI":"10.1109\/5.24143"},{"key":"14_CR14","doi-asserted-by":"crossref","unstructured":"Reisig, W. (1985). Petri Nets. Springer-Verlag, 1985.","DOI":"10.1007\/978-3-642-69968-9"},{"key":"14_CR15","series-title":"Lect Notes Comput Sci","first-page":"358","volume-title":"Liveness in bounded Petri nets which are covered by t-invariants","author":"H. Ridder","year":"1994","unstructured":"Ridder, H. and Lautenbach, K., Liveness in bounded Petri nets which are covered by t-invariants, LNCS, No. 815:358\u2013375, 1994."},{"key":"14_CR16","unstructured":"A. Semenov, Verification and Synthesis of Asynchronous Control Circuits Using Petri Net Unfoldings, Newcastle upon Tyne, 1998.(British Lending Library DSC stock location number: DXN 016059)."},{"issue":"7","key":"14_CR17","doi-asserted-by":"publisher","first-page":"928","DOI":"10.1109\/9.599972","volume":"42","author":"R.S. Sreenivas","year":"1997","unstructured":"R.S. Sreenivas, On the existence of supervisory control in discrete event dynamic systems modeled by controlled Petri nets. IEEE Trans. on Automatic Control, 42(7), July, 1997, pp. 928\u2013945.","journal-title":"IEEE Trans. on Automatic Control"},{"issue":"6","key":"14_CR18","doi-asserted-by":"publisher","first-page":"1221","DOI":"10.1109\/9.769378","volume":"44","author":"R.S. Sreenivas","year":"1999","unstructured":"R.S. Sreenivas, On supervisory policies that enforce liveness in complete controlled Petri nets with directed cut-places and cut-transitions, in IEEE Trans. on Automatic Control, 44(6), June, 1999, pp. 1221\u20131225.","journal-title":"IEEE Trans. on Automatic Control"}],"container-title":["Lecture Notes in Computer Science","Application and Theory of Petri Nets 2000"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-44988-4_14","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,10,25]],"date-time":"2021-10-25T01:06:04Z","timestamp":1635123964000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/3-540-44988-4_14"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2000]]},"ISBN":["9783540676935","9783540449881"],"references-count":18,"URL":"https:\/\/doi.org\/10.1007\/3-540-44988-4_14","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2000]]},"assertion":[{"value":"9 June 2000","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}