{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,22]],"date-time":"2025-03-22T09:32:39Z","timestamp":1742635959349},"publisher-location":"Berlin, Heidelberg","reference-count":14,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540152040"},{"type":"electronic","value":"9783540393207"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1985]]},"DOI":"10.1007\/3-540-15204-0_11","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T18:16:42Z","timestamp":1330193802000},"page":"169-196","source":"Crossref","is-referenced-by-count":20,"title":["Csp-programs as nets with individual tokens"],"prefix":"10.1007","author":[{"given":"Ursula","family":"Goltz","sequence":"first","affiliation":[]},{"given":"Wolfgang","family":"Reisig","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,5,30]]},"reference":[{"key":"11_CR1","unstructured":"E. Best, U. Goltz: \"Reachable Markings and Discrete Processes\", Internal report, 1983"},{"key":"11_CR2","doi-asserted-by":"publisher","first-page":"109","DOI":"10.1016\/0304-3975(81)90113-4","volume":"13","author":"H. J. Genrich","year":"1981","unstructured":"H.J. Genrich, K. Lautenbach: \"System Modelling with High-Level Petri-Nets\", TCS 13 (1981) 109\u2013136","journal-title":"TCS"},{"key":"11_CR3","doi-asserted-by":"crossref","unstructured":"H.J. Genrich, K. Lautenbach, P.S. Thiagarajan: \"Elements of General Net Theory\", in: Net Theory and Applications, LNCS 84, 1980","DOI":"10.1007\/3-540-10001-6_22"},{"key":"11_CR4","doi-asserted-by":"crossref","unstructured":"U. Goltz, A. Mycroft: \"On the Relationship of CCS and Petri Nets\", in: proc. ICALP 1984, LNCS 172","DOI":"10.1007\/3-540-13345-3_18"},{"key":"11_CR5","unstructured":"U. Goltz, A. Mycroft: \"Net Behaviour Representations and Equivalence Notions\", unpublished manuscript"},{"key":"11_CR6","doi-asserted-by":"crossref","unstructured":"U. Goltz, W. Reisig: \"The Non-Sequential Behaviour of Petri Nets\", Information and Control, Vol. 57, Nos. 2\u20133, May\/June 1983","DOI":"10.1016\/S0019-9958(83)80040-0"},{"key":"11_CR7","unstructured":"U. Goltz, U. Vogt: \"Processes of Relation Nets\", in: Petri Nets and Related Models, Newsletter No. 14, June 1983"},{"issue":"8","key":"11_CR8","doi-asserted-by":"publisher","first-page":"666","DOI":"10.1145\/359576.359585","volume":"21","author":"C. A. R. R. Hoare","year":"1978","unstructured":"C.A.R. Hoare: \"Communicating Sequential Processes\", Communications of the ACM Vol. 21, No. 8, (1978), 666\u2013677","journal-title":"Communications of the ACM"},{"key":"11_CR9","unstructured":"M. Hennessy, W. Li, G. Plotkin: \"A first Attempt at Translating CSP into CCS\", in: Proceedings of the 2nd International Conference on Distributed Computing, Paris 1981, IEEE, No. 81 CH 1591-7"},{"key":"11_CR10","doi-asserted-by":"crossref","unstructured":"David May: \"Occam\", SIGPLAN Notices, Vol. 18, No. 4, April 1983","DOI":"10.1145\/948176.948183"},{"key":"11_CR11","doi-asserted-by":"crossref","unstructured":"M. Nielsen, G. Plotkin, G. Winskel: \"Petri Nets, Event Structures and Domains\", TCS 13, No. 1, Jan. 1981","DOI":"10.1016\/0304-3975(81)90112-2"},{"key":"11_CR12","doi-asserted-by":"crossref","unstructured":"W. Reisig: A Petri Net Primer\", Springer-Verlag 1984, to appear","DOI":"10.1007\/978-3-642-69968-9"},{"key":"11_CR13","unstructured":"W. Reisig: \"Partial Order Semantics for CSP-like Languages and its Impact on Fairness\", in: proc. ICALP 1984, LNCS 172"},{"key":"11_CR14","doi-asserted-by":"crossref","unstructured":"G. Winskel: \"A New Definition of Morphism on Petri Nets\", in: proc. STACS 1984, LNCS 166","DOI":"10.1007\/3-540-12920-0_13"}],"container-title":["Lecture Notes in Computer Science","Advances in Petri Nets 1984"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-15204-0_11.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T20:08:14Z","timestamp":1605643694000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-15204-0_11"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1985]]},"ISBN":["9783540152040","9783540393207"],"references-count":14,"URL":"https:\/\/doi.org\/10.1007\/3-540-15204-0_11","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1985]]}}}