Net level aggregation using nonlinear optimization for the solution of hierarchical generalized stochastic Petri nets | IEEE Conference Publication | IEEE Xplore