Time domain analysis of non-markovian stochastic petri nets with pri transitions