Carl Adam Petri

Carl Adam Petri (1926–2010) was a German mathematician and computer scientist who invented the eponymous Petri nets in 1962, presenting them in his doctoral dissertation Kommunikation mit Automaten at the University of Bonn. His insight was that the then-dominant models of computation — Turing machines and finite automata — were inadequate for describing systems with concurrent, asynchronous, and distributed behavior. Petri sought a model in which the partial order of events, not their total sequencing, was the fundamental structure. His nets, originally conceived as a tool for modeling chemical processes and communication networks, have since become one of the most widely used formalisms for concurrent and distributed systems. Petri spent much of his later career at the GMD (German National Research Center for Information Technology) developing the elementary net systems theory and exploring the philosophical implications of true concurrency.

_Petri's insistence on the partial order of events as fundamental was not merely a technical preference. It was a metaphysical claim: that simultaneity is not the absence of order but a positive structural relation. The computer scientists who reduced Petri nets to interleaving semantics — treating concurrency as nondeterministic choice — betrayed the very insight that made the formalism valuable._