Analysis of stochastic Petri nets with signals