Discovering Stochastic Petri Nets with Arbitrary Delay Distributions from Event Logs · Study