Message from the Chairs

PDF

Committees (PDF)

pp. viii

PDF

Keynote Address

Modeling networks of molecular interactions in the living cell: structure, dynamics, and applications (Abstract)

Kent Vander Velden, Pioneer Hi-Bred International, Inc.

Jean Peccoud, Pioneer Hi-Bred International, Inc.

pp. 2

PDF

Fluid Stochastic Petri Nets and Symbolic Approaches

Computing response time distributions using stochastic Petri nets and matrix diagrams (Abstract)

Andrew S. Miner, Iowa State University, Ames, Iowa

pp. 10

PDF

Performance Evaluation with asynchronously decomposable SWN: implementation and case study (Abstract)

Cl?ment Delamare, Universit? de Reims Champagne-Ardenne, France

Yvon Gardan, Universit? de Reims Champagne-Ardenne, France

Patrice Moreaux, Universit? Paris Dauphine, France

pp. 20

PDF

Stationary analysis of FSPNs with mutually dependent discrete and continuous parts (Abstract)

R. German, Friedrich-Alexander Universit?t Erlangen-N?rnberg, Germany

M. Gribaudo, Universit? di Torino, Torino, Italy

G. Horv?th, Technical University of Budapest, Hungary

M. Telek, Technical University of Budapest, Hungary

pp. 30

PDF

Discrete-State and Fluid Stochastic Petri Net Models for Open-Loop Video-on-Demand Systems: A Comparative Case Study (Abstract)

Armin Heindl, Institut f?r Technische Informatik und Mikroelektronik

Ernst W. Biersack, Institut Eur?com

pp. 40

PDF

Model Construction

SWN Client-Server Composition Operators in the OsMoSys framework (Abstract)

Giuliana Franceschinis, Univ. del Piemonte Orientale A. Avogadro

Valeria Vittorini, Universit? di Napoli Federico II

Stefano Marrone, Seconda Universit? di Napoli

Nicola Mazzocca, Seconda Universit? di Napoli

pp. 52

PDF

Performance Queries on Semi-Markov Stochastic Petri Nets with an Extended Continuous Stochastic Logic (Abstract)

Jeremy T. Bradley, Imperial College London

Nicholas J. Dingle, Imperial College London

Peter G. Harrison, Imperial College London

William J. Knottenbelt, Imperial College London

pp. 62

PDF

Building Petri net scenarios for dependable automation systems (Abstract)

Simona Bernardi, Universit? di Torino

Susanna Donatelli, Universit? di Torino

pp. 72

PDF

Ergodicity and Product Form

On Non-Ergodic Infinite-State Stochastic Petri Nets (Abstract)

Falko Bause, Universit?t Dortmund

pp. 84

PDF

Computational Algorithms for Product-Form of Competing Markov Chains (Abstract)

Matteo Sereno, Universit? degli Studi di Torino

pp. 93

PDF

On the relations between BCMP Queueing Networks and Product Form Solution Stochastic Petri Nets (Abstract)

G. Balbo, Universit? di Torino

S. C. Bruell, University of Iowa, Iowa City

M. Sereno, Universit? di Torino

pp. 103

PDF

Timed Petri Nets

Distributed Semi-Markov Processes in Stochastic T-Timed Petri Nets (Abstract)

Stefan Haar, INRIA/ IRISA

pp. 114

PDF

State class Timed Automaton of a Time Petri Net (Abstract)

Didier Lime

Olivier (H.) Roux, IRCCyN

pp. 124

PDF

A discrete time model for performance evaluation and correctness verification of real time systems (Abstract)

G. Bucci, Universit? di Firenze, Italia

L. Sassoli, Universit? di Firenze, Italia

E. Vicario, Universit? di Firenze, Italia

pp. 134

PDF

Author Index (PDF)

pp. 144