Performance modelling with deterministic and stochastic Petri nets
著者
書誌事項
Performance modelling with deterministic and stochastic Petri nets
（Wiley-Interscience series in systems and optimization）
Wiley, c1998
大学図書館所蔵 件 / 全13件
-
該当する所蔵館はありません
- すべての絞り込み条件を解除する
注記
Includes bibliographical references and index
内容説明・目次
内容説明
This volume covers the analysis and application of deterministic and stochastic Petri nets, aiming to provide an up-to-date presentation of the fundamental techniques and algorithms involved. It provides coverage of methodological results on the numerical analysis of deterministic and stochastic Petri Nets and their application to performance modelling in parallel computer architecture design. The emphasis is on the exposition of an intuitive explanation for the mathematical results rather than rigorous mathematical proof.
目次
- 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.
「Nielsen BookData」 より