Карл Адам Петри - Carl Adam Petri

Карл Адам Петри
2.07'0
Родившийся(1926-07-12)12 июля 1926 г.
Лейпциг, Веймарская республика
Умер2 июля 2010 г.(2010-07-02) (83 года)
Зигбург
Альма-матерУниверситет Лейбница в Ганновере, Technische Universität Darmstadt
ИзвестенСети Петри
НаградыКрест Заслуги Первого класса (1988)
Медаль Конрада Зузе (1993)
Кольцо Вернера фон Сименса (1996)
Премия IEEE Computer Pioneer Award (2008)[1]
Научная карьера
ПоляМатематика, Информатика
УчрежденияБоннский университет

Карл Адам Петри (12 июля 1926 г. в Лейпциге - 2 июля 2010 г. в Зигбурге)[2][3] был Немецкий математик и специалист в области информатики.

Жизнь и работа

Пример сети Петри

Петри создал свой главный научный вклад - концепцию Сеть Петри, в 1939 году в возрасте 13 лет с целью описания химических процессов.[4] В 1941 году отец рассказал ему о Конрад Зузе работал над вычислительными машинами, и Карл Адам начал создавать свой собственный аналоговый компьютер.

Заработав его Abitur в Thomasschule в 1944 г. его призвали в Вермахт. Он был взят в британский плен до 1949 года, когда покинул Англию.[5]

Петри начал изучать математику в Высшей технической школе Ганновера (сегодня Университет Лейбница в Ганновере ) в 1950 г. Он задокументировал сеть Петри в 1962 г. в рамках своей диссертации, Kommunikation mit Automaten (общение с автоматами). С 1959 по 1962 год работал на Боннский университет и получил его кандидат наук степень в 1962 г. Technische Universität Darmstadt. С 1963 по 1968 год он создал и руководил вычислительным центром Боннский университет.[5] В 1968 г. возглавил Forschungsinstitut für Informationssysteme недавно созданных Gesellschaft für Mathematik und Datenverarbeitung (GMD). Он вышел на пенсию в 1991 году.

В 1988 году Петри стал почетным профессором Гамбургский университет.[6] Он был членом Academia Europaea.

Работы Петри значительно продвинули области параллельные вычисления и распределенных вычислений, и это помогло определить современные исследования сложные системы и системы управления рабочим процессом. Его вклад был в более широкую область теория сети, который включает модели координации и теории взаимодействия, и в конечном итоге привел к формальному изучению программных соединителей.

Книги, статьи и презентации

  • 1962
  • 1976
    • Nicht-sequenceelle Prozesse (отчет о работе) Карла Адама Петри[8]
    • Kommunikationsdisziplinen (внутренний отчет) Карла Адама Петри[9]
  • 1977
    • Общая теория сетей (из "Проектирование вычислительных систем: Proc. Of the Joint IBM University of Newcastle Upon Tyne Seminar") Карла Адама Петри[10]
    • Коммуникационные дисциплины (из "Проектирование вычислительных систем: Proc. Of the Joint IBM University of Newcastle Upon Tyne Seminar") Карла Адама Петри[11]
  • 1979
    • Параллелизм как основа системного мышления (из "Proceedings 5th Scandinavian Logic Symposium") Карла Адама Петри[12]
    • Ansätze zur Organisationstheorie rechnergestützter Informationssysteme (книга) Карла Адама Петри[13]
  • 1980
    • Параллелизм (из "Теория сетей и приложения, материалы продвинутого курса по общей сетевой теории процессов и систем, Гамбург, 8-19 октября 1979 г.") Карла Адама Петри[14]
    • Введение в общую теорию сетей (из "Теории сетей и приложений, Proc. Of the Advanced Course on General Net Theory of Processes and Systems, Hamburg, 1979") Carl Adam Petri[15]
  • 1982
    • Структуры перехода состояний в физике и вычислениях (статья в "Международном журнале теоретической физики") Карла Адама Петри[16]
  • 1987
    • Теория параллелизма (из «Сети Петри: центральные модели и их свойства, достижения в сетях Петри 1986, часть I, материалы продвинутого курса, Бад-Хоннеф, сентябрь 1986») Карла Адама Петри[17]
  • 1996
    • Сети, время и пространство (из "Теоретической информатики") Карла Адама Петри[18]
  • 1997
    • Ansprache anläßlich der Verleihung des Werner-von-Siemens-Rings, Карл Адам Петри[19]
  • 2008
    • Сети Петри Карла Адама Петри и Вольфганга Рейзига[20]

