Enviar por SMS: Redes de Petri e VHDL na prototipagem rápida de sistemas digitais