| Opening Welcome: 13.00-13.15 |
| Session 1: 13.15-14.45 Modeling and Analysis
of Logistic Systems Chair: B. Haverkort |
| R. Slovak, S. Wegele, J. May, E. Schnieder: Safety Analysis by Stochastic Petri Nets Model Steady State Evaluation |
| F. Bause, M. Voelker: A Modeling Paradigm for Process Chains in Logistics - On Requirements for Modeling Supply Chains |
| M. Fischer, C. Tepper: GSPNs to Support Aggregation in the ProC/B Toolset |
| Coffee break |
| Session 2: 15.15-17.15 Mappings and Relations
between Process Algebras, Automata and Petri Nets Chair: M. Siegle |
| L. Brodo, S. Gilmore, J. Hillston, C. Priami: Mapping Coloured Stochastic Petri Nets to Stochastic Process Algebras |
| R. Hopkins: A Process Algebra Subsuming Composable Stochastic Nets |
| M.T. Khuu, A. Rauzy: A Generalized Stochastic Petri Net Semantics for Mode Automata |
| M. Gribaudo, A. Horvath: Translating Hybrid Petri Nets into Hybrid Automata |
| Short Break |
| Session 3: 17:30-18.30 Modeling of Computer
Systems and Architectures Chair: J. Hillston |
| L. Ojala, O-M. Penttinen, H. Rantanen: A Novel Application of Stochastic Petri Nets: Modeling and Simulation of Serial Quantum Computers - Feynman's Swap Computer |
| W. M. Zuberek: Performance-Equivalent Multiprocessor Systems |
| Informal meeting for dinner: 20.00,
Location: Restaurant Boekencafe Schrijvers, Dommelstraat 24, Eindhoven |
| Session 4: Sunday 9.00-10.00, High-level formalims
and their analysis Chair: |
| C. Delamare, Y.Gardan, P. Moreaux: Efficient Implementation for Performance Evaluation of Synchronous Decomposition of High Level Stochastic Petri Nets |
| M. Abdollahi Azgomi, A. Movaghar: Coloured Stochastic Activity Networks: Preliminary Definitions and Properties |
| Coffee break |
| Session 5: 10.30-12.00, Multi-Formalism,
Multi-Solution Modeling Chair: S. Donatelli |
| Keynote Talk: W.H. Sanders, University of Illinois at Urbana Champaign, IL, USA Cooperative Research in Multi-Formalism, Multi-Solution Modeling: Opportunities and Challenges |
| Special focus area: Multi-Paradigm Modeling,
Techniques and Tools H. Bohnenkamp, H.Hermann, J.-P. Katoen, R.Klaren: Language and Tool Design of MoDeST, a Wide-Spectrum Stochastic Process Algebra |
| Lunch break: 12.00-13.30 |
| Session 6: 13.30-15.30 Special focus area:
Multi-Paradigm Modeling, Techniques and Tools Chair: J.-P. Katoen |
| M.Siegle, K. Lampka: Symbolic Activity-local State Space Generation |
| S. Derisavi, P. Kemper: Integrating Analysis Techniques in Moebius: Experiences with Interfaces |
| J. Hillston: Searching for Middle Ground with PEPA |
| Open Discussion: Research Issues in Multi-Paradigm
Modeling, Techniques and Tools |
| Coffee break |
| Session 7: 16.00-17.00: Analysis Techniques
for SPNs Chair: P. Moreaux |
| L. Zerguini: Transient Analysis of a Class of Non-Markovian Stochastic Petri Nets |
| S. Lazarova-Molnar, G. Horton: Proxel-based Simulation of Stochastic Petri Nets Containing Immediate Transitions |
| Closing: 17.00-17.15 |