@inbook {1064,
	title = {A Petri Net Approach for the Analysis of VHDL Descriptions},
	booktitle = {Correct Hardware Design and Verification Methods},
	series = {Lecture Notes in Computer Science},
	number = {683},
	year = {1993},
	pages = {15-26},
	publisher = {Springer-Verlag},
	organization = {Springer-Verlag},
	address = {Berlin},
	isbn = {3-540-56778-X},
	author = {S. Olcoz and J.M. Colom},
	editor = {G.J. Milne and L. Pierre}
}

