Embedding Monte Carlo simulation within the stochastic Petri network formalism for the evaluation of the availability of a nuclear safety system