1. /faculteit technologie management PN-1 مهندسی مجدد فرآیندهای تجاری بخش چهارم: تحلیل فرآیندها Analysis of workflows

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

3. 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. 4 Verification: analysis techniques can be used to avoid logical errors. Is this a correct workflow? If not, how to correct it? pay_damage check_policy readystartregister c5 c6 c4 c3 c2 c1 check_damage send_letter

5. 5 It this process correct?

6. 6

7. 7

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

9. 9

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

11. 11 Reachability graph 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!

12. 12

13. 13

14. 14

15. 15 Exercise: construct reachability graph pay_damage check_policy readystartregister c5 c6 c4 c3 c2 c1 check_damage send_letter

16. 16

17. 17

18. 18

19. 19 Error 1: dangling tasks task5task4 task3task2task1beginend

20. 20 Error 2: deadlock (task2) task2 task1beginend

21. 21 Error 3: unbounded and never-ending task3task2task1beginend

22. 22 Error 4: deadlock before or after termination task3task2task1beginend

23. 23

24. 24