@inproceedings {1030,
	title = {Petri Net Based Analysis of VHDL Programs},
	booktitle = {Segunda Reuni{\'o}n sobre Paralelismo},
	year = {1991},
	month = {09/1991},
	pages = {115-127},
	address = {San Lorenzo del Escorial, Madrid},
	author = {S. Olcoz and J.M. Colom}
}

