Рюдигер Валк - Rüdiger Valk

Рюдигер Валк (родился 5 августа 1945 г.) Немецкий математик. С 1976 по 2010 год он был профессором теоретической информатики (информатики) Institut für Informatik (потом Fachbereich Informatik) из Гамбургский университет, Германия.[1]

Валк изучал математику в Боннский университет (Германия). Под руководством Вильфрид Брауэр, он продолжил обучение аспирантура в Бонне и получил докторскую степень по математике в 1974 году. В 1976 году он стал профессором теоретической информатики (информатики). С 1985 по 2010 год он возглавлял исследовательскую группу по теоретическим основам информатики (Theoretische Grundlagen der Informatik, TGI) в Гамбургском университете.[1]

Исследовательская карьера

Его ранние исследования характеризуются работой над топологическими автоматами и системами,[2][3][4] проблемы решения[5][6][7] и структурные свойства Сети Петри.[8][9][10]

Опубликовал статьи для конференций и журналов.[11][12] а также учебники.[13][14]

Его более поздняя карьера была посвящена его детищу Object Network Petri Network и Сети внутри сетей парадигма; то есть идея использования сетей Петри в качестве токенов внутри сетей Петри.[15][16][17][18][19]

В течение значительного периода своей исследовательской карьеры Рюдигер Валк работал в тесном сотрудничестве с Карл Адам Петри, изобретатель сетей Петри, занимавший почетное звание профессора Гамбургского университета.

Кроме того, Валк внес свой вклад в дебаты о том, как компьютеры влияют на общество.[20] как информатику следует рассматривать как научную дисциплину[21] и предпринял междисциплинарные исследования моделей социологии и производной дисциплины соционики как пересечения социологии и информатики.[22][23][24]

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

  1. ^ а б http://www.informatik.uni-hamburg.de/TGI/mitarbeiter/profs/valk_eng.html (по состоянию на 30 июля 2013 г.)
  2. ^ Дискретная и непрерывная реализации систем общего времени. В: Журнал кибернетики. 4 (1974) 4, стр. 43–52.
  3. ^ О некоторых элементарных свойствах однородных автоматов. В: Французское обозрение Automatique Informatique Recherche Opérationnelle. 9 (1975), Р-2, стр. 39–54.
  4. ^ Realisierungen allgemeiner Systeme. Bericht Nr. 107, Gesellschaft für Mathematik und Datenverarbeitung Bonn, 1976.
  5. ^ Самомодифицирующиеся сети - естественное продолжение сетей Петри. Языки автоматов и программирование. Коллоквиум, Удине В: Конспект лекций по информатике. № 62, Берлин, стр. 464–476.
  6. ^ Сети Петри и регулярные языки. В: Журнал компьютерных и системных наук. 23, (1981) 3, стр. 299–325. (с Гаем Видал-Наке)
  7. ^ Вычет векторных множеств с приложениями к задачам разрешимости в сетях Петри. В: Acta Informatika. 21 (1985), стр. 643–674. (мит М. Янцен)
  8. ^ Инфинитивное поведение сетей Петри. В: Теоретическая информатика. 25 (1983), стр. 311–341.
  9. ^ Безопасные состояния в задачах распределения ресурсов, подобных банкиру. В: Информация и вычисления. 75 (1987), стр. 232–263. (совместно с Д. Хаушильдтом)
  10. ^ Преодоление разрыва между инвариантами Флойда и S-инвариантами. В: Аджмоне Марсон М. (Ред.): Применение и теория сетей Петри. Чикаго, США, Конспект лекций по информатике № 691, Springer, Berlin Juni 1993, стр. 433–453.
  11. ^ Моделирование параллелизма по системам задач / потоков EN. Труды 3-го семинара по параллелизму и композиционности. GMD-Studien Nr. 191, Gesellschaft f. Mathematik und Datenverarbeitung, Санкт-Августин, Бонн, 1991.
  12. ^ Метод предотвращения полиномиальных тупиков для класса систем непоследовательного распределения ресурсов. Транзакции IEEE в системах. В: Человек и кибернетика - Часть A: Системы и люди. 36 (6), 2006. (совместно с Хоакином Эспелета)
  13. ^ Rechensysteme. Springer Verlag. Lehrbuch. Берлин 1987, ISBN  3-540-16383-2. (совместно с Э. Джессеном)
  14. ^ Сети Петри для системной инженерии - Руководство по моделированию, проверке и приложениям. Springer, Берлин, 2003 г. (под ред. К. Жиро), ISBN  3-540-41217-4.
  15. ^ Сети Петри как объекты-токены - Введение в сети элементарных объектов. В: J. Desel, M. Silva (Eds.): Proc. Применение и теория сетей Петри. Лиссабон, Португалия В: Конспект лекций по информатике. № 1420, Springer, Berlin 1998, стр. 1–25.
  16. ^ Справочная и ценностная семантика для объектных сетей Петри. В: Х. Вебер, Х. Эриг, У. Рейзиг (ред.): Коллоквиум по технологиям сетей Петри для моделирования систем связи. Институт программного обеспечения и системной инженерии Фраунгофера ISST, Берлин, 1999.
  17. ^ Мобильный и распределенный объект против центральной привязки. В: J. Grabowski, St. Heymer (Eds.): Formale Beschreibungstechniken für verteilte Systeme. FBT’2000, 10. GI / ITG-Fachgespräch, Любек, июнь 2000 г., стр. 7–27.
  18. ^ Параллелизм в общении объектов сетей Петри. В: Г. Ага, Ф. Де Синдио, Г. Розенберг (Hrsg.): Параллельное объектно-ориентированное программирование и сети Петри. В: Конспект лекций по информатике. Springer, Берлин, 2001, стр. 158–189.
  19. ^ Использование парадигмы сетей в сетях, Материалы продвинутого курса по сетям Петри 2003. Айхштетт, Германия. Конспект лекций по информатике, Springer-Verlag, 2004.
  20. ^ Der Computer als Herausforderung an die menschliche Rationalität. В: Информатик-Спектрум. 10 (1987), стр. 57–66.
  21. ^ Die Informatik zwischen Formal- und Humanwissenschaften. В: Информатик Спектрум. 20/2, Springer-Verlag, Берлин, апрель 1997 г., стр. 95–100.
  22. ^ Созионик: Modellierung soziologischer Theorie. (Wirtschaft - Arbeit - Technik, Том 2). Лит-Верлаг, Мюнстер / Гамбург / Лондон 2003, ISBN  3-8258-5980-0. (совместно с Рольфом против Люде, Даниэлем Молдтом)
  23. ^ Соционические мультиагентные системы, основанные на рефлексивных сетях Петри и теориях социальной самоорганизации. В: Журнал искусственных обществ и социального моделирования. 10 (1), 2007. (с Михаэлем Кёлером, Романом Лангером, Рольфом фон Люде, Даниэлем Молдтом, Хайко Рёльке) (онлайн по адресу: jasss.soc.surrey.ac.uk)
  24. ^ Selbstorganisation und Governance in künstlichen und sozialen Systemen. (Wirtschaft - Arbeit - Technik, Band 5). Лит-Верлаг, Мюнстер / Гамбург / Лондон 2009, ISBN  978-3-643-10057-3. (совместно с Rolf v. Lüde, Daniel Moldt, Eds.)