A Colored Petri Net model of VHDL | Publicación