{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,11]],"date-time":"2024-09-11T04:46:26Z","timestamp":1726029986630},"publisher-location":"Cham","reference-count":7,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319961538"},{"type":"electronic","value":"9783319961545"}],"license":[{"start":{"date-parts":[[2019,1,1]],"date-time":"2019-01-01T00:00:00Z","timestamp":1546300800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2019]]},"DOI":"10.1007\/978-3-319-96154-5_10","type":"book-chapter","created":{"date-parts":[[2019,5,24]],"date-time":"2019-05-24T13:09:17Z","timestamp":1558703357000},"page":"81-84","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Carl Adam Petri: A Tribute from Aarhus"],"prefix":"10.1007","author":[{"given":"Kurt","family":"Jensen","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Mogens","family":"Nielsen","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2019,5,25]]},"reference":[{"key":"10_CR1","unstructured":"CPN Tools homepage, www.cpntools.org"},{"key":"10_CR2","doi-asserted-by":"crossref","unstructured":"K. Jensen, Coloured Petri nets. Basic concepts, analysis methods and practical use, in Monographs in Theoretical Computer Science, vols. 1\u20133 (Springer, Berlin, 1992\u20131997)","DOI":"10.1007\/978-3-642-60794-3"},{"key":"10_CR3","doi-asserted-by":"crossref","unstructured":"K. Jensen, M. Kyng, O.-L. Madsen, A Petri net definition of a system description language, in Semantics of Concurrent Computation, ed. by G. Kahn. Lecture Notes in Computer Science, vol. 70 (Springer, Berlin, 1979), pp. 348\u2013368","DOI":"10.1007\/BFb0022479"},{"key":"10_CR4","doi-asserted-by":"crossref","unstructured":"M. Nielsen, P.S. Thiagarajan, Degrees of non-determinism and concurrency: a Petri net view, in FSTTCS\u201984, ed. by M. Joseph, R. Shyamasundar. Lecture Notes in Computer Science, vol. 181 (Springer, Berlin, 1984), pp. 89\u2013117","DOI":"10.1007\/3-540-13883-8_66"},{"issue":"1","key":"10_CR5","doi-asserted-by":"publisher","first-page":"85","DOI":"10.1016\/0304-3975(81)90112-2","volume":"13","author":"M Nielsen","year":"1981","unstructured":"M. Nielsen, G. Plotkin, G. Winskel, Petri nets, event structures and domains, Part 1. Theor. Comput. Sci. 13(1), 85\u2013108 (1981)","journal-title":"Theor. Comput. Sci."},{"key":"10_CR6","doi-asserted-by":"publisher","first-page":"561","DOI":"10.1007\/BFb0012800","volume-title":"Automata, Languages and Programming","author":"Glynn Winskel","year":"1982","unstructured":"G. Winskel, Event structure semantics for CCS and related languages, in ICALP\u201982, ed. by M. Nielsen, E.M. Schmidt. Lecture Notes in Computer Science, vol. 140 (Springer, Berlin, 1979), pp. 561\u2013576"},{"key":"10_CR7","doi-asserted-by":"crossref","unstructured":"G. Winskel, M. Nielsen, Models for concurrency, in Handbook of Logic in Computer Science, ed. by S. Abramsky, D. Gabbay, T.S.E. Maibaum, vol. 4 (Oxford University Press, Oxford, l995), pp. 1\u2013148","DOI":"10.1093\/oso\/9780198537809.003.0001"}],"container-title":["Carl Adam Petri: Ideas, Personality, Impact"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-96154-5_10","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,7,18]],"date-time":"2024-07-18T16:10:08Z","timestamp":1721319008000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-96154-5_10"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2019]]},"ISBN":["9783319961538","9783319961545"],"references-count":7,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-96154-5_10","relation":{},"subject":[],"published":{"date-parts":[[2019]]},"assertion":[{"value":"25 May 2019","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}