Estimating the number of faults using simulator based on generalized stochastic Petri-net model | IEEE Conference Publication | IEEE Xplore