{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,9]],"date-time":"2024-09-09T15:22:24Z","timestamp":1725895344206},"publisher-location":"Berlin, Heidelberg","reference-count":10,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540111894"},{"type":"electronic","value":"9783642683534"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1982]]},"DOI":"10.1007\/978-3-642-68353-4_35","type":"book-chapter","created":{"date-parts":[[2011,11,2]],"date-time":"2011-11-02T10:25:56Z","timestamp":1320229556000},"page":"203-207","source":"Crossref","is-referenced-by-count":1,"title":["A Study of the Projection Operation"],"prefix":"10.1007","author":[{"given":"E.","family":"Knuth","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Gy.","family":"Gy\u00f6ry","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"L.","family":"Ronyai","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"35_CR1","unstructured":"Gy\u00f6ry,Gy .,Knuth,E.,Ronyai,L.s Grammatical projections. WP II\/3, MTA SZTAKT, Budapest, 1979."},{"key":"35_CR2","unstructured":"Janicki,R. s On atomic nets and concurrency relations. Lecture Notes in Computer Science, 88, 1979."},{"key":"35_CR3","doi-asserted-by":"crossref","unstructured":"Jantzen,M.,Valk,R.: Formal properties of place\/transition nets. Lecture Notes in Computer Science 84, 1979.","DOI":"10.1007\/3-540-10001-6_23"},{"key":"35_CR4","unstructured":"Lauer,P.E.,Shields,M.W.,Best,E.: On the design and certification of asynchronous systems of processes. Final report, ASM\/45, University of Newcastle upon Tyne, 1978."},{"key":"35_CR5","doi-asserted-by":"crossref","unstructured":"Mazurkiewicz,A.: Concurrent program schemes and their interpretations. Aarhus Workshop on Verification of Parallel Processes, 1977.","DOI":"10.7146\/dpb.v6i78.7691"},{"key":"35_CR6","doi-asserted-by":"crossref","unstructured":"Petri,C.A.I Concurrency. Lecture Notes in Computer Science 84, 1979.","DOI":"10.1007\/3-540-10001-6_26"},{"key":"35_CR7","unstructured":"Shields,M.W.: Class of adequate path programs. ASM\/42, University of Newcastle upon Tyne, 1978."},{"key":"35_CR8","doi-asserted-by":"crossref","unstructured":"Kotov,V.E.: An algebra for parallelism based on Petri nets. Lecture Notes in Computer Science 64, 1978.","DOI":"10.1007\/3-540-08921-7_55"},{"key":"35_CR9","unstructured":"Knuth,E .i Petri nets and trace languages. First European Conf. on Parallel and Distributed Systems, Toulouse, 1979."},{"key":"35_CR10","doi-asserted-by":"crossref","unstructured":"Janicki,R.I Synthesis of concurrent schemes. Lecture Notes in Computer Science 64, 1978.","DOI":"10.1007\/3-540-08921-7_77"}],"container-title":["Informatik-Fachberichte","Application and Theory of Petri Nets"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-68353-4_35.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,12,13]],"date-time":"2021-12-13T18:41:07Z","timestamp":1639420867000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-68353-4_35"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1982]]},"ISBN":["9783540111894","9783642683534"],"references-count":10,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-68353-4_35","relation":{},"ISSN":["0343-3005"],"issn-type":[{"type":"print","value":"0343-3005"}],"subject":[],"published":{"date-parts":[[1982]]}}}