Dynamic power management of complex systems using generalized stochastic Petri nets