Prof. Dr. Rüdiger Valk

Despacho:

C-219

Teléfono:

040 / 42883-2408

Telefax:

040 / 42883-2246

E-Mail:

valk@informatik.uni-hamburg.de

Hora de Consultación:

véase

Posición:

profesor retirado

Proyectos Actuales:

Proyectos antiguos:

Petri net tools

Dynamical Objects in Petri Nets

Strukturelle Analyse für komponenten- und agentenorientierte Petrinetze (sólo en Alemán)

Concurrency Theory

Geschäftsprozessmodellierung und -management (sólo en Alemán)

Petrinetze zur Modellierung in sozialen Kontexten (sólo en Alemán)

Projekt SISOL (sólo en Alemán)

DFG-Projekt Sozionik (DISPO) (sólo en Alemán)

Modellieren und Verifizieren von nebenläufigen Systemen mit höheren Petrinetzen (sólo en Alemán)

Selbstverständnis der Informatik (sólo en Alemán)

DFG-Proyecto Socionica (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

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

Bibliografía