Extended Stochastic Petri Nets: Applications and Analysis.

Abstract

ID. RESTRICTIVE MARKINGS 3. DISTRIBUTION/AVAILABILITY OF REPORT Approved for public release; distribution unlimited. 5. MONITORING ORGANIZATION REPORT NUMBER(S) AFOSR-TR. 8 4-1095 7a. NAME OF MONITORING ORGANIZATION

A Unified Framework for System-Level Design: Modeling and Performance Optimization of Scalable Networking Systems

“…The Figure 3 shows the extended stochastic Petri net (ESPN) model [15], an extension of stochastic Petri net, for the PE. Note that an ESPN is formally defined as a six-tuple (P,…”

“…Then, processor needs the cache coherency between L1 and L2 cache if L1 cache is updated by transferring the data through outbound queue at P 13 . Finally, the stored data at the queue are given to L2 through the outbound switch at P 15 . In this ESPN model, we consider the write-back scheme as cache update strategy.…”

Response time behavior of distributed voting algorithms for managing replicated data

“…This assumption is made to allow us to use Stochastic Petri Nets (SPNs) to describe the system and to use software packages such as SPNP [3] to solve the model based on reward assignments to yield our performance measures of interest. The approach described here can be extended to Markov Regenerative Stochastic Petri Net (MRSPN) [4] or Extended Stochastic Petri Net (ESPN) [5] models in which firing times can be general distributions.…”

Probabilistic Time Petri Nets

“…For example, a component failure in a gracefully degrading system can be linked to the firing of a transition whose rate is not necessarily subject to some random phenomenon, but whose outcome needs to be specified in terms of token generation. The extended stochastic Petri nets introduced in [13] allow firing times to belong to an arbitrary distribution and output places to be randomised, but they still require stringent restrictions, including the randomisation of transition rates.…”