Failure-repair processes simulation for parallel redundant configurations using stochastic Petri nets | IEEE Conference Publication | IEEE Xplore