{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T22:59:56Z","timestamp":1725663596909},"publisher-location":"Berlin, Heidelberg","reference-count":10,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540556763"},{"type":"electronic","value":"9783540472704"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1992]]},"DOI":"10.1007\/3-540-55676-1_15","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T10:29:59Z","timestamp":1330252199000},"page":"263-278","source":"Crossref","is-referenced-by-count":13,"title":["An efficient polynomial-time algorithm to decide liveness and boundedness of free-choice nets"],"prefix":"10.1007","author":[{"given":"Peter","family":"Kemper","sequence":"first","affiliation":[]},{"given":"Falko","family":"Bause","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,5,27]]},"reference":[{"key":"15_CR1","volume-title":"Concurrency and Nets, Advances of Petri Nets","author":"E. Best","year":"1887","unstructured":"Best,E.: Some Classes of Live and Safe Petri Nets, in K.Voss, H.J.Genrich, G.Rozenberg: \u201dConcurrency and Nets, Advances of Petri Nets\u201d, Springer, Berlin 1887."},{"key":"15_CR2","unstructured":"Esparza,J.: Minimal Deadlocks in Free Choice Nets, Hildesheimer Informatikberichte 1\/89, Institut f\u00fcr Informatik, Universit\u00e4t Hildesheim"},{"key":"15_CR3","unstructured":"Esparza,J.: Synthesis Rules for Petri Nets, and How They Lead to New Results, Hildesheimer Informatikberichte 5\/90, Institut f\u00fcr Informatik, Universit\u00e4t Hildesheim."},{"key":"15_CR4","unstructured":"Esparza,J.;Silva,M.: A Polynomial-Time Algorithm to Decide Liveness of Bounded Free Choice Nets, Hildesheimer Informatikberichte 12\/90, Institut f\u00fcr Informatik, Universit\u00e4t Hildesheim."},{"key":"15_CR5","volume-title":"Analysis of Production Schemata by Petri Nets, TR-94","author":"M. H. T. T. Hack","year":"1972","unstructured":"Hack,M.H.T.: Analysis of Production Schemata by Petri Nets, TR-94, MIT, Boston 1972 corrected june 1974"},{"key":"15_CR6","doi-asserted-by":"publisher","first-page":"277","DOI":"10.1016\/0304-3975(77)90014-7","volume":"4","author":"N. Jones","year":"1977","unstructured":"Jones,N.;Landweber,L.;Lien,Y.: Complexity of some Problems in Petri Nets, Theoretical Computer Science, Vol 4, pp. 277\u2013299, 1977.","journal-title":"Theoretical Computer Science"},{"key":"15_CR7","volume-title":"Concurrency and Nets, Advances in Petri Nets","author":"K. Lautenbach","year":"1987","unstructured":"Lautenbach,K.: Linear Algebraic Calculation of Deadlocks and Traps in K.Voss, H.J.Genrich, G.Rozenberg: \u201cConcurrency and Nets, Advances in Petri Nets\u201d, Springer, Berlin 1987."},{"key":"15_CR8","volume-title":"EATCS Monographs on Theoretical Computer Science","author":"K. Mehlhorn","year":"1984","unstructured":"Mehlhorn,K.: Data Structures and Algorithms 2: Graph Algorithms and NP-Completeness, EATCS Monographs on Theoretical Computer Science, Springer, Berlin Heidelberg 1984."},{"key":"15_CR9","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-663-09262-9","volume-title":"Analysetechniken von Petri-Netz-Modellen","author":"P. Starke","year":"1990","unstructured":"Starke,P.: Analysetechniken von Petri-Netz-Modellen, Teubner, Stuttgart 1990 (in German)."},{"key":"15_CR10","volume-title":"Introduction to Matrix Computations","author":"G. W. Stewart","year":"1973","unstructured":"Stewart,G.W.: Introduction to Matrix Computations, Academic Press, New York, 1973."}],"container-title":["Lecture Notes in Computer Science","Application and Theory of Petri Nets 1992"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-55676-1_15.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,28]],"date-time":"2021-04-28T01:34:19Z","timestamp":1619573659000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-55676-1_15"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1992]]},"ISBN":["9783540556763","9783540472704"],"references-count":10,"URL":"https:\/\/doi.org\/10.1007\/3-540-55676-1_15","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1992]]}}}