Analysis and evaluation of non-Markovian stochastic Petri nets