Modelling with generalized stochastic Petri nets

書誌事項

Modelling with generalized stochastic Petri nets

M. Ajmone Marsan ... [et al.]

(Wiley series in parallel computing)

Wiley, c1995

大学図書館所蔵 件 / 13

この図書・雑誌をさがす

注記

Includes bibliographical references (p. [289]-293) and index

内容説明・目次

内容説明

Graph-based modelling paradigms are widely accepted for use in computer systems, having characteristics of parallelism and concurrency. This is a detailed and illustrative presentation of the generalized stochastic Petri net (GSPN) modelling approach. Fundamentals of Petri nets and Markov chains are introduced before defining GSPNs and their analysis. Applications and extensions are discussed and a software package - Great GSPN - is described.

目次

  • Petri Nets and Their Properties
  • Petri Nets With Priority
  • GSPN Basics
  • GSPN Representation of Phase-Type Distributions
  • Compact Models of Random Polling Systems
  • Modelling and Analysis of Concurrent Programs
  • GSPN Models of Concurrent Architectures.

「Nielsen BookData」 より

関連文献: 1件中  1-1を表示

詳細情報

ページトップへ