Several business process modelling tools provide some support for quantitative
analysis through discrete-event simulation. Also, general-purpose simulation tool
such as Arena1 or ExSpect2 (based on high-level Petri nets) are often used for this
purpose. A drawback of simulation is that it requires detailed input data, and for
inexperienced users it may be difficult to use and to interpret the results correctly.
BiZZdesigner3 offers, in addition to simulation, a number of analytical methods.
They include completion time and critical path analysis of business processes (see
Jonkers et al. 1999) and queuing model analysis (see Jonkers and Swelm 1999).