Performance modelling with deterministic and stochastic Petri nets

This document was uploaded by one of our users. The uploader already confirmed that they had the permission to publish it. If you are author/publisher or own the copyright of this documents, please report to us by using this DMCA report form.

Simply click on the Download Book button.

Yes, Book downloads on Ebookily are 100% Free.

Sometimes the book is free on Amazon As well, so go ahead and hit "Search on Amazon"

Author(s): Lindemann, Christoph
Series: Wiley-Interscience series in systems and optimization
Publisher: Wiley
Year: 1998

Language: English
Commentary: program disk
Pages: 405
City: Chichester
Tags: Parallel computers -- Evaluation.;Numerical analysis.;Petri nets.;Parallel computers -- Evaluation;Numerical analysis;Petri nets

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.