@inproceedings {322,
	title = {Reachability Analysis of Petri-nets by FPGA Based  Accelerators},
	booktitle = {Proc. Design and Diagnostics of Electronic Circuits and  Systems Workshop (DDECS{\textquoteright}98)},
	year = {1998},
	month = {1998},
	pages = {307 - 312},
	url = {http://mycite.omikk.bme.hu/doc/16325.pdf},
	author = {Gy{\"o}rgy Csert{\'a}n and Istv{\'a}n Majzik and Andr{\'a}s Pataricza and Susan Allmaier}
}
