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

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

Биография

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

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

В 1956—1958 годах работал научным ассистентом в Техническом университете Ганновера[1]. Петри начал математические опыты в Дармштадтском техническом университете в 1950 году. Он описал сети Петри в 1962 году в рамках диссертации нем. «Kommunikation mit Automaten» (взаимодействие с автоматами). Работал с 1959 по 1962 год в Боннском университете, в 1962 году получил степень доктора философии в Дармштадтском университете. С 1963 по 1968 год руководил вычислительным центром Боннского университета[1]. С 1968 по 1991 год был директором Научно-исследовательского института информационных систем в составе Общества математики и обработки данных (GMD)[1].

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

Научная деятельность

Главным научным достижением Карла Адама Петри является создание математического аппарата для моделирования и анализа распределённых систем, известного как сети Петри. Базовыми элементами этой модели являются позиции, переходы и токены (метки)[7]. Труды Петри стали существенным вкладом в развитие параллельных вычислений и распределённых вычислений, способствовали исследованиям сложных систем и потоков работ. В современной информатике теория сетей Петри продолжает активно применяться, являясь фундаментальным инструментом в технологии интеллектуального анализа процессов (Process Mining) и используясь для моделирования в сфере информационной безопасности[8].

Отличия, звания и награды

Память

  • В честь учёного названа улица в Потсдаме — Carl-Adam-Petri-Straße.
  • В 2011 году в Гамбургском университете состоялся мемориальный симпозиум памяти Петри[11].
  • К 100-летию со дня рождения учёного приурочена 47-я Международная конференция по применению и теории сетей Петри (PETRI NETS 2026), проходящая в июне 2026 года в Гамбурге[12].

Примечания

  1. 1 2 3 4 5 Curriculum Vitae. Universität Hamburg. Дата обращения: 6 июня 2026.
  2. 1 2 Carl Adam Petri erhält den "Computer Pioneer Award". Дата обращения: 6 июня 2026. Архивировано 28 июля 2011 года.
  3. 1 2 3 4 Deutsche Nationalbibliothek, Staatsbibliothek zu Berlin, Bayerische Staatsbibliothek, Österreichische Nationalbibliothek Record #118824090 // Gemeinsame Normdatei (нем.) — 2012—2016.
  4. 1 2 Mathematics Genealogy Project (англ.) — 1997.
  5. Carl Adam Petri and Wolfgang Reisig (2008) Petri net. Scholarpedia, 3(4):6477. Дата обращения: 6 июня 2026. Архивировано 23 мая 2011 года.
  6. Petri's page at the University of Hamburg. Дата обращения: 6 июня 2026. Архивировано 14 мая 2011 года.
  7. Сеть Петри. Sewiki.ru. Дата обращения: 6 июня 2026.
  8. Анализ соответствия бизнес-процессов с помощью PM4Py. Babok School. Дата обращения: 6 июня 2026.
  9. Prof. Carl Adam Petri mit Goldmedaille geehrt - Lehrgebiet Datenverarbeitungstechnik - FernUniversität in Hagen. Дата обращения: 7 декабря 2011. Архивировано 9 января 2010 года.
  10. 2008 Computer Pioneer Award Recipient. Дата обращения: 6 июня 2026. Архивировано 2 мая 2014 года.
  11. Carl Adam Petri Memorial Symposium. Universität Hamburg. Дата обращения: 6 июня 2026.
  12. Petri Net Conference 2026. Universität Hamburg. Дата обращения: 6 июня 2026.

Ссылки

Дополнительно по теме