Aggregated stochastic state classes in quantitative evaluation of non-Markovian stochastic Petri nets