Enviar por SMS: Redes de Petri e VHDL na especificação de controladores paralelos