Carl Adam Petri
Carl Adam Petri | |
---|---|
Born | |
Died | 2 July 2010 | (aged 83)
Alma mater | Leibniz University Hannover, Technische Universität Darmstadt |
Known for | Petri nets |
Awards | Cross of Merit, First class (1988) Konrad Zuse Medal (1993) Werner von Siemens Ring (1996) IEEE Computer Pioneer Award (2008)[1] |
Scientific career | |
Fields | Mathematics, Computer science |
Institutions | University of Bonn |
Carl Adam Petri (12 July 1926 in Leipzig – 2 July 2010 in Siegburg)[2][3] was a German mathematician and computer scientist.
Life and work[]
Petri created his major scientific contribution, the concept of the Petri net, in 1939 at the age of 13, for the purpose of describing chemical processes.[4] In 1941 his father told him about Konrad Zuse's work on computing machines and Carl Adam started building his own analog computer.
After earning his Abitur at Thomasschule in 1944, he was drafted into the Wehrmacht. He was taken into British captivity until 1949, when he departed England.[5]
Petri started studying mathematics at the Technischen Hochschule Hannover (today, the Leibniz University Hannover) in 1950. He documented the Petri net in 1962 as part of his dissertation, Kommunikation mit Automaten (communication with automata). He worked from 1959 until 1962 at the University of Bonn and received his PhD degree in 1962 from the Technische Universität Darmstadt. From 1963 to 1968 he established and directed the computing centre of Bonn University.[5] In 1968 he became head of Forschungsinstitut für Informationssysteme of the newly founded Gesellschaft für Mathematik und Datenverarbeitung (GMD). He retired in 1991.
In 1988 Petri became honorary professor of the University of Hamburg.[6] He was a member of the Academia Europaea.
Petri's work significantly advanced the fields of parallel computing and distributed computing, and it helped define the modern studies of complex systems and workflow management systems. His contributions have been in the broader area of network theory, which includes coordination models and theories of interaction, and eventually led to the formal study of software connectors.
Books, Papers, and Presentations[]
- 1962
- Kommunikation mit Automaten (dissertation) by Carl Adam Petri[7]
- 1976
- 1977
- 1979
- 1980
- Concurrency (from "Net Theory and Applications, Proceedings of the Advanced Course on General Net Theory of Processes and Systems, Hamburg, October 8-19, 1979") by Carl Adam Petri[14]
- Introduction to General Net Theory (from "Net Theory and Applications, Proc. of the Advanced Course on General Net Theory of Processes and Systems, Hamburg, 1979") by Carl Adam Petri[15]
- 1982
- State-Transition Structures in Physics and Computation (article in "International Journal of Theoretical Physics") by Carl Adam Petri[16]
- 1987
- Concurrency Theory (from "Petri Nets: Central Models and Their Properties, Advances in Petri Nets 1986, Part I, Proceedings of an Advanced Course, Bad Honnef, September 1986") by Carl Adam Petri[17]
- 1996
- Nets, Time and Space (from "Theoretical Computer Science") by Carl Adam Petri[18]
- 1997
- Ansprache anläßlich der Verleihung des Werner-von-Siemens-Rings by Carl Adam Petri[19]
- 2008
- Petri Nets by Carl Adam Petri and Wolfgang Reisig[20]
Awards[]
Petri was honored with the following awards:
- 1993: Konrad Zuse Medal of the Gesellschaft für Informatik.[21]
- 1997: Werner von Siemens Ring, a prestigious German award in technical sciences.[22][23]
- 1999: Doctorate Honoris Causa from the Universidad de Zaragoza[24]
- 2003: honored by Her Majesty the Queen of the Netherlands with the title Commander in the Order of the Netherlands Lion.[24]
- 2007: honored for his lifetime achievements by the "Academy of Transdisciplinary Learning and Advanced Studies (ATLAS)" with a "Academy Gold Medal of Honor".[25]
- 2008: Computer Pioneer Award from the IEEE for his inspiration of Petri nets.[26][24]
See also[]
- Petri net
- Discrete Event Dynamic Systems (DEDS)
References[]
- ^ "Carl Adam Petri erhält den "Computer Pioneer Award"".
- ^ Smith, Einar (2015). Carl Adam Petri: Life and Science. Springer. ISBN 978-3-662-48092-2.
- ^ "Prof. Dr. Carl Adam Petri". www.informatik.uni-hamburg.de. Retrieved 2020-10-25.
- ^ [1] Carl Adam Petri and Wolfgang Reisig (2008), Scholarpedia, 3(4):6477, retrieved 2016-02-24.
- ^ Jump up to: a b Reisig, Wolfgang; Rozenberg, Grzegorz; Thiagarajan, P. S. (2013). Jensen, Kurt; van der Aalst, Wil M. P.; Balbo, Gianfranco; Koutny, Maciej; Wolf, Karsten (eds.). "In Memoriam: Carl Adam Petri". Transactions on Petri Nets and Other Models of Concurrency VII. Lecture Notes in Computer Science. Berlin, Heidelberg: Springer. 7480: 1–5. doi:10.1007/978-3-642-38143-0_1. ISBN 978-3-642-38143-0.
- ^ Petri's page at the University of Hamburg
- ^ "Bibliography - Petri62". www.informatik.uni-hamburg.de. Retrieved 2020-10-25.
- ^ "Bibliography - Petri76a". www.informatik.uni-hamburg.de. Retrieved 2020-10-25.
- ^ "Bibliography - Petri76". www.informatik.uni-hamburg.de. Retrieved 2020-10-25.
- ^ "Bibliography - Petri77". www.informatik.uni-hamburg.de. Retrieved 2020-10-25.
- ^ "Bibliography - Petri77a". www.informatik.uni-hamburg.de. Retrieved 2020-10-25.
- ^ "Bibliography - Petri79a". www.informatik.uni-hamburg.de. Retrieved 2020-10-25.
- ^ "Bibliography - Petri79". www.informatik.uni-hamburg.de. Retrieved 2020-10-25.
- ^ "Bibliography - Petri80a". www.informatik.uni-hamburg.de. Retrieved 2020-10-25.
- ^ "Bibliography - Petri80". www.informatik.uni-hamburg.de. Retrieved 2020-10-25.
- ^ "Bibliography - Petri82". www.informatik.uni-hamburg.de. Retrieved 2020-10-25.
- ^ "Bibliography - Petri87". www.informatik.uni-hamburg.de. Retrieved 2020-10-25.
- ^ "Bibliography - Petri96". www.informatik.uni-hamburg.de. Retrieved 2020-10-25.
- ^ "Bibliography - Petri97". www.informatik.uni-hamburg.de. Retrieved 2020-10-25.
- ^ "Bibliography - Petri+08". www.informatik.uni-hamburg.de. Retrieved 2020-10-25.
- ^ Konrad-Zuse-Medaille Archived 2014-08-19 at the Wayback Machine, Gesellschaft für Informatik (in German), retrieved 2012-03-09.
- ^ [2] idw - Informationsdienst Wissenschaft (in German), retrieved 2016-02-24.
- ^ [3] Stiftung Werner-von-Siemens-Ring (in German), retrieved 2016-02-24.
- ^ Jump up to: a b c Silva, Manuel (October 14, 2013). "Half a century after Carl Adam Petri's Ph.D. thesis: A perspective on the field". Annual Reviews in Control. 37 (2): 191–219. doi:10.1016/j.arcontrol.2013.09.001. Retrieved September 24, 2020.
- ^ [4] TheATLAS, retrieved 2016-02-24.
- ^ [5] Carl Adam Petri, 2008 IEEE Computer Pioneer Award Recipient, retrieved 2016-02-24.
External links[]
Wikimedia Commons has media related to Carl Adam Petri. |
- 1926 births
- 2010 deaths
- Scientists from Leipzig
- Technische Universität Darmstadt alumni
- German computer scientists
- 20th-century German mathematicians
- Werner von Siemens Ring laureates
- Formal methods people
- University of Bonn faculty
- University of Hamburg faculty
- Petri nets
- Members of Academia Europaea
- Officers Crosses of the Order of Merit of the Federal Republic of Germany
- Commanders of the Order of the Netherlands Lion