1. Modelling with generalized stochastic Petri nets, Wiley series in parallel computing;Ajmone-Marsan,1995
2. The altarica data-flow language in use;Boiteau;Reliab Eng Syst Saf,2006
3. Fiabilité des grands systèmes séquentiels;Bon;Rev Stat Appl,1992
4. Collet J, Renault I. Path probability evaluation with repeated rates. In: Proceedings of annual reliability and maintainability symposium, RAMS׳97. Philadelphia, PA, USA: IEEE; 1997. p. 184–7.
5. Bouissou M, Lefebvre Y. A path-based algorithm to evaluate asymptotic unavailability for large Markov models. In: Proceedings of annual reliability and maintainability symposium, RAMS׳2002. Seattle, USA: IEEE; 2002. p. 32–9.