MIN Faculty
Department of Informatics
Theoretical Foundations of Computer Science

Prof. Dr. Rüdiger Valk

Room:
C-219

Phone:
040 / 42883-2408

Telefax:
040 / 42883-2246

E-Mail:
valk@informatik.uni-hamburg.de

Consulting time:
see main page (bottom right corner)

Position:
retired professor

Current projects:
Petri net tools as basis for model creation, evaluation and execution
Dynamical Objects in Petri Nets
Strukturelle Analyse für komponenten- und agentenorientierte Petrinetze (German only)
Concurrency Theory
Geschäftsprozessmodellierung und -management (German only)
Petrinetze zur Modellierung in sozialen Kontexten (German only)
Projekt SISOL (German only)
DFG-Projekt Sozionik (DISPO) (German only)

Former projects:
Modellieren und Verifizieren von nebenläufigen Systemen mit höheren Petrinetzen (German only)
Selbstverständnis der Informatik (German only)
DFG-Project Sozionics (ASKO)
Bibliography