Proceedings of the Sophia-Antipolis Workshop

The proceedings have been edited as an INRIA internal publication. Reprints are available in the QMIPS library (to date ~30). They may be requested from Alain Jean-Marie or Ephie Deriche.

The contents of the proceedings is:

Title Page
Preface from F. Baccelli
Chapter 1: Program of the Workshop
Chapter 2: Formalisms
- Petri Nets and Queueing Networks. Similarities and Differences, by G. Chiola.
- Recursive Equations for Stochastic Event Graphs, by F. Baccelli.
- Timed Petri Nets, by M. Ajmone Marsan, G.Balbo A. Bobbio, G. Chiola, G. Conte, and A. Cumani.
Chapter 3: Computational Aspects
- Structural Techniques and Performance Bounds for Stochastic Petri Nets Models, J. Campos, M. Silva.
- Approximation Techniques for Stochastic Macroplace/Macrotransition Nets, Hauke Jungnitz, Alan Desrochers and Manuel Silva.
- Comparison Properties of Stochastic Decision Free Petri Nets, by F. Baccelli and Z. Liu.
- Superposed Stochastic Automata: a Class of Stochastic Petri Nets with Parallel Solution and Distributed State Space, by S. Donatelli.
- On Efficient Markov Modelling by M. Siegle.
Chapter 4: Software Tools
- Distributed Simulation of Timed Petri Nets, by G. Chiola and A. Ferscha.
- Parallel Simulation of Stochastic Petri Nets Using Recursive Equations, by F. Baccelli and M. Canales.

These proceedings have been brought together by F. Baccelli and E. Deriche.

Web page by Alain Jean-Marie (Alain.Jean-Marie@sophia.inria.fr) Last Modified: 25 October 1995.