Dependability evaluation of complex systems with TimeNET
Armin Zimmermann · 2010
This paper presents recent changes to TimeNET, a software tool for the modeling and performability evaluation using stochastic Petri nets. A rare-event simulation module has been implemented for colored stochastic Petri nets to efficiently evaluate dependability measures of complex dynamic fault-tolerant systems.