{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T12:13:39Z","timestamp":1725624819172},"publisher-location":"Berlin, Heidelberg","reference-count":5,"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_10","type":"book-chapter","created":{"date-parts":[[2011,10,25]],"date-time":"2011-10-25T09:11:37Z","timestamp":1319533897000},"page":"132-148","source":"Crossref","is-referenced-by-count":2,"title":["Formal Semantics by a Combination of Denotational Semantics and High-Level Petri Nets"],"prefix":"10.1007","author":[{"given":"N. D.","family":"Hansen","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"K. H.","family":"Madsen","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"10_CR1","doi-asserted-by":"publisher","first-page":"109","DOI":"10.1016\/0304-3975(81)90113-4","volume":"13","author":"H Genrich","year":"1981","unstructured":"Genrich, H. and Lautenbach, K.: System modelling with high-level Petri nets. Theoretical Computer Science 13 (1981) 109\u2013136.","journal-title":"Theoretical Computer Science"},{"key":"10_CR2","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4612-6228-2","volume-title":"The Denotational Description of Programming languages","author":"G Gordon","year":"1979","unstructured":"Gordon, G.: The Denotational Description of Programming languages. Springer Verlag, New York 1979."},{"key":"10_CR3","volume-title":"The Architecture of Concurrent Programs","author":"PB Hansen","year":"1977","unstructured":"Hansen, P.B.: The Architecture of Concurrent Programs. Prentice Hall, New Jersey 1977."},{"key":"10_CR4","unstructured":"Jensen] Jensenr K.: High-level Petri nets. In this volume."},{"key":"10_CR5","volume-title":"Pascal user manual and report","author":"K Jensenr","year":"1975","unstructured":"Jensenr K. and Wirthr N.: Pascal user manual and report. Springer Verlag, New York 1975."}],"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_10.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_10"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1983]]},"ISBN":["9783540123095","9783642690280"],"references-count":5,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-69028-0_10","relation":{},"ISSN":["0343-3005"],"issn-type":[{"type":"print","value":"0343-3005"}],"subject":[],"published":{"date-parts":[[1983]]}}}