Computing the Expected Execution Time of Probabilistic Workflow Nets.

Philipp J. Meyer, Javier Esparza, Philip Offtermatt

Browse the full TACAS paper archive.