Stoytcheva, N.; Kassev, K.; Slovak, R.; Schnieder, E.:
Quantitative RAMS Modelling and Analysis with Markov Chains and Stochastic Petri Nets.
In: Universität Zilina, Hrsg.: Tagungsband des 12. Internationalen Symposium Zel 2005/ 24.-25.05.2005, Zilina, Slovakei, S. 219 - 229, Bd. II, Zilina, Slovakei, 2005.


The paper presents the general requirements on a formal modelling for risk and safety system analysis. Using a practical example the application of the modelling with Markov chains and Stochastic Petri nets are shown. Advantages and disadvantages of theses formal languages, especially in comparison with each other, are discussed.