@inbook {DesDesBook2005,
	title = {Structuring Mechanisms in Petri Net Models: From specification to FPGA based implementations},
	booktitle = {Design of embedded control systems},
	year = {2005},
	note = {<p><a href="http://www.springerlink.com/content/wg14206783263m7x/">http://www.springerlink.com/content/wg14206783263m7x/</a></p>
},
	pages = {153-166},
	chapter = {13},
	abstract = {n/a},
	author = {Lu\'{\i}s Gomes and Jo{\~a}o Paulo Barros and Anik{\'o} Costa}
}
