Artifact and instructions to generate experimental results for TACAS 2019 paper: Computing the Expected Execution Time of Probabilistic Workflow Nets
MeyerPhilipp J.
EsparzaJavier
OfftermattPhilip
2019
This is the artifact accompanying the paper "Computing the Expected
Execution Time of Probabilistic Workflow Nets", accepted for TACAS 2019.
Timed Probabilistic Workflow Nets (TPWN) are a model for business
process modeling extended with time and probabilistic information. In
the paper, we have shown that computing the excepted execution time of a
TPWN is #P-hard, even for simple net structures. We then developed an
exponential time algorithm to compute the expected execution time, and
evaluated it on a set of real-word workflow net benchmarks. As a result,
we obtained that for most nets, the time can be computed efficiently
despite the theoretical hardness.<br><br>This artifact can be used to
reproduce the results given in Section 6 "Experimental evaluation" of
the paper. It includes the workflow and process mining workbench ProM
together with the plugin we implemented to compute the expected
execution time. Further, this artifact contains a set of 642 workflow
nets from IBM, annotated with 3 sets of random times and probabilities,
and scripts to compute the expected execution time of all nets and
aggregate the results. This can be used to validate the results in Table
1. Also, the workflow net from the BPI Challenge shown in Fig. 4 of the
paper is included, in a deterministic and probabilistic version. This
net can be analyzed using ProM to validate the results in Table 2.