Modelagem de um Ataque Cibernético em Redes de Petri Coloridas