The Community for Technology Leaders
Petri Nets and Performance Models, IEEE International Workshop on (2003)
Urbana, Illinois
Sept. 2, 2003 to Sept. 5, 2003
ISSN: 1063-6714
ISBN: 0-7695-1976-8
TABLE OF CONTENTS

Committees (PDF)

pp. viii
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
Fluid Stochastic Petri Nets and Symbolic Approaches

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

Yvon Gardan , Universit? de Reims Champagne-Ardenne, France
Patrice Moreaux , Universit? Paris Dauphine, France
Cl?ment Delamare , Universit? de Reims Champagne-Ardenne, France
pp. 20

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

M. Telek , Technical University of Budapest, Hungary
R. German , Friedrich-Alexander Universit?t Erlangen-N?rnberg, Germany
G. Horv?th , Technical University of Budapest, Hungary
M. Gribaudo , Universit? di Torino, Torino, Italy
pp. 30
Model Construction

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

Stefano Marrone , Seconda Universit? di Napoli
Nicola Mazzocca , Seconda Universit? di Napoli
Giuliana Franceschinis , Univ. del Piemonte Orientale A. Avogadro
Valeria Vittorini , Universit? di Napoli Federico II
pp. 52

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

William J. Knottenbelt , Imperial College London
Peter G. Harrison , Imperial College London
Nicholas J. Dingle , Imperial College London
Jeremy T. Bradley , Imperial College London
pp. 62

Building Petri net scenarios for dependable automation systems (Abstract)

Susanna Donatelli , Universit? di Torino
Simona Bernardi , Universit? di Torino
pp. 72
Ergodicity and Product Form

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
Timed Petri Nets

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

L. Sassoli , Universit? di Firenze, Italia
E. Vicario , Universit? di Firenze, Italia
G. Bucci , Universit? di Firenze, Italia
pp. 134

Author Index (PDF)

pp. 144
98 ms
(Ver )