@MastersThesis{	  tesi-bertozzi,
  author	= "Massimo Bertozzi",
  title		= "Reti di Petri Stocastiche: Analisi su Architetture a
		  Parallelismo Massivo",
  school	= "\emph{Universit\`a degli Studi di Parma - Facolt\`a di
		  Ingegneria}, Italy",
  month		= jul,
  year		= 1994
}