Награды

Петри был удостоен следующих наград:

Смотрите также

Рекомендации

  1. ^ http://idw-online.de/pages/de/news305378
  2. ^ Смит, Эйнар (2015). Карл Адам Петри: жизнь и наука. Springer. ISBN  978-3-662-48092-2.
  3. ^ "Проф. Доктор Карл Адам Петри". www.informatik.uni-hamburg.de. Получено 2020-10-25.
  4. ^ [1] Карл Адам Петри и Вольфганг Рейзиг (2008), Scholarpedia, 3 (4): 6477, получено 24 февраля 2016 г.
  5. ^ а б Рейзиг, Вольфганг; Розенберг, Гжегож; Тиагараджан, П. С. (2013). Дженсен, Курт; van der Aalst, Wil M. P .; Бальбо, Джанфранко; Коутны, Мацей; Вольф, Карстен (ред.). "In Memoriam: Карл Адам Петри". Транзакции в сетях Петри и другие модели параллелизма VII. Конспект лекций по информатике. Берлин, Гейдельберг: Springer: 1–5. Дои:10.1007/978-3-642-38143-0_1. ISBN  978-3-642-38143-0.
  6. ^ Страница Петри в Гамбургском университете
  7. ^ «Библиография - Петри62». www.informatik.uni-hamburg.de. Получено 2020-10-25.
  8. ^ «Библиография - Петри76а». www.informatik.uni-hamburg.de. Получено 2020-10-25.
  9. ^ «Библиография - Петри76». www.informatik.uni-hamburg.de. Получено 2020-10-25.
  10. ^ «Библиография - Петри77». www.informatik.uni-hamburg.de. Получено 2020-10-25.
  11. ^ «Библиография - Петри77а». www.informatik.uni-hamburg.de. Получено 2020-10-25.
  12. ^ «Библиография - Петри79а». www.informatik.uni-hamburg.de. Получено 2020-10-25.
  13. ^ «Библиография - Петри79». www.informatik.uni-hamburg.de. Получено 2020-10-25.
  14. ^ «Библиография - Петри80а». www.informatik.uni-hamburg.de. Получено 2020-10-25.
  15. ^ «Библиография - Петри80». www.informatik.uni-hamburg.de. Получено 2020-10-25.
  16. ^ «Библиография - Петри82». www.informatik.uni-hamburg.de. Получено 2020-10-25.
  17. ^ «Библиография - Петри87». www.informatik.uni-hamburg.de. Получено 2020-10-25.
  18. ^ «Библиография - Петри96». www.informatik.uni-hamburg.de. Получено 2020-10-25.
  19. ^ «Библиография - Петри97». www.informatik.uni-hamburg.de. Получено 2020-10-25.
  20. ^ «Библиография - Петри + 08». www.informatik.uni-hamburg.de. Получено 2020-10-25.
  21. ^ Конрад-Зузе-Медай В архиве 2014-08-19 в Wayback Machine, Gesellschaft für Informatik (на немецком языке), получено 9 марта 2012 г.
  22. ^ [2] idw - Informationsdienst Wissenschaft (на немецком языке), получено 24 февраля 2016 г.
  23. ^ [3] Stiftung Werner-von-Siemens-Ring (на немецком языке), получено 24 февраля 2016 г.
  24. ^ а б c Сильва, Мануэль (14 октября 2013 г.). «Спустя полвека после докторской диссертации Карла Адама Петри: взгляд на поле». ScienceDirect. Получено 24 сентября, 2020.
  25. ^ [4] TheATLAS, получено 24 февраля 2016 г.
  26. ^ [5] Карл Адам Петри, лауреат премии IEEE Computer Pioneer 2008, получено 24 февраля 2016 г.

внешняя ссылка