Faculté MIN
Departement de l'Informatique
Bases Théoriques de l'Informatique

Prof. Dr. Rüdiger Valk

Bureau:
C-219

Téléphone:
040 / 42883-2408

Télécopie:
040 / 42883-2246

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

Heure de consultation:
cf. main page (bottom right corner)

Position:
professeur retiré

Projets actuels:
Petri net tools
Dynamical Objects in Petri Nets
Strukturelle Analyse für komponenten- und agentenorientierte Petrinetze (seulement en Allemand)
Concurrency Theory
Geschäftsprozessmodellierung und -management (seulement en Allemand)
Petrinetze zur Modellierung in sozialen Kontexten (seulement en Allemand)
Projekt SISOL (seulement en Allemand)
DFG-Projekt Sozionik (DISPO) (seulement en Allemand)

Projets anciens
Modellieren und Verifizieren von nebenläufigen Systemen mit höheren Petrinetzen (seulement en Allemand)
Selbstverständnis der Informatik (seulement en Allemand)
DFG-Projekt Sozionik (ASKO) (seulement en Allemand)
Bibliographie