Exploiting Petri Nets for Graphical Modelling of Electromagnetic Pulse Switching Operations | Publicación