Non-markovian stochastic petri nets