Performance analysis of business processes with stochastic Petri netsHarald RauAusverkauftBuch bewachen