{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T13:22:03Z","timestamp":1725456123641},"publisher-location":"Berlin\/Heidelberg","reference-count":11,"publisher":"Springer-Verlag","isbn-type":[{"type":"print","value":"354010027X"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/bfb0022522","type":"book-chapter","created":{"date-parts":[[2005,11,23]],"date-time":"2005-11-23T05:49:12Z","timestamp":1132724952000},"page":"426-438","source":"Crossref","is-referenced-by-count":5,"title":["Decidability of reachability in persistent vector replacement systems"],"prefix":"10.1007","author":[{"given":"Horst","family":"M\u00fcller","sequence":"first","affiliation":[]}],"member":"297","reference":[{"key":"31_CR1","doi-asserted-by":"crossref","first-page":"77","DOI":"10.1016\/0304-3975(76)90008-6","volume":"2","author":"M. Hack","year":"1976","unstructured":"Hack, M.: The equality problem for vector addition systems is undecidable. Theor. Computer Sci. 2 (1976), 77\u201396","journal-title":"Theor. Computer Sci."},{"key":"31_CR2","doi-asserted-by":"crossref","first-page":"135","DOI":"10.1016\/0304-3975(79)90041-0","volume":"8","author":"J. Hopcroft","year":"1979","unstructured":"Hopcroft, J. and Pansiot, J.-J.: On the reachability problem for 5-dimensional vector addition systems. Theor. Computer Sci. 8 (1979), 135\u2013159","journal-title":"Theor. Computer Sci."},{"key":"31_CR3","doi-asserted-by":"crossref","first-page":"277","DOI":"10.1016\/0304-3975(77)90014-7","volume":"4","author":"N.D. Jones","year":"1977","unstructured":"Jones, N.D.; Landweber, L.H. and Lien, Y.E.: Complexity of some problems in Petri nets. Theor. Computer Sci. 4 (1977), 277\u2013299","journal-title":"Theor. Computer Sci."},{"key":"31_CR4","doi-asserted-by":"crossref","first-page":"147","DOI":"10.1016\/S0022-0000(69)80011-5","volume":"3","author":"R.M. Karp","year":"1969","unstructured":"Karp, R.M. and Miller, R.E.: Parallel program schemata. J. Comput. System Sci. 3 (1969), 147\u2013195","journal-title":"J. Comput. System Sci."},{"key":"31_CR5","doi-asserted-by":"crossref","first-page":"352","DOI":"10.1145\/322077.322079","volume":"25","author":"L.H. Landweber","year":"1978","unstructured":"Landweber, L.H. and Robertson, E.L.: Properties of conflict-free and persistent Petri nets. J. Ass. Computing Machinery 25 (1978), 352\u2013364","journal-title":"J. Ass. Computing Machinery"},{"key":"31_CR6","doi-asserted-by":"crossref","unstructured":"Van Leeuwen, J.: A partial solution to the reachability problem for vector addition systems. Sixth Ann. ACM Symp. on the Theory of Computing (1974), 303\u2013309","DOI":"10.1145\/800119.803908"},{"key":"31_CR7","volume-title":"An introduction to the general theory of algorithms","author":"M. Machtey","year":"1978","unstructured":"Machtey, M. and Young, P.: An introduction to the general theory of algorithms. North Holland, New York (1978)"},{"key":"31_CR8","unstructured":"M\u00fcller, H.: On the reachability problem for persistent vector replacement systems (to appear)"},{"key":"31_CR9","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 vector addition systems. Theor. Comp. Sci. 6 (1978), 223\u2013231","journal-title":"Theor. Comp. Sci."},{"key":"31_CR10","doi-asserted-by":"crossref","unstructured":"Sacerdote, G.S. and Tenney, R.L.: The decidability of the reachability problem for vector addition systems. 9th Ann. ACM Symp. on theory of computing (1977), 61\u201377","DOI":"10.1145\/800105.803396"},{"key":"31_CR11","unstructured":"Starke, H.P.: Semilinearity and Petri nets. Fundamentals of computation theory 79 (Ed. L. Budach), Akademie-Verlag Berlin (1979), 423\u2013429"}],"container-title":["Lecture Notes in Computer Science","Mathematical Foundations of Computer Science 1980"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/www.springerlink.com\/index\/pdf\/10.1007\/BFb0022522","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,4,11]],"date-time":"2020-04-11T04:21:13Z","timestamp":1586578873000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0022522"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["354010027X"],"references-count":11,"URL":"https:\/\/doi.org\/10.1007\/bfb0022522","relation":{},"subject":[]}}