petrinet

Program

17.15 Opening
17.30 Prof. Dr. Rolf von Lüde:
Von Akteuren, Agenten und den Wagnissen transdisziplinärer Kooperation
17.45 Prof. Dr. Kees van Hee:
Correctness-by-construction using simultaneous place refinements
18.15 Prof. Dr. Wolfgang Reisig:
65 Jahre Rüdiger Valk; 50 Jahre Modellierung von Verhalten
18.45 Schlusswort
18.50 Reception
~20.00 End


Page last modified: 2011/11/23