Петри, Карл Адам

Материал из Википедии — свободной энциклопедии
(перенаправлено с «Карл Петри»)
Перейти к навигации Перейти к поиску
Карл Адам Петри
нем. Carl Adam Petri
Дата рождения 12 июля 1926(1926-07-12)
Место рождения Лейпциг, Веймарская республика
Дата смерти 2 июля 2010(2010-07-02) (83 года)
Место смерти Зигбург
Страна
Научная сфера Математика, Информатика
Место работы Боннский университет
Альма-матер Дармштадтский технический университет
Учёная степень докторская степень[d][2]
Научный руководитель Альвин Вальтер[d][3] и Heinz Unger[d][3]
Известен как сети Петри
Награды и премии Орден «За заслуги», первого класса (1988)
Медаль имени Конрада Цузе (1993)
Кольцо Вернера фон Зименса (1996)
IEEE Computer Pioneer Award (2008) [1]
Логотип Викисклада Медиафайлы на Викискладе

Карл Адам Петри (нем. Carl Adam Petri; 12 июля 19262 июля 2010) — немецкий математик и исследователь в области информатики.

Биография[править | править код]

Сети Петри были изобретены в августе 1939 году Карлом Адамом Петри, в возрасте 13 лет, для описания химических процессов[4]. Благодаря родительским связям Карл Адам имел доступ к библиотеке в Лейпциге, где он ознакомился с (в то время запрещёнными) трудами Эйнштейна и Гейзенберга. В 1941 году отец Петри рассказал об исследованиях вычислительных машин Конрадом Цузе и Карл Адам начинает собирать собственный аналоговый компьютер.

После завершения учёбы в Школе Святого Фомы он, в 1944 году, был призван в Вермахт, впоследствии попадает в британский плен.

Петри начал математические опыты в Дармштадтском техническом университете в 1950 году. Он описал сети Петри в 1962 году в рамках диссертации нем. «Kommunikation mit Automaten» (взаимодействие с автоматами). Работал с 1959 по 1962 год в Боннском университете, в 1962 году получил степень доктора философии в Дармштадтском университете.

Труды Петри стали существенным вкладом в развитие параллельных вычислений и распределённых вычислений, способствовали исследованиям сложных систем и потоков работ.

В 1988 году Карл Адам Петри стал почётным профессором Гамбургского университета[5]. Официально вышел на пенсию 1991 году. Был членом Европейской Академии.

Отличия, звания и награды[править | править код]

Примечания[править | править код]

  1. 1 2 Carl Adam Petri erhält den "Computer Pioneer Award". Дата обращения: 7 декабря 2011. Архивировано 28 июля 2011 года.
  2. Deutsche Nationalbibliothek Record #118824090 // Gemeinsame Normdatei (нем.) — 2012—2016.
  3. 1 2 Mathematics Genealogy Project (англ.) — 1997.
  4. Carl Adam Petri and Wolfgang Reisig (2008) Petri net. Scholarpedia, 3(4):6477. Дата обращения: 7 декабря 2011. Архивировано 23 мая 2011 года.
  5. Petri's page at the University of Hamburg. Дата обращения: 7 декабря 2011. Архивировано 14 мая 2011 года.
  6. Prof. Carl Adam Petri mit Goldmedaille geehrt - Lehrgebiet Datenverarbeitungstechnik - FernUniversität in Hagen. Дата обращения: 7 декабря 2011. Архивировано 9 января 2010 года.
  7. 2008 Computer Pioneer Award Recipient. Дата обращения: 1 мая 2014. Архивировано из оригинала 2 мая 2014 года.

Ссылки[править | править код]