Aggregation methods in exact performance analysis of stochastic Petri nets