{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T19:34:43Z","timestamp":1725564883562},"publisher-location":"Berlin, Heidelberg","reference-count":10,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540222361"},{"type":"electronic","value":"9783540277934"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2004]]},"DOI":"10.1007\/978-3-540-27793-4_24","type":"book-chapter","created":{"date-parts":[[2010,9,5]],"date-time":"2010-09-05T18:49:31Z","timestamp":1283712571000},"page":"426-434","source":"Crossref","is-referenced-by-count":4,"title":["Infinity of Intermediate States Is Decidable for Petri Nets"],"prefix":"10.1007","author":[{"given":"Harro","family":"Wimmel","sequence":"first","affiliation":[]}],"member":"297","reference":[{"issue":"2","key":"24_CR1","doi-asserted-by":"publisher","first-page":"147","DOI":"10.1016\/S0022-0000(69)80011-5","volume":"3","author":"R.M. Karp","year":"1969","unstructured":"Karp, R.M., Miller, R.E.: Parallel Program Schemata. Journal of Computer and System Sciences\u00a03(2), 147\u2013195 (1969)","journal-title":"Journal of Computer and System Sciences"},{"key":"24_CR2","doi-asserted-by":"crossref","unstructured":"Kosaraju, S.R.: Decidability of reachability in vector addition systems. In: Proceedings of the 14th Annual ACM STOC, pp. 267\u2013281 (1982)","DOI":"10.1145\/800070.802201"},{"issue":"1","key":"24_CR3","doi-asserted-by":"publisher","first-page":"79","DOI":"10.1016\/0304-3975(92)90173-D","volume":"99","author":"J.L. Lambert","year":"1992","unstructured":"Lambert, J.L.: A structure to decide reachability in Petri nets. Theoretical Computer Science\u00a099(1), 79\u2013104 (1992)","journal-title":"Theoretical Computer Science"},{"issue":"3","key":"24_CR4","doi-asserted-by":"publisher","first-page":"209","DOI":"10.1016\/0898-1221(88)90172-1","volume":"15","author":"J.L. Lambert","year":"1988","unstructured":"Lambert, J.L.: Finding a Partial Solution to a Linear System of Equations in Positive Integers. Comput. Math. Applic.\u00a015(3), 209\u2013212 (1988)","journal-title":"Comput. Math. Applic."},{"key":"24_CR5","unstructured":"Lipton, R.J.: The Reachability Problem Requires Exponential Space, Research Report 62, Yale University (1976)"},{"key":"24_CR6","unstructured":"Mayr, E.W.: Ein Algorithmus f\u00fcr das allgemeine Erreichbarkeitsproblem bei Petrinetzen und damit zusammenh\u00e4ngende Probleme, Technischer Bericht der Technischen Universit\u00e4t M\u00fcnchen TUM-I8010 (Dissertation), Institut f\u00fcr Informatik (1980)"},{"issue":"3","key":"24_CR7","doi-asserted-by":"publisher","first-page":"441","DOI":"10.1137\/0213029","volume":"13","author":"E.W. Mayr","year":"1984","unstructured":"Mayr, E.W.: An algorithm for the general Petri net reachability problem. SIAM Journal of Computing\u00a013(3), 441\u2013460 (1984)","journal-title":"SIAM Journal of Computing"},{"key":"24_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"296","DOI":"10.1007\/978-3-540-45187-7_20","volume-title":"CONCUR 2003 - Concurrency Theory","author":"M. Mukund","year":"2003","unstructured":"Mukund, M., Narayan Kumar, K., Thiagarajan, P.S.: Netcharts: Bridging the gap between HMSCs and executable specifications. In: Amadio, R.M., Lugiez, D. (eds.) CONCUR 2003. LNCS, vol.\u00a02761, pp. 296\u2013310. Springer, Heidelberg (2003)"},{"key":"24_CR9","first-page":"376","volume-title":"Petri-Netze","author":"L. Priese","year":"2003","unstructured":"Priese, L., Wimmel, H.: Petri-Netze, p. 376. Springer, Heidelberg (2003) ISBN 3-540-44289-8"},{"key":"24_CR10","volume-title":"The Mathematics of Petri nets","author":"C. Reutenauer","year":"1990","unstructured":"Reutenauer, C.: The Mathematics of Petri nets. Prentice-Hall, Englewood Cliffs (1990)"}],"container-title":["Lecture Notes in Computer Science","Applications and Theory of Petri Nets 2004"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-27793-4_24.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,18]],"date-time":"2020-11-18T23:20:32Z","timestamp":1605741632000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-27793-4_24"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2004]]},"ISBN":["9783540222361","9783540277934"],"references-count":10,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-27793-4_24","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2004]]}}}