{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,6,5]],"date-time":"2026-06-05T02:48:16Z","timestamp":1780627696684,"version":"3.54.1"},"publisher-location":"Berlin, Heidelberg","reference-count":12,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540088608","type":"print"},{"value":"9783540358077","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1978]]},"DOI":"10.1007\/3-540-08860-1_35","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T16:35:26Z","timestamp":1330187726000},"page":"464-476","source":"Crossref","is-referenced-by-count":76,"title":["Self-modifying nets, a natural extension of Petri nets"],"prefix":"10.1007","author":[{"given":"R\u00fcdiger","family":"Valk","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","published-online":{"date-parts":[[2005,5,26]]},"reference":[{"key":"35_CR1","doi-asserted-by":"crossref","first-page":"110","DOI":"10.1016\/S0022-0000(75)80018-3","volume":"10","author":"E. A. Ashcroft","year":"1975","unstructured":"ASHCROFT, E.A., Proving Assertions about Parallel Programs, Journ. Computer Syst. Scie. 10(1975),110\u2013135","journal-title":"Journ. Computer Syst. Scie."},{"key":"35_CR2","doi-asserted-by":"crossref","first-page":"315","DOI":"10.1016\/S0022-0000(74)80027-9","volume":"8","author":"B. S. Baker","year":"1974","unstructured":"BAKER, B.S., BOOK, V.B., Reversal-Bounded Multipushdown Machines, Journ. Computer Syst. Scie. 8(1974),315\u2013332","journal-title":"Journ. Computer Syst. Scie."},{"issue":"10","key":"35_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":"35_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":"35_CR5","unstructured":"FUSS,H.E., AFMG \u2014 Ein asynchroner Fluss-Modell-Generator, Gesellschaft f\u00fcr Mathematik und Datenverarbeitung, Bericht Nr. 100, Bonn 1975"},{"key":"35_CR6","unstructured":"HACK,M., Decision Problems for Petri Nets and Vector Addition Systems, MAC Techn. Mem. 59, MIT, 1975"},{"key":"35_CR7","unstructured":"HACK,M., Petri Net Languages, MIT Comp. Struct. Group, Memo 124, 1975"},{"key":"35_CR8","unstructured":"JANTZEN, M., On the Hierarchy of Petri Net Languages, submitted to Rev. Fran\u00e7aise Automat. Informat. Recherche Op\u00e9rationnelle"},{"key":"35_CR9","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1016\/S0022-0000(76)80047-5","volume":"13","author":"J. L. Peterson","year":"1976","unstructured":"PETERSON, J.L., Computation Sequence Sets, Journ. Computer Syst. Scie. 13(1976),1\u201324","journal-title":"Journ. Computer Syst. Scie."},{"key":"35_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-Sympos. Theory of Computing, New York 1977","DOI":"10.1145\/800105.803396"},{"key":"35_CR11","unstructured":"VALK, R., Self-modifying Nets, Institut f\u00fcr Informatik, Universit\u00e4t Hamburg, Bericht IFI-HH-B-34\/77"},{"key":"35_CR12","series-title":"Lec. Notes in Computer Scie.","volume-title":"On the Rationality of Petri Net Languages, Theoretical Computer Scie., 3rd GI-Conf. 1977","author":"R. Valk","year":"1977","unstructured":"VALK, R., VIDAL-NAQUET, G., On the Rationality of Petri Net Languages, Theoretical Computer Scie., 3rd GI-Conf. 1977, Lec. Notes in Computer Scie., No 48, Springer, Berlin 1977"}],"container-title":["Lecture Notes in Computer Science","Automata, Languages and Programming"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-08860-1_35.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T20:00:07Z","timestamp":1605643207000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-08860-1_35"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1978]]},"ISBN":["9783540088608","9783540358077"],"references-count":12,"URL":"https:\/\/doi.org\/10.1007\/3-540-08860-1_35","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[1978]]}}}