Stochastic Petri nets architectural modules for power system availability | IEEE Conference Publication | IEEE Xplore