{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T12:13:41Z","timestamp":1725624821397},"publisher-location":"Berlin, Heidelberg","reference-count":8,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540123095"},{"type":"electronic","value":"9783642690280"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1983]]},"DOI":"10.1007\/978-3-642-69028-0_11","type":"book-chapter","created":{"date-parts":[[2011,10,25]],"date-time":"2011-10-25T09:11:37Z","timestamp":1319533897000},"page":"149-165","source":"Crossref","is-referenced-by-count":0,"title":["Notions of Computability by Petri Nets"],"prefix":"10.1007","author":[{"given":"Matthias","family":"Jantzen","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Hendrik","family":"Bramhoff","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"11_CR1","first-page":"349","volume":"17","author":"H-D Burkhard","year":"1981","unstructured":"Burkhard,H.-D., Two Pumping Lemmata for Petri Nets, EIK, vol. 17 (1981) 349\u2013362.","journal-title":"Eik"},{"key":"11_CR2","first-page":"339","volume":"15","author":"J Grabowski","year":"1979","unstructured":"Grabowski, J., On Hacks Conjecture Concerning Reachability in Petri Nets, EIK, vol. 15 (1979) 339\u2013354.","journal-title":"Eik"},{"key":"11_CR3","volume-title":"MIT, Proj. MAC, Comp. Struct. Group Memo","author":"MT Hack","year":"1974","unstructured":"Hack,M.T ., Decision Problems for Petri Nets and Vector Addition Systems, MIT, Proj. MAC, Comp. Struct. Group Memo, 95\u20131 (1974)."},{"key":"11_CR4","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.J., On the Reachability Problem for 5- Dimensional Vector Addition Systems, Theoret. Comp. Sci., vol. 8, (1979) 135\u2013159.","journal-title":"Theoret. Comp. Sci"},{"key":"11_CR5","first-page":"165","volume-title":"Lect. Notes in Comp. Sci., vol. 84","author":"M Jantzen","year":"1980","unstructured":"Jantzen,M. and Valk,R., Formal Properties of Place Transition Nets, in: Net Theory and Applications, W.Brauer (ed.), Lect. Notes in Comp. Sci., vol. 84 (1980) 165\u2013212."},{"key":"11_CR6","volume-title":"MIT, Lab. for Comp. Sci., TR-181","author":"EW Mayr","year":"1977","unstructured":"Mayr,E.W ., The Complexity of the finite Containment Problem for Petri Nets, MIT, Lab. for Comp. Sci., TR-181 (1977)."},{"key":"11_CR7","volume-title":"Ein Algorithmus f\u00fcr das allgemeine Erreichbarkeitsproblem bei Petrinetzen und damit zusammenh\u00e4ngende Probleme","author":"EW Mayr","year":"1980","unstructured":"Mayr,E.W ., Ein Algorithmus f\u00fcr das allgemeine Erreichbarkeitsproblem bei Petrinetzen und damit zusammenh\u00e4ngende Probleme, Techn. Univ. M\u00fcnchen, Inst, f\u00fcr Informatik, techn. report TUM I 8010 (1980)."},{"key":"11_CR8","volume-title":"Petri-Netze","author":"PH Starke","year":"1980","unstructured":"Starke,P.H ., Petri-Netze, VEB Deutscher Verlag der Wissenschaften, ( DDR) Berlin (1980)."}],"container-title":["Informatik-Fachberichte","Applications and Theory of Petri Nets"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-69028-0_11.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,24]],"date-time":"2020-11-24T22:42:07Z","timestamp":1606257727000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-69028-0_11"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1983]]},"ISBN":["9783540123095","9783642690280"],"references-count":8,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-69028-0_11","relation":{},"ISSN":["0343-3005"],"issn-type":[{"type":"print","value":"0343-3005"}],"subject":[],"published":{"date-parts":[[1983]]}}}