Petri Net Modeling of Cyber-Physical Attacks on Smart Grid | Publicación