Quality Dimensions -- Discovering Stochastic Petri Nets with Arbitrary Delay