We use Stochastic Petri Net (SPN) models to represent the power infrastructure behavior, and Reliability Block Diagrams (RBD) to represent application availability. Results from stationary analysis ...