Петри, Карл Адам
Карл Адам Петри (нем. Carl Adam Petri; 12 июля 1926[3], Лейпциг, Саксония, Свободное государство Пруссия, Германия[3] — 2 июля 2010[3], Зигбург, Кёльн, Северный Рейн-Вестфалия, Германия) — немецкий математик и исследователь в области информатики.
Общие сведения
| Карл Адам Петри | |
|---|---|
| Carl Adam Petri | |
| Дата рождения | 12 июля 1926 |
| Место рождения | Лейпциг, Веймарская республика |
| Дата смерти | 2 июля 2010 (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].
Отличия, звания и награды
- 1962 профессор Альвин Вальтер распознал важность трудов Петри и способствует избранию диссертации Петри лучшей диссертацией 1961/62 учебного года.
- 1985 избран председателем регламентной комиссии ICPN.
- 1988 Орден «За заслуги», первого класса.
- 1988 становится почётным профессором Гамбургского университета, до 1994 проводит семинары посвящены общей теории сетей.
- 1989 избран в Лондоне членом Европейской Академии.
- 1993 Медаль имени Конрада Цузе за выдающиеся заслуги перед информатикой.
- 1996 Президент ФРГ Роман Герцог вручил Кольцо Вернера фон Зименса за выдающийся вклад в развитие технологии и науки.
- 1997 становится членом Нью-Йоркской Академии наук.
- 1998 «Society for Design and Process Science» впервые наградила «Carl Adam Petri Distinguished Technical Achievement Award».
- 1999 степень «Doktor Honoris Causa» от Университета Сарагосы.
- 2003 Королева Нидерландов наградила Орденом Нидерландского льва.
- 2007 «Academy of Transdisciplinary Learning and Advanced Studies» (ATLAS) наградила за достижения «Academy Gold Medal of Honor»[9].
- 2008 Награда Компьютерного общества IEEE «Пионер компьютерной техники» (Computer Pioneer Award)[10][2].
Память
- В честь учёного названа улица в Потсдаме — Carl-Adam-Petri-Straße.
- В 2011 году в Гамбургском университете состоялся мемориальный симпозиум памяти Петри[11].
- К 100-летию со дня рождения учёного приурочена 47-я Международная конференция по применению и теории сетей Петри (PETRI NETS 2026), проходящая в июне 2026 года в Гамбурге[12].
Примечания
Ссылки
- Prof. Dr. Carl Adam Petri Архивная копия от 14 мая 2011 на Wayback Machine (англ.) (нем.)