@conference {GomesBarrosCostaPNSE2007,
	title = {{Petri Nets Tools and Embedded Systems Design}},
	booktitle = {Proceedings of the International Workshop on Petri Nets and Software Engineering (PNSE{\textquoteright}07)},
	year = {2007},
	note = {n/a},
	month = {Jun},
	abstract = {n/a},
	author = {Gomes, Lu{\'\i}s and Jo{\~a}o Paulo Barros and Anik{\'o} Costa}
}
