With the growing size and complexity of software applications, research in the area of
architecture-based software reliability analysis has gained prominence. The purpose of this …

Abstract Evaluation of operational engineering availability and maintainability is usually
considered in the detail design phase, or after installation of an engineering design. It deals …

Analytical modeling plays a crucial role in the analysis and design of computer systems.
Stochastic Petri Nets represent a powerful paradigm, widely used for such modeling in the …

Performance and Reliability Analysis of Computer Systems: An Example-Based Approach
Using the SHARPE Software Package provides a variety of probabilistic, discrete-state …

The development of techniques for quantitative, model-based evaluation of computer system
dependability has a long and rich history. A wide array of model-based evaluation …

Written by a leading researcher this book presents an introduction to Stochastic Petri Nets
covering the modeling power of the proposed SPN model, the stability conditions and the …

Stochastic Petri nets (SPN's) with generally distributed firing times can model a large class of
systems, but simulation is the only feasible approach for their solution. We explore a …

Abstract Stochastic Petri Nets are a modelling formalism that can be conveniently used for
the analysis of complex models of Discrete Event Dynami Systems (DEDS) and for their …

In a client-server type system, the server software is required to run continuously for very
long periods. Due to repeated and potentially faulty usage by many clients, such software" …

This paper describes TimeNET (Timed Net Evaluation Tool), a software package for the
modeling and evaluation of stochastic Petri nets with non-exponentially distributed firing …