{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T22:53:01Z","timestamp":1725663181192},"publisher-location":"Berlin, Heidelberg","reference-count":11,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540152040"},{"type":"electronic","value":"9783540393207"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1985]]},"DOI":"10.1007\/3-540-15204-0_21","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T13:17:07Z","timestamp":1330175827000},"page":"376-391","source":"Crossref","is-referenced-by-count":3,"title":["The reachability problem for VAS"],"prefix":"10.1007","author":[{"given":"Horst","family":"M\u00fcller","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,5,30]]},"reference":[{"key":"21_CR1","doi-asserted-by":"crossref","unstructured":"Grabowski, J.: The decidability of Persistence for Vector Addition Systems. Information Processing Letters Vol. 11, No. 1 (1980)","DOI":"10.1016\/0020-0190(80)90026-5"},{"key":"21_CR2","doi-asserted-by":"publisher","first-page":"135","DOI":"10.1016\/0304-3975(79)90041-0","volume":"8","author":"J. Hopcroft","year":"1979","unstructured":"Hopcroft, J. and Pansiot, J.: On the reachability problem for 5-dimensional vector addition systems. Theor. Comp. Sc. 8, 135\u2013159 (1979)","journal-title":"Theor. Comp. Sc."},{"key":"21_CR3","doi-asserted-by":"crossref","unstructured":"Kosaraju, S.R.: Decidability of reachability in vector addition systems. Proc. 14th Ann. Symp. on Theory of computing, 267\u2013281 (1982, prelim. version)","DOI":"10.1145\/800070.802201"},{"key":"21_CR4","doi-asserted-by":"crossref","unstructured":"van Leeuwen, J.: A partial solution to the reachability problem for vector addition systems. 6th Ann. ACM Symp. on Theory of Computing, 303\u2013309 (1974)","DOI":"10.1145\/800119.803908"},{"key":"21_CR5","doi-asserted-by":"crossref","unstructured":"Mayr, E.W.: An algorithm for the general Petri net reachability problem. Proc. 13th Ann. Symp. on Theory of Computing, 238\u2013246 (1981)","DOI":"10.1145\/800076.802477"},{"key":"21_CR6","unstructured":"Mayr. E.W.: Persistence of Vector Replacement Systems is Decidable. MIT LCS TM 189 (1980)"},{"key":"21_CR7","doi-asserted-by":"crossref","first-page":"89","DOI":"10.1007\/978-3-7091-8596-4_6","volume":"3","author":"H. M\u00fcller","year":"1981","unstructured":"M\u00fcller, H.: On the reachability problem for persistent vector replacement systems. Computing Suppl. 3, 89\u2013104 (1981)","journal-title":"Computing Suppl."},{"key":"21_CR8","unstructured":"M\u00fcller, H.: On Kosaraju's Proof of the Decidability of the Reachability Problem for VAS. Report on the 1st GTI-workshop (Ed. L. Priese) Uni-GH Paderborn, Reihe Theoretische Informatik Nr. 13 (1983)"},{"key":"21_CR9","unstructured":"M\u00fcller, H.: Weak Petri Net Computers for Ackermann functions, (EIK, forth coming)"},{"key":"21_CR10","doi-asserted-by":"crossref","first-page":"223","DOI":"10.1016\/0304-3975(78)90036-1","volume":"6","author":"C. Rackoff","year":"1978","unstructured":"Rackoff, C.: The covering and boundedness problems for VAS. Theor. Comp. Sc. 6, 223\u2013231 (1978)","journal-title":"Theor. Comp. Sc."},{"key":"21_CR11","unstructured":"Sacerdote, G.S. and Tenney, R.L.: The decidability problem for VAS. 9th Ann. Symp. on Theory of Computing (1977)"}],"container-title":["Lecture Notes in Computer Science","Advances in Petri Nets 1984"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-15204-0_21.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T15:08:16Z","timestamp":1605625696000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-15204-0_21"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1985]]},"ISBN":["9783540152040","9783540393207"],"references-count":11,"URL":"https:\/\/doi.org\/10.1007\/3-540-15204-0_21","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1985]]}}}