@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}
}

