non-Markovian stochastic Petri nets