Carl Adam Petri (12 March 1926 – 2 July 2010) was a German computer scientist and mathematician best known for inventing Petri nets, a mathematical modeling language for the description of distributed systems.
Early life and education
Petri was born in Leipzig, Germany. He studied engineering and mathematics at the Technical University of Hamburg, where he earned his doctorate (Dr.-Ing.) in 1955 with a dissertation on the theory of store-and-forward networks. He completed his habilitation in 1960, qualifying for a professorial career.
Academic career
From 1960 to 1972, Petri held research positions at the Technical University of Hamburg and served as a director at the Institute for Applied Mathematics. In 1972 he was appointed full professor of computer science at the Technical University of Hamburg, a position he retained until his retirement in 1991. He also held visiting professorships at several institutions, including the University of California, Berkeley, and the University of Tokyo.
Contributions
Petri’s most influential contribution is the development of Petri nets, presented in his 1962 monograph Kommunikation mit Automaten (Communication with Automata). Petri nets provide a graphical and mathematical tool for modeling concurrent, asynchronous, distributed, parallel, nondeterministic, and stochastic systems. The formalism has been applied extensively in areas such as workflow management, verification of hardware and software systems, and systems biology.
Publications
Key works include:
- Kommunikation mit Automaten (1962) – the original exposition of Petri nets.
- Theory of Nets (co‑edited, 1979) – a collection of seminal papers on the subject.
- Numerous articles on concurrent systems, distributed computing, and formal methods.
Honors and awards
- IEEE Computer Society Computer Pioneer Award (1995) – for pioneering contributions to the theory of concurrent systems.
- Konrad Zuse Medal of the Gesellschaft für Informatik (German Informatics Society) (2000).
- Membership in the German Academy of Sciences Leopoldina.
- Honorary doctorates from several universities, including the University of Zurich and the University of Groningen.
Later life and legacy
After retirement, Petri remained active in the research community, mentoring younger scholars and participating in conferences on formal methods. He passed away on 2 July 2010 in Hamburg. Petri nets continue to be a fundamental concept in theoretical computer science and have inspired numerous extensions and variants. His work laid the groundwork for modern approaches to modeling and analyzing complex, concurrent systems.