Gravar-mail: Redes de Petri e VHDL na prototipagem rápida de sistemas digitais