Carl Adam Petri

Einar SmithGraduation in mathematics and computer science, University of Bonn; social economy, University of Oslo. PhD dissertation in computer science 1989, University of Hamburg. From 1984 affiliated with the Gesellschaft für Mathematik und Datenverarbeitung (GMD, German National Center for Mathematics and Computer Science), later Fraunhofer Insitute, Sankt Augustin near Bonn, research field Petri nets. From 1989 lecture activities on Petri nets and theoretical computer science at the Univesities of Koblenz, Berlin (Humboldt-University) and Campina Grande, Brazil. Lecture activities on applied mathematics at the Universities of Cologne and Bonn. Author of a text-book on the Theory of Computability, Springer-Verlag 1996.

“The book can be considered as both an emotional and exciting novel … . It was a great honor and quite a privilege for me to have had the opportunity to meet Petri several times during my career, and it would be great if many people who did not have that opportunity could now get to know him by reading this book, which I strongly recommend.” (David de Frutos Escrig, Mathematical Reviews, January, 2017)

• Introduction.- Infancy and Youth.- University, Academe, Family.- Thesis on Automata.- The Maturing Years.- GMD - Home of the Petri Nets.- Net Foldings.- Morphisms and Topology.- Non-Sequential Processes and Concurrency Theory.- Communication Disciplines.- Theory of Measurement.- The Prosperity Years.- The Late Years.- References.- Index