{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,11]],"date-time":"2024-09-11T04:46:34Z","timestamp":1726029994623},"publisher-location":"Cham","reference-count":6,"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_4","type":"book-chapter","created":{"date-parts":[[2019,5,24]],"date-time":"2019-05-24T09:09:17Z","timestamp":1558688957000},"page":"25-29","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Invention or Discovery?"],"prefix":"10.1007","author":[{"given":"Kees M.","family":"van Hee","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2019,5,25]]},"reference":[{"key":"4_CR1","doi-asserted-by":"crossref","unstructured":"J.L.G. Dietz, G.J. Houben, K.M. van Hee, Modeling of discrete dynamic systems: framework and examples. Inf. Syst. 14(4) (1989)","DOI":"10.1016\/0306-4379(89)90048-3"},{"key":"4_CR2","doi-asserted-by":"crossref","unstructured":"W. van der Aalst, P.J.N. de Crown, R. Goverde, K.M. van Hee, W. Hofman, H. Reijers, R. van der Toorn, ExSpect 6.4: an executable specification tool for hierarchical colored Petri nets, in ICATPN 200, ed. by M. Nielsen, D. Simpson. LNCS, vol. 1825 (Springer, Berlin, 2000), pp. 455\u2013464, \n                  www.exspect.com","DOI":"10.1007\/3-540-44988-4_26"},{"key":"4_CR3","doi-asserted-by":"publisher","first-page":"248","DOI":"10.1007\/978-3-540-47919-2_10","volume-title":"Petri Nets: Central Models and Their Properties","author":"Kurt Jensen","year":"1987","unstructured":"K. Jensen, Coloured Petri nets, in Petri Nets Central Models and Their Properties, ed. by W. Brauer, W. Reisig, G. Rozenberg. LNCS, vol. 254 (Springer, Berlin, 1987), pp. 248\u2013299"},{"key":"4_CR4","doi-asserted-by":"publisher","first-page":"120","DOI":"10.1038\/scientificamerican1070-120","volume":"223","author":"M Gardner","year":"1970","unstructured":"M. Gardner, Mathematical Games \u2013 The fantastic combinations of John Conway\u2019s new solitaire game \u201clife\u201d. Sci. Am. 223, 120\u2013123 (1970)","journal-title":"Sci. Am."},{"key":"4_CR5","unstructured":"C.A. Petri, On the physical basics of information flow, results obtained in cooperation with Konrad Zuse, presented by R\u00fcdiger Valk, in ICATPN 2008, ed. by K.M. van Hee, R. Valk. LNCS, vol. 5062 (Springer, Berlin, 2008), p. 12"},{"key":"4_CR6","doi-asserted-by":"crossref","unstructured":"E. Verlinde, Emergent gravity and dark universe, ArXiv:1611.02269V2 (2016)","DOI":"10.21468\/SciPostPhys.2.3.016"}],"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_4","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,24]],"date-time":"2019-05-24T09:18:13Z","timestamp":1558689493000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-96154-5_4"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2019]]},"ISBN":["9783319961538","9783319961545"],"references-count":6,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-96154-5_4","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"}}]}}