Carl Adam Petri Memorial Symposium - Scientific program

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
Last modified: Thu Mar 3 18:17:12 CET 2011