Dependability modelling and evaluation by using stochastic Petri nets: application to two test cases