Superposition of generalized stochastic Petri nets and its impact on performance analysisPeter KemperSold outTrack