1. Analysis of workflows: Verification, validation, and performance analysis.
Wil van der Aalst
Eindhoven University of Technology
Faculty of Technology Management
Department of Information and Technology
P.O. Box 513
5600 MB Eindhoven
The Netherlands

2. Design-time and run-time questions
verification validation performance analysis
process mining

3. Techniques to analyze workflows (design-time)
Validation is concerned with the relation between the model and reality.
Verification is typically used to answer qualitative questions
Is there a deadlock possible?
It is possible to successfully handle a specific case?
Will all cases terminate eventually?
It is possible to execute two tasks in any order?
Performance analysis is typically used to answer quantitative questions
How many cases can be handled in one hour?
What is the average flow time?
How many extra resources are required?
How many cases are handled within 2 days?

4. Verification: analysis techniques can be used to avoid logical errors.
check_policy
send_letter c4 c1 c2 c5
start
register
ready
check_damage
pay_damage c6
Is this a correct workflow?
If not, how to correct it?

5. It this process correct?

8. Petri-nets: a solver-independent medium
problem
Petri net description
toolbox
reachability analysis
Markovian analysis
simulation
structural analysis
OR-techniques
modeling
analysis
answers

10. Reachability analysis
rg1
red1
yellow1
green1
yr1
gy1
rg2
red2
yellow2
green2
yr2
gy2
safe

11. Reachability graph The traffic lights are safe!
Each node corresponds to a reachable state.
Done by a computer.
A computer can cope with reachability graphs with millions of nodes.
The traffic lights are safe!

15. Exercise: construct reachability graph
check_policy
send_letter c4 c1 c2 c5
start
register
ready
check_damage
pay_damage c6