@inproceedings {1029,
	title = {Petri Net Based Analysis of VHDL Programs},
	booktitle = {Second European Conference on VHDL Methods (EURO-VHDL{\textquoteright}91)},
	year = {1991},
	month = {09/1991},
	pages = {1-10},
	publisher = {Swedish Institute of Microelectronics},
	organization = {Swedish Institute of Microelectronics},
	address = {Stockholm, Sweden},
	author = {S. Olcoz and J.M. Colom}
}

