Карл Адам Петри
Карл Адам Петри | |
|---|---|
 | |
| Рожденный | 12 июля 1926 г. |
| Умер | 2 июля 2010 г. (83 года) Зигбург , Германия |
| Альма-матер | Университет Лейбница в Ганновере , Технический университет Дармштадта |
| Известный | Сети Петри |
| Награды | Крест «За заслуги» первой степени (1988 г.). Медаль Конрада Цузе (1993). Вернер фон Сименс Ринг (1996) Премия IEEE Computer Pioneer (2008) [1] |
| Научная карьера | |
| Поля | Математика , Информатика |
| Учреждения | Боннский университет |
Карл Адам Петри (12 июля 1926 в Лейпциге — 2 июля 2010 в Зигбурге ) [2] [3] был немецким математиком и ученым-компьютерщиком .
Жизнь и работа [ править ]
Петри создал свой главный научный вклад — концепцию сети Петри — в 1939 году в возрасте 13 лет с целью описания химических процессов. [4] В 1941 году отец рассказал ему о Конрада Цузе работе над вычислительными машинами, и Карл Адам начал создавать свой собственный аналоговый компьютер .
Получив аттестат зрелости в Thomasschule в 1944 году, он был призван в Вермахт . Его держали в британском плену до 1949 года, когда он покинул Англию. [5]
Петри начал изучать математику в Высшей технической школе Ганновера (сегодня Ганноверский университет Лейбница ) в 1950 году. Он задокументировал сети Петри в 1962 году в рамках своей диссертации « Коммуникация с автоматами». С 1959 по 1962 год он работал в Боннском университете и получил степень доктора философии в 1962 году в Техническом университете Дармштадта . С 1963 по 1968 год основал и руководил вычислительным центром Боннского университета . [5] В 1968 году он стал главой Научно-исследовательского института информационных систем недавно основанного Общества математики и обработки данных (GMD). Он вышел на пенсию в 1991 году.
В 1988 году Петри стал почётным профессором Гамбургского университета . [6] Он был членом Европейской академии .
Работа Петри значительно продвинула области параллельных вычислений и распределенных вычислений , а также помогла определить современные исследования сложных систем и систем управления рабочими процессами . Его вклад был в более широкую область теории сетей , которая включает в себя модели координации и теории взаимодействия, и в конечном итоге привел к формальному изучению программных коннекторов.
Книги, статьи и презентации [ править ]
- 1962
- Связь с автоматами ( диссертация ) Карла Адама Петри [7]
- 1976
- 1977
- Общая теория сетей (из книги «Проектирование вычислительных систем: материалы Объединенного семинара IBM в Университете Ньюкасл-апон-Тайн») Карла Адама Петри. [10]
- Коммуникационные дисциплины (из книги «Проектирование вычислительных систем: материалы Объединенного семинара IBM в Университете Ньюкасл-апон-Тайн») Карла Адама Петри. [11]
- 1979
- 1980
- Параллелизм (из книги «Теория сетей и приложений, материалы углубленного курса общей сетевой теории процессов и систем, Гамбург, 8–19 октября 1979 г.») Карла Адама Петри. [14]
- Введение в общую теорию сетей (из «Теории сетей и приложений, учебный курс продвинутого курса по общей сетевой теории процессов и систем, Гамбург, 1979») Карла Адама Петри. [15]
- 1982
- Структуры с переходом состояний в физике и вычислениях (статья в «Международном журнале теоретической физики») Карла Адама Петри [16]
- 1987
- Теория параллелизма (из книги «Сети Петри: центральные модели и их свойства, достижения в области сетей Петри, 1986, часть I, материалы продвинутого курса, Бад-Хоннеф, сентябрь 1986 г.») Карла Адама Петри. [17]
- 1996
- Сети, время и пространство (из «Теоретической информатики») Карла Адама Петри [18]
- 1997
- Речь по случаю вручения Карла Адама Петри Кольца Вернера фон Сименса [19]
- 2008
- Сети Петри Карла Адама Петри и Вольфганга Райзига [20]
Награды [ править ]
Петри был удостоен следующих наград:
- 1993: Медаль Конрада Цузе Общества компьютерных наук . [21]
- 1997: Кольцо Вернера фон Сименса , престижная немецкая награда в области технических наук. [22] [23]
- доктор 1999: Почетный Университета Сарагосы. [24]
- 2003: удостоен Ее Величества Королевы Нидерландов звания Командора Ордена Нидерландского Льва . [24]
- 2007: за свои жизненные достижения награжден «Академией трансдисциплинарного обучения и перспективных исследований (ATLAS)» «Золотой почетной медалью Академии». [25]
- 2008: Премия Computer Pioneer Award от IEEE за вдохновение в области сетей Петри . [26] [24]
См. также [ править ]
Ссылки [ править ]
- ^ «Карл Адам Петри получает премию «Компьютерный пионер» » .
- ^ Смит, Эйнар (2015). Карл Адам Петри: Жизнь и наука . Спрингер. ISBN 978-3-662-48092-2 .
- ^ «Профессор доктор Карл Адам Петри» . www.informatik.uni-hamburg.de . Проверено 25 октября 2020 г.
- ^ [1] Карл Адам Петри и Вольфганг Райзиг (2008), Scholarpedia, 3 (4): 6477, получено 24 февраля 2016 г.
- ^ Jump up to: Перейти обратно: а б Райзиг, Вольфганг; Розенберг, Гжегож; Тиагараджан, PS (2013). «Памяти Карла Адама Петри» . В Дженсене, Курт; ван дер Аалст, член парламента Вила; Бальбо, Джанфранко; Кутны, Мацей; Вольф, Карстен (ред.). Транзакции в сетях Петри и другие модели параллелизма VII . Конспекты лекций по информатике. Том. 7480. Берлин, Гейдельберг: Springer. стр. 1–5. дои : 10.1007/978-3-642-38143-0_1 . ISBN 978-3-642-38143-0 .
- ^ Страница Петри в Гамбургском университете
- ^ «Библиография — Петри62» . www.informatik.uni-hamburg.de . Проверено 25 октября 2020 г.
- ^ «Библиография — Петри76а» . www.informatik.uni-hamburg.de . Проверено 25 октября 2020 г.
- ^ «Библиография — Петри76» . www.informatik.uni-hamburg.de . Проверено 25 октября 2020 г.
- ^ «Библиография — Петри77» . www.informatik.uni-hamburg.de . Проверено 25 октября 2020 г.
- ^ «Библиография — Петри77а» . www.informatik.uni-hamburg.de . Проверено 25 октября 2020 г.
- ^ «Библиография — Петри79а» . www.informatik.uni-hamburg.de . Проверено 25 октября 2020 г.
- ^ «Библиография — Петри79» . www.informatik.uni-hamburg.de . Проверено 25 октября 2020 г.
- ^ «Библиография — Петри80а» . www.informatik.uni-hamburg.de . Проверено 25 октября 2020 г.
- ^ «Библиография — Петри80» . www.informatik.uni-hamburg.de . Проверено 25 октября 2020 г.
- ^ «Библиография — Петри82» . www.informatik.uni-hamburg.de . Проверено 25 октября 2020 г.
- ^ «Библиография — Петри87» . www.informatik.uni-hamburg.de . Проверено 25 октября 2020 г.
- ^ «Библиография — Петри96» . www.informatik.uni-hamburg.de . Проверено 25 октября 2020 г.
- ^ «Библиография — Петри97» . www.informatik.uni-hamburg.de . Проверено 25 октября 2020 г.
- ^ "Библиография - Петри+08" . www.informatik.uni-hamburg.de . Проверено 25 октября 2020 г.
- ↑ Медаль Конрада Цузе . Архивировано 19 августа 2014 г. в Wayback Machine , Gesellschaft für Informatik (на немецком языке), получено 9 марта 2012 г.
- ^ [2] idw - Служба научной информации (на немецком языке), получено 24 февраля 2016 г.
- ^ [3] Фонд Ринга Вернера фон Сименса (на немецком языке), получено 24 февраля 2016 г.
- ^ Jump up to: Перейти обратно: а б с Сильва, Мануэль (14 октября 2013 г.). «Спустя полвека после докторской диссертации Карла Адама Петри: взгляд на эту область» . Ежегодные обзоры под контролем . 37 (2): 191–219. дои : 10.1016/j.arcontrol.2013.09.001 . Проверено 24 сентября 2020 г.
- ^ [4] TheATLAS, получено 24 февраля 2016 г.
- ^ [5] Карл Адам Петри, лауреат премии IEEE Computer Pioneer Award 2008 г., получено 24 февраля 2016 г.
Внешние ссылки [ править ]
| Международный | |
|---|---|
| Национальный | |
| академики | |
| Люди | |
| Другой | |
- 1926 рождений
- 2010 смертей
- Ученые из Лейпцига
- Выпускники Технического университета Дармштадта
- Немецкие ученые-компьютерщики
- Немецкие математики XX века
- Лауреаты Ринга Вернера фон Сименса
- Формальные методы люди
- Академический состав Боннского университета
- Академический состав Гамбургского университета
- Сети Петри
- Члены Европейской академии
- Офицерские кресты ордена «За заслуги перед Федеративной Республикой Германия»
- Командоры Ордена Нидерландского Льва
- Выпускники Ганноверского университета