Titlebook: Stochastic Petri Nets; Modelling, Stability Peter J. Haas Textbook 2002 Springer-Verlag New York 2002 Simulation.communication.computer sim

BRAWL

宣称

Delays,its—that involve the marking process or underlying chain of an SPN. Such measures include long-run system reliability, availability, and cost, as well as throughput and discounted cost. Assessment of computer, communication, manufacturing, and transportation systems, however, often involves analysis

公猪

Colored Stochastic Petri Nets,ces and transitions. One popular strategy for obtaining more concise specifications in such cases is to associate “colors” with both tokens and transitions and to work with “colored stochastic Petri nets” (CSPNs). This approach is especially effective when the system under study is composed of many

hurricane

CAMP

Recurrence,The marking process of an SPN must be stable for time-average limits to be well defined and for simulation-based estimation techniques to be applicable. Although nontrivial, establishing stability properties for a specified SPN is therefore a key step in a methodologically sound simulation study.

tooth-decay

beta-cells

Aprope

Stochastic Petri Nets978-0-387-21552-5Series ISSN 1431-8598 Series E-ISSN 2197-1773

商品

1431-8598 Overview: Provides a well thought-out and complete picture of the subject of Stochastic Petri Nets, emphasizing their modeling power.Appeals to a wide range of researchers in engineering, computer science, math978-1-4419-3001-9978-0-387-21552-5Series ISSN 1431-8598 Series E-ISSN 2197-1773

让你明白

The Marking Process,ocess is in terms of an underlying general state-space Markov chain that describes the net at successive marking changes. This definition leads to an algorithm for generating sample paths of the process.