Redes de Petri Coloridas: Modelagem de Sistema de Combate a Incêndio