Interval generalized stochastic petri net models in dependability evaluation

Interval arithmetic has been applied to model uncertainties and variabilities. An interval model is a space, family or class of models in which there are parameters represented by intervals, instead of real numbers. This paper describes the interval generalized stochastic Petri net (IGSPN) as an interval extension to the GSPN model. The IGSPN analysis takes into account the effects of variability on exponential transition rates and weights when calculating dependability measures. IGSPN analysis may be useful as a tool for decisionmaking. A Case study is presented for describing the models as well as for presenting the analysis methods.