In: st International Conference on Mathematical Methods in Reliability (MMR'97), Bucharest (Roumania), pages 151-158. September 1997.
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; Air traffic control.
Back to the Petri Nets Bibliography