TimeNET: a toolkit for evaluating non-Markovian stochastic Petri nets
Performance Evaluation - Special issue: performance modeling tools
A framework for rare event simulation of stochastic Petri nets using “RESTART”
WSC '96 Proceedings of the 28th conference on Winter simulation
Performance Analysis of Communication Systems with Non-Markovian Stochastic Petri Nets
Performance Analysis of Communication Systems with Non-Markovian Stochastic Petri Nets
Towards modeling and evaluation of ETCS real-time communication and operation
Journal of Systems and Software - Special issue: Parallel and distributed real-time systems
Stochastic Discrete Event Systems: Modeling, Evaluation, Applications
Stochastic Discrete Event Systems: Modeling, Evaluation, Applications
A toolkit for performability evaluation based on stochastic UML state machines
Proceedings of the 2nd international conference on Performance evaluation methodologies and tools
A framework for simulation and symbolic state space analysis of non-markovian models
SAFECOMP'11 Proceedings of the 30th international conference on Computer safety, reliability, and security
| Hi-index | 0.00 |
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.