Modeling Smart Grid using Generalized Stochastic Petri Net - Amrita Dey; Nabendu Chaki; Sugata Sanyal (CoRR, 2011)