Карл Адам Петри | |
---|---|
Родился | (1926-07-12) 12 июля 1926 года. Лейпциг, Веймарская республика |
Умер | 2 июля 2010 г. (2010-07-02) (83 года). Зигбург |
Alma mater | Ганноверский университет Лейбница, Технический университет Дармштадта |
Известен на | Петри сети |
Награды | Крест за заслуги перед Первой степенью (1988). Медаль Конрада Цузе (1993). Вернер фон Сименс Ринг (1996). Премия IEEE Computer Pioneer Award (2008) |
Научная карьера | |
Области | Математика, Информатика |
Учреждения | Университет из Бонна |
Карл Адам Петри (12 июля 1926 года в Лейпциге - 2 июля 2010 года в Зигбурге) был немцем математиком и компьютерным ученым.
Петри создал свой главный научный вклад, концепцию сети Петри, в 1939 году в возрасте 1 года. 3, с целью описания химических процессов. В 1941 году отец рассказал ему о работе Конрада Цузе над вычислительными машинами, и Карл Адам начал создавать свой собственный аналоговый компьютер.
, получив Abitur в Thomasschule в 1944 г. был призван в вермахт. Он был взят в британский плен до 1949 года, когда он покинул Англию.
Петри начал изучать математику в (сегодня Ганноверский университет ) в 1950 году. Он задокументировал сеть Петри в 1962 году. в рамках его диссертации Kommunikation mit Automaten (связь с автоматами). Он работал с 1959 по 1962 год в Университете Бонна и получил степень доктора философии в 1962 году в Техническом университете Дармштадта. С 1963 по 1968 год он основал и руководил вычислительным центром Боннского университета. В 1968 году он возглавил Forschungsinstitut für Informationssysteme недавно основанного Gesellschaft für Mathematik und Datenverarbeitung (GMD). Он вышел на пенсию в 1991 году.
В 1988 году Петри стал почетным профессором Гамбургского университета. Он был членом Academia Europaea.
Работа Петри значительно продвинула области параллельных вычислений и распределенных вычислений, и это помогло определить современные исследования сложные системы и системы управления рабочим процессом. Его вклад был в более широкую область теории сетей, которая включает модели координации и теории взаимодействия, и в конечном итоге привела к формальному исследованию программных соединителей.
Петри был удостоен следующих наград:
Викискладе есть медиафайлы, связанные с Карлом Адамом Петри. |