| Message from the Chairs |
| Committees |
| Keynote Address |
| Modeling Networks of Molecular Interactions in the Living Cell: Structure, Dynamics, and Applications / Kent Vander Velden ; Jean Peccoud |
| Fluid Stochastic Petri Nets and Symbolic Approaches |
| Computing Response Time Distributions Using Stochastic Petri Nets and Matrix Diagrams / Andrew S. Miner |
| Performance Evaluation with Asynchronously Decomposable SWN: Implementation and Case Study / Clement Delamare ; Yvon Gardan ; Patrice Moreaux |
| Stationary Analysis of FSPNs with Mutually Dependent Discrete and Continuous Parts / Reinhard German ; Marco Gribaudo ; Gabor Horvath ; Miklos Telek |
| Discrete-State and Fluid Stochastic Petri Net Models for Open-Loop Video-on-Demand Systems: A Comparative Case Study / Armin Heindl ; Ernst W. Biersack |
| Model Construction |
| SWN Client-Server Composition Operators in the OsMoSys Framework / Giuliana Franceschinis ; Valeria Vittorini ; Stefano Marrone ; Nicola Mazzocca |
| Performance Queries on Semi-Markov Stochastic Petri Nets with an Extended Continuous Stochastic Logic / Jeremy T. Bradley ; Nicholas J. Dingle ; Peter G. Harrison ; William J. Knottenbelt |
| Building Petri Net Scenarios for Dependable Automation Systems / Simona Bernardi ; Susanna Donatelli |
| Ergodicity and Product Form |
| On Non-Ergodic Infinite-State Stochastic Petri Nets / Falko Bause |
| Computational Algorithms for Product-Form of Competing Markov Chains / Matteo Sereno |
| On the Relations Between BCMP Queueing Networks and Product Form Solution Stochastic Petri Nets / Gianfranco Balbo ; Steve C. Bruell |
| Timed Petri Nets |
| Distributed Semi-Markov Processes in Stochastic T-Timed Petri Nets / Stefan Haar |
| State Class Timed Automaton of a Time Petri Net / Didier Lime ; Olivier H. Roux |
| A Discrete Time Model for Performance Evaluation and Correctness Verification of Real Time Systems / Giacomo Bucci ; Luigi Sassoli ; Enrico Vicario |
| Author Index |
図書
