Enviar por SMS: Computação paralela utilizando GPU na análise de redes de Petri IOPT