Карл Адам Петрі
Карл Адам Петрі (нім. Carl Adam Petri; 12 липня 1926 — 2 липня 2010) — німецький математик та дослідник в галузі інформатики.
Карл Адам Петрі | |
---|---|
Carl Adam Petri | |
| |
Народився |
12 липня 1926 Лейпциг, Веймарська республіка |
Помер |
2 липня 2010 (83 роки) Зігбург |
Країна | Німеччина |
Діяльність | математик, інформатик, інженер, викладач університету |
Alma mater | Дармштадтський технічний університет |
Галузь | Математика, Інформатика |
Заклад | Боннський університет |
Ступінь | докторський ступінь[1] |
Науковий керівник | Alwin Waltherd[2] і Heinz Ungerd[2] |
Членство | Європейська академія[3] |
Відомий завдяки: | мережі Петрі |
Нагороди |
Орден «За заслуги», першого класу (1988) Медаль імені Конрада Цузе (1993) Кільце Вернера фон Зіменса (1996) IEEE Computer Pioneer Award (2008)[4] |
Карл Адам Петрі у Вікісховищі |
Петрі винайшов названі його ім'ям «мережі Петрі» в серпні 1939 р. — у віці 13 років — для описання хімічних процесів[5].[джерело?] Завдяки батьківським зв'язкам Карл Адам мав доступ до бібліотеки в Лейпцигу, де він ознайомився з (на той час забороненими) працями Ейнштейна та Гейзенберга. 1941 року батько розповів про дослідження Конрада Цузе обчислювальних машин, і Карл Адам починає збирати власний аналоговий комп'ютер.
Після завершення навчання в Томасшулє, 1944 р. був призваний до Вермахту, згодом потрапляє до британського полону.
Петрі розпочав математичні досліди в Дармштадтському технічному університеті 1950 р. Він описав мережі Петрі 1962 р. в дисертації нім. «Kommunikation mit Automaten» (взаємодія з автоматами). Працював з 1959 по 1962 рр. в Боннському університеті, отримав ступінь PhD 1962 р. від Дармштадтського університету.
Праці Петрі стали істотним внеском в розвиток паралельних та розподілених обчислень, сприяли дослідженню складних систем та потоків робіт.
1988 р. Карл Адам Петрі став почесним професором Гамбурзького університету[6]. Офіційно вийшов на пенсію 1991 р. Був членом Європейської Академії.
Відзнаки
- 1962 професор Альвін Вальтер розпізнав важливість праць Петрі й сприяє обранню дисертації Петрі найкращою дисертацією навчального року 1961/62.
- 1985 обраний головою регламентної комісії ICPN.
- 1988 Орден «За заслуги», першого класу.
- 1988 стає почесним професором Гамбурзького університету, до 1994 проводить семінари присвячені загальній теорії мереж.
- 1989 обраний в Лондоні членом Європейської Академії.
- 1993 Медаль імені Конрада Цузе за видатні заслуги перед інформатикою.
- 1997 Президент ФРН Роман Герцог вручив Кільце Вернера фон Зіменса за визначний внесок в розвиток технології та науки.
- Починаюсь з 1997 стає членом Нью-Йоркської Академії наук.
- 1998 «Society for Design and Process Science» вперше нагородила «Carl Adam Petri Distinguished Technical Achievement Award».
- 1999 ступінь «Doktor Honoris Causa» від Сарагоського університету.
- 2003 Королева Нідерландів нагородила «Orde van de Nederlandse Leeuw» (Орден Нідерландського льва).
- 2007 «Academy of Transdisciplinary Learning and Advanced Studies» (ATLAS) нагородила за досягнення «Academy Gold Medal of Honor»[7].
- 2009 Нагорода Комп'ютерного товариства IEEE «Піонер комп'ютерної галузі» (англ. Computer Pioneer Award)[4].
Примітки
- Німецька національна бібліотека, Державна бібліотека в Берліні, Баварська державна бібліотека та ін. Record #118824090 // Німецька нормативна база даних — 2012—2016.
- Математична генеалогія — 1997.
- https://www.ae-info.org/ae/User/Petri_Carl_Adam
- http://idw-online.de/pages/de/news305378
- Carl Adam Petri and Wolfgang Reisig (2008) Petri net. Scholarpedia, 3(4):6477
- Petri's page at the University of Hamburg
- http://www.fernuni-hagen.de/dvt/oa_5.shtml