Text this: Applying Infinite Petri Nets to the Cybersecurity of Intelligent Networks, Grids and Clouds.