Estimating the number of execution paths in a process model is a non-trivial task as one runs quickly into an combinatorial explosion of possible paths. This paper introduces a new algorithm to calculate the number of different execution paths for finite-behavior block-structured models in a computationally efficient way. Block functions are defined for the workflow constructs sequence, parallel, exclusive choice and finite loops, such that the amount of behavior in each block-construct can be computed efficiently. Subsequently, the block-structuredness of the model is exploited to efficiently calculate the number of unique paths in the model. The algorithm has been implemented for process trees, although the translation to other modeling notations is straightforward. An empirical analysis showed that the run-time of the algorithm is very low, and only slightly impacted by the complexity of the model.
[1]
Christel Baier,et al.
Principles of model checking
,
2008
.
[2]
Jcam Joos Buijs,et al.
Flexible evolutionary algorithms for mining structured process models
,
2014
.
[3]
Jan Mendling,et al.
Detection and prediction of errors in EPC business process models
,
2007
.
[4]
Boudewijn F. van Dongen,et al.
On the Role of Fitness, Precision, Generalization and Simplicity in Process Discovery
,
2012,
OTM Conferences.
[5]
Benoît Depaire,et al.
Process Model Realism: Measuring Implicit Realism
,
2014,
Business Process Management Workshops.