Naissance |
Leipzig (République de Weimar) |
---|---|
Décès |
(à 83 ans) Siegburg (Allemagne) |
Domaines | mathématiques, informatique |
---|---|
Institutions | Université de Bonn |
Diplôme | Université de Hanovre, Université technique de Darmstadt |
Renommé pour | Réseau de Petri |
Carl Adam Petri (né le à Leipzig et mort le à Siegburg) est un mathématicien allemand et un informaticien, qui fut professeur honoraire (Ehrenprofessor) de l'Université de Hambourg.
Petri a inventé les réseaux de Petri en 1962 dans une partie de sa thèse de doctorat : Kommunikation mit Automaten (Communication par les automates) à l'université technologique de Darmstadt. Il participa de manière significative à l'avancement du calcul parallèle et du calcul distribué, et aida à la définition de concepts modernes tels que les systèmes complexes et le management de workflow. Il se retira officiellement en 1991.
Ses contributions se situent dans le domaine large de la théorie des réseaux, ce qui inclut les modèles de coordination et la théorie de l'interaction, et le conduisit finalement vers l'étude formelle de la connexion de logiciels.