Lucia Napione Daniele Manini Francesca Cordero András Horváth Andrea Picco Massimiliano De Pierro Simona Pavan Matteo Sereno Andrea Veglio Federico Bussolino Gianfranco Balbo On the Use of Stochastic Petri Nets in the Analysis of Signal Transduction Pathways for Angiogenesis Process. 281-295 2009 CMSB http://dx.doi.org/10.1007/978-3-642-03845-7_19 conf/cmsb/2009 db/conf/cmsb/cmsb2009.html#NapioneMCHPPPSVBB09