Statistical and Probabilistic Models in Reliability, 32335 pages, 1999.
Abstract: This paper presents a modeling approach based on Generalized Stochastic Petri Nets (GSPN) aimed at the dependability (reliability, availability and safety) evaluation of large hardware and software fault-tolerant systems. The model is built and validated in an incremental manner, according to a set of construction guidelines and rules, aimed to obtain models which are structurally valid, readable, compact and flexible.
Keywords: Generalized Stochastic Petri Nets; GSPN; dependability; modelling.