{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,14]],"date-time":"2026-01-14T17:40:20Z","timestamp":1768412420936,"version":"3.49.0"},"publisher-location":"Berlin, Heidelberg","reference-count":12,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540581529","type":"print"},{"value":"9783540484622","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1994]]},"DOI":"10.1007\/3-540-58152-9_20","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T10:20:09Z","timestamp":1330251609000},"page":"358-375","source":"Crossref","is-referenced-by-count":34,"title":["Liveness in bounded Petri nets which are covered by T-invariants"],"prefix":"10.1007","author":[{"given":"Kurt","family":"Lautenbach","sequence":"first","affiliation":[]},{"given":"Hanno","family":"Ridder","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,5,31]]},"reference":[{"key":"20_CR1","volume-title":"Petri-Netze: Grundlagen und Anwendungen","author":"B. Baumgarten","year":"1990","unstructured":"Bernd Baumgarten. Petri-Netze: Grundlagen und Anwendungen. BI-Wiss.-Verl., Mannheim; Wien; Z\u00fcrich, 1990. (in German)."},{"key":"20_CR2","doi-asserted-by":"crossref","unstructured":"J. Campos, G. Chiola, and M. Silva. Properties and performance bounds for closed free choice synchronized monoclass queueing networks. IEEE Transactions on Automatic Control, 36(12), December 1991.","DOI":"10.1109\/9.106153"},{"key":"20_CR3","doi-asserted-by":"crossref","unstructured":"J\u00f6rg Desel. Regular marked petri nets. To appear in: Graph theoretic Concepts in Computer Science, 1993.","DOI":"10.1007\/3-540-57899-4_58"},{"key":"20_CR4","doi-asserted-by":"crossref","first-page":"185","DOI":"10.1016\/0304-3975(92)90299-U","volume":"102","author":"J. Esparza","year":"1992","unstructured":"Javier Esparza and Manuel Silva. A polynomial-time algorithm to decide liveness of bounded free choice nets. Theoretical Computer Science, (102):185\u2013205, 1992.","journal-title":"Theoretical Computer Science"},{"key":"20_CR5","unstructured":"M. Hack. Extended state-machine allocatable nets (esma), an extension of free choice petri net results. Computation Structures Group Memo 78-1, MIT, Project MAC, 1978."},{"key":"20_CR6","first-page":"165","volume":"84","author":"M. Jantzen","year":"1980","unstructured":"M. Jantzen and R. Valk. Formal properties of place\/transition nets. Net Theory and Application, LNCS 84:165\u2013212, 1980.","journal-title":"LNCS"},{"issue":"3","key":"20_CR7","doi-asserted-by":"crossref","first-page":"194","DOI":"10.1109\/TC.1982.1675975","volume":"C-31","author":"W.E. Kluge","year":"1982","unstructured":"W.E. Kluge and K. Lautenbach. The orderly resolution of memory access conflicts among competing channel processes. IEEE Transactions of Computers, C-31(3):194\u2013207, 1982.","journal-title":"IEEE Transactions of Computers"},{"key":"20_CR8","volume-title":"Berichte der GMD 82","author":"K. Lautenbach","year":"1973","unstructured":"K. Lautenbach. Exakte bedingungen der lebendigkeit f\u00fcr eine klasse von petrinetzen. Berichte der GMD 82, GMD, Bonn, 1973. (in German)."},{"key":"20_CR9","first-page":"228","volume":"8","author":"K. Lautenbach","year":"1977","unstructured":"K. Lautenbach. Ein kombinatorischer ansatz zur beschreibung und erreichung von fairness in scheduling-problemen. Applied Computer Science, 8:228\u2013250, 1977. (in German).","journal-title":"Applied Computer Science"},{"key":"20_CR10","doi-asserted-by":"crossref","unstructured":"Kurt Lautenbach. Linear algebraic calculation of deadlocks and traps. In Voss, Genrich, and Rozenberg, editors, Concurrency and Nets, pages 315\u2013336. Springer Verlag, 1987.","DOI":"10.1007\/978-3-642-72822-8_21"},{"key":"20_CR11","unstructured":"Wolfgang Reisig. Petri nets. Springer Verlag, 2nd edition, 1991."},{"key":"20_CR12","doi-asserted-by":"crossref","unstructured":"H. Peter Starke. Analyse von Petri-Netz-Modellen. Teubner, 1990. (in German).","DOI":"10.1007\/978-3-663-09262-9"}],"container-title":["Lecture Notes in Computer Science","Application and Theory of Petri Nets 1994"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-58152-9_20.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T16:17:21Z","timestamp":1605629841000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-58152-9_20"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1994]]},"ISBN":["9783540581529","9783540484622"],"references-count":12,"URL":"https:\/\/doi.org\/10.1007\/3-540-58152-9_20","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[1994]]}}}