On the Use of Stochastic Petri Nets in the Analysis of Signal Transduction Pathways for Angiogenesis Process