Performance modelling with deterministic and stochastic Petri nets
โ Scribed by Lindemann, Christoph
- Publisher
- Wiley
- Year
- 1998
- Tongue
- English
- Leaves
- 425
- Series
- Wiley-Interscience series in systems and optimization
- Category
- Library
No coin nor oath required. For personal study only.
โฆ Table of Contents
Content: INTRODUCTION TO PERFORMANCE MODELLING
Performance Evaluation of Computer Systems
Stochastic Modelling Formalisms
DETERMINISTIC AND STOCHASTIC PETRI NETS
Structural Properties and Reachability Analysis
Numerical Analysis of DSPN without Concurrent Deterministic Transitions
Numerical Analysis of DSPN with Concurrent Deterministic Transitions
PERFORMANCE ANALYSIS OF MULTIPROCESSOR SYSTEMS
Organisation of Multiprocessor Systems
Modelling Node Architectures
Modelling Memory Consistency Protocols
THE SOFTWARE PACKAGE DSPNNEXPRESS
Overview of the Software Package DSPNexpress
The Graphical Interface of the Package DSPNexpress
DSPNexpress Intrinsics
Appendices
Bibliography for Appendix
Index.
โฆ Subjects
Parallel computers -- Evaluation.;Numerical analysis.;Petri nets.;Parallel computers -- Evaluation;Numerical analysis;Petri nets
๐ SIMILAR VOLUMES
World renowned leaders in the field provide an accessible introduction to the use of Generalized Stochastic Petri Nets (GSPNs) for the performance analysis of diverse distributed systems. Divided into two parts, it begins with a summary of the major results in GSPN theory. The second section is devo
World renowned leaders in the field provide an accessible introduction to the use of Generalized Stochastic Petri Nets (GSPNs) for the performance analysis of diverse distributed systems. Divided into two parts, it begins with a summary of the major results in GSPN theory. The second section is devo
With contributions from an international team of leading researchers, the book pulls together updated research results in the area of HIV/AIDS modeling to provide readers with the latest information in the field. Topics covered include: AIDS epidemic models; vaccine models; models for HIV/cell dynam