%0 Journal Article %J Formal Methods in System Design %D 1995 %T A Colored Petri Net Model of VHDL %A S. Olcoz %A J.M. Colom %N 1/2 %P 101-123 %V 7 %8 08/1995