queue mining - predicting delays in service processes .
Prediction of Remaining Service Execution Time Using Stochastic Petri Nets with Arbitrary Firing Delays