monotonicity schunselaar, verbeek, van der aalst, reijers
TRANSCRIPT
![Page 1: Monotonicity Schunselaar, Verbeek, Van der Aalst, Reijers](https://reader035.vdocuments.mx/reader035/viewer/2022062722/56649f385503460f94c54983/html5/thumbnails/1.jpg)
Monotonicity
Schunselaar, Verbeek, Van der Aalst, Reijers
![Page 3: Monotonicity Schunselaar, Verbeek, Van der Aalst, Reijers](https://reader035.vdocuments.mx/reader035/viewer/2022062722/56649f385503460f94c54983/html5/thumbnails/3.jpg)
3
Analysing the models (Petra)
Petra
![Page 4: Monotonicity Schunselaar, Verbeek, Van der Aalst, Reijers](https://reader035.vdocuments.mx/reader035/viewer/2022062722/56649f385503460f94c54983/html5/thumbnails/4.jpg)
4
Analysing the models (Petra)
Petra
1
2
3
![Page 5: Monotonicity Schunselaar, Verbeek, Van der Aalst, Reijers](https://reader035.vdocuments.mx/reader035/viewer/2022062722/56649f385503460f94c54983/html5/thumbnails/5.jpg)
5
Configurable process model
![Page 6: Monotonicity Schunselaar, Verbeek, Van der Aalst, Reijers](https://reader035.vdocuments.mx/reader035/viewer/2022062722/56649f385503460f94c54983/html5/thumbnails/6.jpg)
6
Configurable process model
![Page 7: Monotonicity Schunselaar, Verbeek, Van der Aalst, Reijers](https://reader035.vdocuments.mx/reader035/viewer/2022062722/56649f385503460f94c54983/html5/thumbnails/7.jpg)
7
Analysing the models (Petra)
Petra
1
2
3
![Page 8: Monotonicity Schunselaar, Verbeek, Van der Aalst, Reijers](https://reader035.vdocuments.mx/reader035/viewer/2022062722/56649f385503460f94c54983/html5/thumbnails/8.jpg)
8
Pareto front
- Throughput time - Processing time - Nr. of control tasks
- Throughput time - Processing time - Nr of control tasks
- Throughput time - Processing time - Nr. of control tasks
- Throughput time - Processing time - Nr of control tasks
- Throughput time - Processing time - Nr of control tasks
![Page 9: Monotonicity Schunselaar, Verbeek, Van der Aalst, Reijers](https://reader035.vdocuments.mx/reader035/viewer/2022062722/56649f385503460f94c54983/html5/thumbnails/9.jpg)
9
Pareto front a closer look
- Throughput time - Processing time - Nr. of control tasks
- Throughput time - Processing time - Nr of control tasks
- Throughput time - Processing time - Nr. of control tasks
- Throughput time - Processing time - Nr of control tasks
- Throughput time - Processing time - Nr of control tasks
![Page 10: Monotonicity Schunselaar, Verbeek, Van der Aalst, Reijers](https://reader035.vdocuments.mx/reader035/viewer/2022062722/56649f385503460f94c54983/html5/thumbnails/10.jpg)
10
Pareto front a closer look
- Throughput time - Processing time - Nr. of control tasks
- Throughput time - Processing time - Nr of control tasks
- Throughput time - Processing time - Nr. of control tasks
- Throughput time - Processing time - Nr of control tasks
- Throughput time - Processing time - Nr of control tasks
¿
¿
¿Processing time Processing time≥
![Page 11: Monotonicity Schunselaar, Verbeek, Van der Aalst, Reijers](https://reader035.vdocuments.mx/reader035/viewer/2022062722/56649f385503460f94c54983/html5/thumbnails/11.jpg)
11
Analysing the models (Petra)
Petra
1
2
3
![Page 12: Monotonicity Schunselaar, Verbeek, Van der Aalst, Reijers](https://reader035.vdocuments.mx/reader035/viewer/2022062722/56649f385503460f94c54983/html5/thumbnails/12.jpg)
12
General statement
• Given two models M, M’ and a KPI; is M M’ w.r.t. that KPI?• No false positives
![Page 13: Monotonicity Schunselaar, Verbeek, Van der Aalst, Reijers](https://reader035.vdocuments.mx/reader035/viewer/2022062722/56649f385503460f94c54983/html5/thumbnails/13.jpg)
13
Overview 1 Processing time 2 Throughput time 3 Nr. of control tasks 4 Mickey Mouse Index
1 2
3 4
![Page 14: Monotonicity Schunselaar, Verbeek, Van der Aalst, Reijers](https://reader035.vdocuments.mx/reader035/viewer/2022062722/56649f385503460f94c54983/html5/thumbnails/14.jpg)
14
Overview 1 Processing time 2 Throughput time 3 Nr. of control tasks 4 Mickey Mouse Index
1 2
3 4
![Page 15: Monotonicity Schunselaar, Verbeek, Van der Aalst, Reijers](https://reader035.vdocuments.mx/reader035/viewer/2022062722/56649f385503460f94c54983/html5/thumbnails/15.jpg)
15
M’
M
Processing Time
• The amount of time spent by resources on a case
≥
1
2
![Page 16: Monotonicity Schunselaar, Verbeek, Van der Aalst, Reijers](https://reader035.vdocuments.mx/reader035/viewer/2022062722/56649f385503460f94c54983/html5/thumbnails/16.jpg)
16
Processing Time
• Is and ?• Is faster than ?
1
2
![Page 17: Monotonicity Schunselaar, Verbeek, Van der Aalst, Reijers](https://reader035.vdocuments.mx/reader035/viewer/2022062722/56649f385503460f94c54983/html5/thumbnails/17.jpg)
17
Processing Time
• What about and ?
1
2
![Page 18: Monotonicity Schunselaar, Verbeek, Van der Aalst, Reijers](https://reader035.vdocuments.mx/reader035/viewer/2022062722/56649f385503460f94c54983/html5/thumbnails/18.jpg)
18
Processing Time
• What about 1.C?
1
2
![Page 19: Monotonicity Schunselaar, Verbeek, Van der Aalst, Reijers](https://reader035.vdocuments.mx/reader035/viewer/2022062722/56649f385503460f94c54983/html5/thumbnails/19.jpg)
19
Overview 1 Processing time 2 Throughput time 3 Nr. of control tasks 4 Mickey Mouse Index
1 2
3 4
![Page 20: Monotonicity Schunselaar, Verbeek, Van der Aalst, Reijers](https://reader035.vdocuments.mx/reader035/viewer/2022062722/56649f385503460f94c54983/html5/thumbnails/20.jpg)
20
Processing Time (choices)
• Does imply ?
4
4’
![Page 21: Monotonicity Schunselaar, Verbeek, Van der Aalst, Reijers](https://reader035.vdocuments.mx/reader035/viewer/2022062722/56649f385503460f94c54983/html5/thumbnails/21.jpg)
21
Overview 1 Processing time 2 Throughput time 3 Nr. of control tasks 4 Mickey Mouse Index
1 2
3 4
![Page 22: Monotonicity Schunselaar, Verbeek, Van der Aalst, Reijers](https://reader035.vdocuments.mx/reader035/viewer/2022062722/56649f385503460f94c54983/html5/thumbnails/22.jpg)
22
Throughput Time
• The time it takes a case to move from start to finish
1
2
![Page 23: Monotonicity Schunselaar, Verbeek, Van der Aalst, Reijers](https://reader035.vdocuments.mx/reader035/viewer/2022062722/56649f385503460f94c54983/html5/thumbnails/23.jpg)
23
Throughput Time
• Is and ?• Is faster than ? • Is at least available when is available?• Do we have at least as much as ?•
1
2
![Page 24: Monotonicity Schunselaar, Verbeek, Van der Aalst, Reijers](https://reader035.vdocuments.mx/reader035/viewer/2022062722/56649f385503460f94c54983/html5/thumbnails/24.jpg)
24
Overview 1 Processing time 2 Throughput time 3 Nr. of control tasks 4 Mickey Mouse Index
1 2
3 4
![Page 25: Monotonicity Schunselaar, Verbeek, Van der Aalst, Reijers](https://reader035.vdocuments.mx/reader035/viewer/2022062722/56649f385503460f94c54983/html5/thumbnails/25.jpg)
25
Throughput Time
• Is the relation between 3.B and 3.C and the relation between 1.B and 1.C ?
1
3
![Page 26: Monotonicity Schunselaar, Verbeek, Van der Aalst, Reijers](https://reader035.vdocuments.mx/reader035/viewer/2022062722/56649f385503460f94c54983/html5/thumbnails/26.jpg)
26
Overview 1 Processing time 2 Throughput time 3 Nr. of control tasks 4 Mickey Mouse Index
1 2
3 4
![Page 27: Monotonicity Schunselaar, Verbeek, Van der Aalst, Reijers](https://reader035.vdocuments.mx/reader035/viewer/2022062722/56649f385503460f94c54983/html5/thumbnails/27.jpg)
27
Nr of control tasks working on a case
• Which are the control tasks?
1
2
![Page 28: Monotonicity Schunselaar, Verbeek, Van der Aalst, Reijers](https://reader035.vdocuments.mx/reader035/viewer/2022062722/56649f385503460f94c54983/html5/thumbnails/28.jpg)
28
Overview 1 Processing time 2 Throughput time 3 Nr. of control tasks 4 Mickey Mouse Index
1 2
3 4
![Page 29: Monotonicity Schunselaar, Verbeek, Van der Aalst, Reijers](https://reader035.vdocuments.mx/reader035/viewer/2022062722/56649f385503460f94c54983/html5/thumbnails/29.jpg)
29
Mickey Mouse Index
• Mapping (activities, resources)• Comparator (activities, resources)• Partial order on relation (operator) between activities• Occurrence of activities (resources)• Classification of activities/resources• Unmapped activities/resources
![Page 30: Monotonicity Schunselaar, Verbeek, Van der Aalst, Reijers](https://reader035.vdocuments.mx/reader035/viewer/2022062722/56649f385503460f94c54983/html5/thumbnails/30.jpg)
30
Overview 1 Processing time 2 Throughput time 3 Nr. of control tasks 4 Mickey Mouse Index
1 2
3 4
![Page 31: Monotonicity Schunselaar, Verbeek, Van der Aalst, Reijers](https://reader035.vdocuments.mx/reader035/viewer/2022062722/56649f385503460f94c54983/html5/thumbnails/31.jpg)
31
Remember: Pareto front
- Throughput time - Processing time - Nr. of control tasks
- Throughput time - Processing time - Nr of control tasks
- Throughput time - Processing time - Nr. of control tasks
- Throughput time - Processing time - Nr of control tasks
- Throughput time - Processing time - Nr of control tasks
¿
¿
¿Processing time Processing time≥
![Page 32: Monotonicity Schunselaar, Verbeek, Van der Aalst, Reijers](https://reader035.vdocuments.mx/reader035/viewer/2022062722/56649f385503460f94c54983/html5/thumbnails/32.jpg)
32
Remember: Pareto front
- Throughput time - Processing time - Nr. of control tasks - Mickey Mouse Index
- Throughput time - Processing time - Nr of control tasks - Mickey Mouse Index
- Throughput time - Processing time - Nr. of control tasks - Mickey Mouse Index
- Throughput time - Processing time - Nr of control tasks - Mickey Mouse Index
- Throughput time - Processing time - Nr of control tasks - Mickey Mouse Index
≥
≥
≥Processing time Processing time≥
![Page 33: Monotonicity Schunselaar, Verbeek, Van der Aalst, Reijers](https://reader035.vdocuments.mx/reader035/viewer/2022062722/56649f385503460f94c54983/html5/thumbnails/33.jpg)
33
Analysing the models (Petra)
Petra
1
2
3
![Page 34: Monotonicity Schunselaar, Verbeek, Van der Aalst, Reijers](https://reader035.vdocuments.mx/reader035/viewer/2022062722/56649f385503460f94c54983/html5/thumbnails/34.jpg)
34
Future work
• Implementation + case study• Effectiveness • Increase in speed
• Proper support for loops
• Navigating through the analysed models
• Configuration constraints• Language based/ the “O-word”
![Page 35: Monotonicity Schunselaar, Verbeek, Van der Aalst, Reijers](https://reader035.vdocuments.mx/reader035/viewer/2022062722/56649f385503460f94c54983/html5/thumbnails/35.jpg)
35
Questions