@TechReport{BasagniMP97tr,
  AUTHOR	= {Basagni, S. and C. Mereghetti and S. Panizza},
  TITLE		= {A Coloured Stochastic Petri Net Model for Dining
		  Philosophers},
  NUMBER	= {RI-DSI-202-97},
  INSTITUTION	= {Dipartimento di Scienze dell'Informazione},
  ADDRESS	= {Universit\`{a} di Milano},
  YEAR		= 1997
}