{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,11]],"date-time":"2024-09-11T04:46:02Z","timestamp":1726029962022},"publisher-location":"Cham","reference-count":18,"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_7","type":"book-chapter","created":{"date-parts":[[2019,5,24]],"date-time":"2019-05-24T13:09:17Z","timestamp":1558703357000},"page":"45-66","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":1,"title":["Petri Nets: The Next 50 Years\u2014An Invitation and Interpretative Translation"],"prefix":"10.1007","author":[{"given":"Heinz W.","family":"Schmidt","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2019,5,25]]},"reference":[{"key":"7_CR1","doi-asserted-by":"publisher","first-page":"37","DOI":"10.1016\/j.entcs.2005.12.075","volume":"162","author":"S Abramsky","year":"2006","unstructured":"S. Abramsky, What are the fundamental structures of concurrency? We still don\u2019t know! Electron. Notes Theor. Comput. Sci. 162, 37\u201341 (2006)","journal-title":"Electron. Notes Theor. Comput. Sci."},{"issue":"4","key":"7_CR2","doi-asserted-by":"publisher","first-page":"955","DOI":"10.1007\/s11047-010-9180-6","volume":"9","author":"P Baldan","year":"2010","unstructured":"P. Baldan, N. Coceo, A. Marin, M. Simeoni, Petri nets for modelling metabolic pathways: a survey. Nat. Comput. 9(4), 955\u2013989 (2010)","journal-title":"Nat. Comput."},{"key":"7_CR3","unstructured":"M. Bremer, In the Shadow of the Holocaust \u2013 The Changing Image of German Jewry After 1945 (United States Holocaust Memorial Museum, Washington, 2008)"},{"issue":"3","key":"7_CR4","doi-asserted-by":"publisher","first-page":"219","DOI":"10.1007\/BF01857727","volume":"21","author":"E Fredkin","year":"1982","unstructured":"E. Fredkin, T. Toffoli, Conservative logic. Int. J. Theor. Phys. 21(3), 219\u2013253 (1982)","journal-title":"Int. J. Theor. Phys."},{"key":"7_CR5","first-page":"175","volume-title":"Lecture Notes in Computer Science","author":"Goffredo Haus","year":"1988","unstructured":"G. Haus, A. Rodriguez, Music description and processing by Petri Nets, in Advances in Petri Nets, ed. by G. Rozenberg. Lecture Notes in Computer Science, vol. 340 (Springer, Berlin, 1988), pp. 175\u2013199"},{"key":"7_CR6","first-page":"116","volume-title":"SEGRAS\u2014a formal and semigraphical language combining Petri nets and abstract data types for the specification of distributed systems, in Proceedings of the 9th International Conference on Software Engineering, ICSE \u201987","author":"B Kr\u00e4mer","year":"1987","unstructured":"B. Kr\u00e4mer, SEGRAS\u2014a formal and semigraphical language combining Petri nets and abstract data types for the specification of distributed systems, in Proceedings of the 9th International Conference on Software Engineering, ICSE \u201987 (IEEE Computer Society Press, Los Alamitos, 1987), pp. 116\u2013125"},{"key":"7_CR7","doi-asserted-by":"publisher","first-page":"269","DOI":"10.1007\/978-3-642-72822-8_19","volume-title":"Concurrency and Nets","author":"B Kr\u00e4mer","year":"1987","unstructured":"B. Kr\u00e4mer, H.W. Schmidt, Types and modules for net specifications, in Concurrency and Nets, ed. by K. Voss, H.J. Genrich, G. Rozenberg (Springer, Berlin, 1987), pp. 269\u2013286"},{"issue":"l","key":"7_CR8","doi-asserted-by":"publisher","first-page":"78","DOI":"10.1145\/151233.151240","volume":"36","author":"R Milner","year":"1993","unstructured":"R. Milner, Elements of interaction: Turing Award Lecture. Commun. ACM 36(l), 78\u201389 (1993)","journal-title":"Commun. ACM"},{"key":"7_CR9","first-page":"331","volume-title":"Lecture Notes in Computer Science","author":"Leo Ojala","year":"2004","unstructured":"L. Ojala, O.-M. Penttinen, E. Parviainen, Modeling and analysis of Margolus quantum cellular automata using net-theoretical methods, in Applications and Theory of Petri Nets, ed. by J. Cortadella, W. Reisig. Lecture Notes in Computer Science, vol. 3099 (Springer, Berlin, 2004), pp. 331\u2013350"},{"key":"7_CR10","unstructured":"C.A. Petri, Kommunikation mit Automaten, Ph.D. thesis, University Bonn, 1962"},{"key":"7_CR11","doi-asserted-by":"publisher","first-page":"251","DOI":"10.1007\/3-540-10001-6_26","volume-title":"Net Theory and Applications","author":"C. A. Petri","year":"1980","unstructured":"C.A. Petri, Concurrency, in Net Theory and Applications, ed. by W. Brauer. Lecture Notes in Computer Science, vol. 84 (Springer, Berlin, 1980), pp. 251\u2013260"},{"key":"7_CR12","first-page":"1","volume-title":"Net Theory and Applications","author":"C. A. Petri","year":"1980","unstructured":"C.A. Petri, Introduction to general net theory, in Net Theory and Applications, ed. by W. Brauer. Lecture Notes in Computer Science, vol. 84 (Springer, Berlin, 1980), pp. 1\u201319"},{"issue":"2","key":"7_CR13","doi-asserted-by":"publisher","first-page":"141","DOI":"10.1007\/s005000000070","volume":"5","author":"CA Petri","year":"2001","unstructured":"C.A. Petri, Cultural aspects of net theory. Soft Comput. 5(2), 141\u2013145 (2001)","journal-title":"Soft Comput."},{"issue":"1","key":"7_CR14","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/0304-3975(91)90203-E","volume":"80","author":"W Reisig","year":"1991","unstructured":"W. Reisig, Petri nets and algebraic specifications. Theor. Comput. Sci. 80(1), 1\u201334 (1991)","journal-title":"Theor. Comput. Sci."},{"key":"7_CR15","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-658-14757-0","volume-title":"Das Gl\u00fcck Mathematiker zu sein: Friedrich Hirzebruch und seine Zeit","author":"W Scharlau","year":"2017","unstructured":"W. Scharlau, Das Gl\u00fcck Mathematiker zu sein: Friedrich Hirzebruch und seine Zeit (Springer, Berlin, 2017)"},{"key":"7_CR16","unstructured":"H.W. Schmidt, Specification and Correct Implementation of Non-sequential Systems Combining Abstract Data Types and Petri Nets (Oldenbourg, Munich, 1989)"},{"issue":"1","key":"7_CR17","doi-asserted-by":"publisher","first-page":"43","DOI":"10.1016\/0164-1212(91)90076-I","volume":"15","author":"HW Schmidt","year":"1991","unstructured":"H.W. Schmidt, Prototyping and analysis of non-sequential systems using predicate-event nets. J. Syst. Softw. 15(1), 43\u201362 (1991)","journal-title":"J. Syst. Softw."},{"key":"7_CR18","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-40222-7","volume-title":"Carl Adam Petri: Eine Biographie","author":"E Smith","year":"2014","unstructured":"E. Smith, Carl Adam Petri: Eine Biographie (Springer, Berlin, 2014)"}],"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_7","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,24]],"date-time":"2019-05-24T13:18:25Z","timestamp":1558703905000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-96154-5_7"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2019]]},"ISBN":["9783319961538","9783319961545"],"references-count":18,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-96154-5_7","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"}}]}}