@article {1074, title = {A Colored Petri Net Model of VHDL}, journal = {Formal Methods in System Design}, volume = {7}, year = {1995}, month = {08/1995}, pages = {101-123}, issn = {0925-9856}, author = {S. Olcoz and J.M. Colom} }