Nous avons présenté dans ce livre, les différentes composantes de la sûreté de fonctionnement des systèmes, ainsi que l'obtention de divers indicateurs de fiabilité à partir de l'analyse markovienne dont nous avons bien souligné ces limites. Ces indicateurs de performances peuvent être obtenus à l'aide de l'analyse markovienne, mais cette tache nécessite un temps de calcul préalable du graphe d'états et par la suite la difficulté de résoudre un système d'équation pour déterminer les probabilités en régime stationnaire. Afin de pallier ce problème de l'explosion combinatoire du nombre d'états, dans le cas des systèmes complexes, les réseaux de Petri temporisés stochastiques sont introduits.Durant ce travail, nous avons mis en lumière les limitations dues à l'explosion combinatoire du nombre d'états par l'analyse markovienne et aux problèmes de convergence par l'estimateur stochastique.