DFG-Forschergruppe Petri Net Technology

09.00 - 09.15 Herbert Weber: Opening
09.15 - 09.45 Reinhard German: Non-Markovian Stochastic Petri Nets for the Quantitative Analysis of Communication-Based Systems
09.45 - 10.15 Bernhard Steffen: The Electronic Tool Integration Platform (ETI)
10.15 - 10.45 Andrea Corradini: On the Process Semantics of Graph and Net Based Systems
10.45 - 11.15 Coffee Break
11.15 - 11.45 Julia Padberg: The Petri Net Baukasten: An Application-Oriented Petri Net Technology
11.45 - 12.15 Juliane Dehnert: The Common Base of the Petri Net Baukasten
12.15 - 12.45 Sabine Lembke: The Application Developer View of the Petri Net Baukasten
12.45 - 13.45 Lunch
13.45 - 14.15 Magdalena Gajewsky: The Expert View of the Petri Net Baukasten
14.15 - 14.45 Michael Weber: The Tool Developer View of the Petri Net Baukasten
14.45 - 15.15 Coffee Break
15.15 - 15.45 Jörg Desel: Partial-Order Based Simulation of Petri Nets
15.45 - 16.15 Rüdiger Valk: Comparing Reference and Value Semantics for Object Petri Nets
16.15 - 16.45 Martin Wirsing: Debugging ROOM Designs using High-Level-Petri-Nets
17.00 - 17.15 Michael Weber: The Petri Net Kernel: Tool Demonstration
17.15 - 18.15 Panel Discussion: Perspectives and Limits of Petri Nets in Practice
18.30 Dinner

Friday, October 22nd:

09.00 - 09.30 Jörg Becker: Petri Nets for Modeling Business Processes - Potentials, Deficits and Recommendations
09.30 - 10.00 Volker Gruhn: Process Landscaping - A Petri Net based Method for Structuring Complex Processes
10.00 - 10.30 Wil van der Aalst: Inheritance of Interorganizational Workflows to Enable Business-to-Business E-commerce
10.30 - 11.00 Coffee Break
11.00 - 11.30 Tobias Vesper: Application-Oriented Verification Scenarios
11.30 - 12.00 Hans-Michael Hanisch: Modular Modeling of Closed Loop Systems
12.00 - 12.30 Ugo Montanari: Zero-Safe Nets: Composing Nets via Transition Synchronization

Further information will be provided as soon as it becomes available.
To contact the research group Petri Net Technology, please send an email to pnt-leitung@informatik.hu-berlin.de.
Last modified: October 5th, 1999 by Tobias Vesper (vesper@informatik.hu-berlin.de).