Proceedings of the Erlangen Workshop

Arbeitsberichte des Instituts für Mathematische Maschinen und Dataverarbeitung
Fridrich Alexander Universität Erlangen Nürnberg
Band 26 - Nummer 14
Erlangen, September 1993

• Chapter 1: Stochastic Petri Nets
• Chapter 2: Stochastic Process Algebras and Logic
• Chapter 3: Stochastic Graph Models
• Chapter 4: Recurrence Equations
• Chapter 5: Evaluation Techniques
• Chapter 6: Workload and Architecture

• Preamble
  • Outer titlepage
  • Inner titlepage
  • Table of Contents
  • Brief Introduction and List of Participants
  • Initial Call for Contributions (Guidelines)
  • Proposal of INR for the Classification of Performance Evaluation Models of Parallel and Distributed Systems
  • Workshop Program

  ---

• Chapter 1: Stochastic Petri Nets
  • Titlepage
  • The Timed (Coloured) Petri-Net Formalism: position paper (QMIPS groups in UTO+ZAR)
  • (Coloured) GSPN Models of the UTO1 Example (R. Gaeta)
  • SWN Models of the UTO2 Example (C. Anglano, G. Chiola)
  • Stochastic Well Formed Model of the UTO3 Example (M. Ribaudo)

  ---

• Chapter 2: Stochastic Process Algebras and Logic
  • Titlepage
  • Multiprocessor and Distributed System Design: The Integration of Functional Specification and Performance Analysis Using Stochastic Process Algebras (N. Gotz, U. Herzog, M. Rettelbach)
  • Process Algebra for Discrete Event Simulation (P.G. Harrison, B. Strulo)
  • Temporal Logic in a Stochastic Environment (B. Strulo, P.G. Harrison, D. Gabbay)

  ---

• Chapter 3: Stochastic Graph Models
  • Titlepage
  • A Survey on Solution Methods for Task Graph Models (F. Baccelli, A. Jean-Marie, Z. Liu)
  • A QMIPS Significant Example: Multiprocessor Performance with Task Graph Models (E. Gelenbe)
  • Stochastic Graph Models for Performance Evaluation of Parallel Programs and the Evaluation Tool PEPP (F. Hartleb)

  ---

• Chapter 4: Recurrence Equations
  • Titlepage
  • Using Stochastic Recursive Equations as a Tool for Modeling and Performance Evaluation of Parallel Processing Systems (F. Baccelli, A. Jean-Marie, Z. Liu)

  ---

• Chapter 5: Evaluation Techniques
  • Titlepage
  • Application and Evaluation of the Spectral Expansion Solution Method (I. Mitrani, R. Chakka)

  ---

• Chapter 6: Workload and Architecture
  • Titlepage
  • Optimization of Static Traffic Allocation Policies (M.B. Combe, O.J. Boxma)
  • Load Balancing Pragmatics (E. Gelenbe, F. Pekergin)