A Petri Net-T3SD policy driven method for IT infrastructure selection in smart grid | IEEE Conference Publication | IEEE Xplore