Approximate closed-form aggregation of a fork-join structure in generalised stochastic petri nets.