{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,19]],"date-time":"2025-03-19T11:11:36Z","timestamp":1742382696823},"publisher-location":"Berlin, Heidelberg","reference-count":11,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540089216"},{"type":"electronic","value":"9783540357575"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1978]]},"DOI":"10.1007\/3-540-08921-7_101","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T16:37:55Z","timestamp":1330187875000},"page":"526-535","source":"Crossref","is-referenced-by-count":15,"title":["On the computational power of extended petri nets"],"prefix":"10.1007","author":[{"given":"R\u00fcdiger","family":"Valk","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,5,24]]},"reference":[{"key":"50_CR1","first-page":"85","volume":"3","author":"T. Araki","year":"1977","unstructured":"ARAKI, T., KASAMI, T., Some Decision Problems Related to the Reachability Problem for Petri Nets, Theoret. Computer Scie. 3(1977)85\u2013104","journal-title":"Computer Scie."},{"key":"50_CR2","first-page":"110","volume":"10","author":"E. A. Ashcroft","year":"1975","unstructured":"ASHCROFT, E.A., Proving Assertions about Parallel Programs, Journ. Computer Scie. 10(1975),110\u2013135","journal-title":"Journ. Computer Scie."},{"issue":"10","key":"50_CR3","doi-asserted-by":"publisher","first-page":"667","DOI":"10.1145\/362759.362813","volume":"14","author":"P. J. Courtois","year":"1971","unstructured":"COURTOIS, P.J., HEYMANS, F., PARNAS, D.L., Concurrent Control with \"Readers\" and \"Writers\", Comm.ACM 14(1971)10,667\u2013668","journal-title":"Comm.ACM"},{"key":"50_CR4","volume-title":"Automata, Languages and Machines, Vol. A","author":"S. Eilenberg","year":"1974","unstructured":"EILENBERG, S., Automata, Languages and Machines, Vol. A, Academic Press, New York 1974"},{"key":"50_CR5","unstructured":"FUSS,H.E., AFMG \u2014 Ein asynchroner Fluss-Modell-Generator, Gesellschaft f\u00fcr Mathem. und Datenverarb. Bonn, Bericht Nr. 100, Bonn 1975"},{"key":"50_CR6","unstructured":"HACK,M., Decision Problems for Petri Nets and Vector Addition Systems, MAC Techn. Mem. 59, MIT, 1975"},{"key":"50_CR7","unstructured":"HACK,M., Petri Net Languages, MIT Computation Structure Group Memo 124, 1975"},{"key":"50_CR8","first-page":"1","volume":"13","author":"J. L. Peterson","year":"1976","unstructured":"PETERSON, J.L., Computation Sequence Sets, Journ. ACM 13(1976),1\u201324","journal-title":"Journ. ACM"},{"key":"50_CR9","doi-asserted-by":"crossref","unstructured":"PRINOTH,R., Eigenschaften f\u00e4rbbarer Petri-Netze, Theoret.Computer Scie., 3rd GI-Conf. 1977, Lec. Notes in Computer Scie., No 48, Springer Berlin, 1977, pp. 306\u2013318","DOI":"10.1007\/3-540-08138-0_26"},{"key":"50_CR10","doi-asserted-by":"crossref","unstructured":"SACERDOTE,G.S., TENNEY,R.L., The Decidability of the Reachability Problem for Vector Addition Systems, (Preliminary version), Proc. 9th. ACM-Symp. Theory of Computing, New York 1977","DOI":"10.1145\/800105.803396"},{"key":"50_CR11","unstructured":"VALK, R., Self-modifying Nets, Institut f\u00fcr Informatik, Universit\u00e4t Hamburg, Bericht IFI-HH-B-34\/77"}],"container-title":["Lecture Notes in Computer Science","Mathematical Foundations of Computer Science 1978"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-08921-7_101.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T20:00:17Z","timestamp":1605643217000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-08921-7_101"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1978]]},"ISBN":["9783540089216","9783540357575"],"references-count":11,"URL":"https:\/\/doi.org\/10.1007\/3-540-08921-7_101","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1978]]}}}