{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T22:54:49Z","timestamp":1725663289625},"publisher-location":"Berlin, Heidelberg","reference-count":12,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540505808"},{"type":"electronic","value":"9783540460596"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1988]]},"DOI":"10.1007\/3-540-50580-6_33","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T20:27:28Z","timestamp":1330201648000},"page":"266-282","source":"Crossref","is-referenced-by-count":6,"title":["Some consequences of the decidability of the reachability problem for Petri nets"],"prefix":"10.1007","author":[{"given":"J. L.","family":"Lambert","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,5,31]]},"reference":[{"key":"13_CR1","doi-asserted-by":"crossref","unstructured":"N. Dershowitz, Z. Manna, Proving termination with multiset ordering, Comm. ACM, August 79, Volume 22, Nr 8.","DOI":"10.1145\/359138.359142"},{"key":"13_CR2","doi-asserted-by":"crossref","unstructured":"J.Hopcroft, J.J. Pansiot, On the reachability problem for 5-dimensional vector addition systems, Theoret. Comp. Sci., 1978, 135\u2013159.","DOI":"10.1016\/0304-3975(79)90041-0"},{"issue":"1","key":"13_CR3","first-page":"19","volume":"13","author":"M. Jantzen","year":"1979","unstructured":"M. Jantzen, On the hierarchy of Petri net languages, RAIRO Vol 13 no1, 1979, 19\u201330.","journal-title":"RAIRO"},{"key":"13_CR4","first-page":"147","volume":"3","author":"R.M. Karp","year":"1969","unstructured":"R.M. Karp, R.E. Miller, Parallel program schemata, J. Comput. Sci. 3 (May 1969) 147\u2013195.","journal-title":"J. Comput. Sci."},{"key":"13_CR5","doi-asserted-by":"crossref","unstructured":"S.R. Kosaraju, Decidability of reachability in vector addition systems, Proc. 14 th ann. ACM STOC, 1982, 267\u2013281.","DOI":"10.1145\/800070.802201"},{"key":"13_CR6","unstructured":"J.L. Lambert, A structure to decide reachability in Petri net, to appear in Theoret. Comp. Sci."},{"issue":"3","key":"13_CR7","doi-asserted-by":"crossref","first-page":"209","DOI":"10.1016\/0898-1221(88)90172-1","volume":"15","author":"J.L. Lambert","year":"1988","unstructured":"J.L. Lambert, Finding a partial solution to a linear system of equations in positive integer, Comput. Math. Applic. Vol. 15, No3, pp 209\u2013212, 1988.","journal-title":"Comput. Math. Applic."},{"issue":"3","key":"13_CR8","doi-asserted-by":"crossref","first-page":"441","DOI":"10.1137\/0213029","volume":"13","author":"E. Mayr","year":"1984","unstructured":"E. Mayr, An algorithm for the general Petri net reachability problem, SIAM, J. Comput., Vol 13 No3, 1984, 441\u2013460. And","journal-title":"SIAM, J. Comput."},{"key":"13_CR9","doi-asserted-by":"crossref","unstructured":"E.Mayr, An algorithm for the general Petri net reachability problem, Proc. 13 th ann. ACM STOC, 1981, 238\u2013246.","DOI":"10.1145\/800076.802477"},{"key":"13_CR10","first-page":"376","volume":"188","author":"H. Muller","year":"1984","unstructured":"H. Muller, The reachability problem for VAS, Advances in Petri nets 1984, LNCS 188, 376\u2013391","journal-title":"LNCS"},{"key":"13_CR11","first-page":"346","volume":"222","author":"M. Parigot","year":"1985","unstructured":"M. Parigot, E. Pelz, A logical formalism for the study of the finite behaviour of Petri nets, Advances in Petri net 1985, LNCS 222, 346\u2013361","journal-title":"LNCS"},{"key":"13_CR12","unstructured":"C.A. Petri, Kommunikation mit Automaten, Institut f\u00fcr Instrumentelle Mathematik (Bonn), Schriften des IMM Nr 2, 1962."}],"container-title":["Lecture Notes in Computer Science","Advances in Petri Nets 1988"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-50580-6_33.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T21:18:31Z","timestamp":1605647911000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-50580-6_33"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1988]]},"ISBN":["9783540505808","9783540460596"],"references-count":12,"URL":"https:\/\/doi.org\/10.1007\/3-540-50580-6_33","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1988]]}}}