For the most recent entries see the Petri Nets Newsletter.

Analyzing Concurrent and Fault-Tolerant Software Using Stochastic Reward Nets.

Ciardo, G.; Muppala, J.K.; Trivedi, K.S.

In: Journal of Parallel and Distributed Computing 15. 1992.

Abstract: We present two software applications and develop models for them. The first application considers a producer-consumer tasking system with an intermediate buffer task and studies how the performance is affected by different selection policies when multiple tasks are ready to synchronize. The second application studies the reliability of a fault-tolerant software system using the recovery block scheme. The model is incrementally augmented by considering clustered failures or the effective arrival rate of inputs to the system. We use stochastic reward nets, a variant of stochastic Petri nets, to model the two software applications. In both models, each quantity to be computed is defined in terms of either the expected value of a reward rate in steady-state or at a given time Q, or as the expected value of the accumulated reward until absorption or until a given time Q. This allows extreme flexibility while maintaining a rigorous formalization of these quantities.


Do you need a refined search? Try our search engine which allows complex field-based queries.

Back to the Petri Nets Bibliography