For the most recent entries see the Petri Nets Newsletter.

Incremental approach for building stochastic Petri nets for dependability modeling.

Fota, N.; Kaaniche, M.; Kanoun, K.

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.

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

Back to the Petri Nets Bibliography