9.15 | Opening Session |
9.30 | Personal Reminiscences (Hartmann Genrich, Bernd Krämer , Anastasia Pagnoni , Elisabeth Pelz , Ulrich Trottenberg, and others) |
10.20 |
Wilhelm Füßl, Deutsches Museum München: Collecting scientific papers. The Archives of the Deutsches Museum and Carl Adam Petri |
10.30 | Kurt Lautenbach, Koblenz: Belief Revision and Petri Nets |
11.00 | Coffee |
11.30 | P.S. Thiagarajan, Singapore: Probabilistic analysis of bio-pathways dynamics |
12.00 | Rüdiger Valk, Hamburg: Petri's nets and the physical basis of information flow |
12.30 | Wolfgang Reisig, Berlin: Concurrency based properties |
13.00 | Buffet |
14.00 | Kurt Jensen, Aarhus: High-level Petri Nets |
14.30 | Manuel Silva, Zaragoza: Nets: On synchronic relations and on fluid models |
15.00 | Wojciech Penczek, Warszawa: Bounded parametric model checking for Petri nets |
15.30 | Coffee |
16.00 | Jörg Desel, Hagen: Partial Orders Fit For Work |
16.30 | Wil van der Aalst, Eindhoven: Discovering Petri Nets: Evidence-Based Business Process Management |
17.00 | Karsten Wolf, Rostock: Petri Net State Spaces |
17.30 | End of Symposium |
19.15 | Dinner |