Incremental Approach for Building Stochastic Petri Nets for Dependability Modeling
Nicolae Fota, Mohamed Kaâniche, Karama Kanoun · Birkhäuser Boston eBooks · 1999
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.