Prof. Dr. Rüdiger Valk

Room:

C-207

Phone:

040 / 42883-2412

Telefax:

040 / 42883-2246

E-Mail:

valk@informatik.uni-hamburg.de

Consulting time:

see main page (bottom right corner)

Position:

retired professor

Current projects:

Former 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)

Modellieren und Verifizieren von nebenläufigen Systemen mit höheren Petrinetzen (German only)

Selbstverständnis der Informatik (German only)

DFG-Project Sozionics (ASKO)

Links.:

My slides of the Tutorial: Nets, Physics and Coordination, A tribute to the work of Carl Adam Petri and Anatol W. Holt, Milano 2013

Tutorial: Nets, Physics and Coordination, A tribute to the work of Carl Adam Petri and Anatol W. Holt, Milano 2013

On the Physical Basics of Information Flow. Eingeladener Vortrag auf der Konferenz PETRI NETS 2008 in Xi'an, China, 2008

WIKIPEDIA: Netze_in_Netzen

WIKIPEDIA: Rüdiger_Valk

Vortrag vom 9.6.2015 (pdf-Datei): Entwurf und Analyse verteilter Algorithmen durch Methoden der kombinatorischen Topologie

Vortrag vom 9.6.2015 (Audio-Version als m4v-Datei): Entwurf und Analyse verteilter Algorithmen durch Methoden der kombinatorischen Topologie

Bibliography