Monotonicity

Schunselaar, Verbeek, Van der Aalst, Reijers

2

Motivation

3

Analysing the models (Petra)

Petra

4

Analysing the models (Petra)

Petra

1

2

3

5

Configurable process model

6

Configurable process model

7

Analysing the models (Petra)

Petra

1

2

3

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

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

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≥

11

Analysing the models (Petra)

Petra

1

2

3

12

General statement

• Given two models M, M’ and a KPI; is M M’ w.r.t. that KPI?• No false positives

13

Overview 1 Processing time 2 Throughput time 3 Nr. of control tasks 4 Mickey Mouse Index

1 2

3 4

14

Overview 1 Processing time 2 Throughput time 3 Nr. of control tasks 4 Mickey Mouse Index

1 2

3 4

15

M’

M

Processing Time

• The amount of time spent by resources on a case

≥

1

2

16

Processing Time

• Is and ?• Is faster than ?

1

2

17

Processing Time

• What about and ?

1

2

18

Processing Time

• What about 1.C?

1

2

19

Overview 1 Processing time 2 Throughput time 3 Nr. of control tasks 4 Mickey Mouse Index

1 2

3 4

20

Processing Time (choices)

• Does imply ?

4

4’

21

Overview 1 Processing time 2 Throughput time 3 Nr. of control tasks 4 Mickey Mouse Index

1 2

3 4

22

Throughput Time

• The time it takes a case to move from start to finish

1

2

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

24

Overview 1 Processing time 2 Throughput time 3 Nr. of control tasks 4 Mickey Mouse Index

1 2

3 4

25

Throughput Time

• Is the relation between 3.B and 3.C and the relation between 1.B and 1.C ?

1

3

26

Overview 1 Processing time 2 Throughput time 3 Nr. of control tasks 4 Mickey Mouse Index

1 2

3 4

27

Nr of control tasks working on a case

• Which are the control tasks?

1

2

28

Overview 1 Processing time 2 Throughput time 3 Nr. of control tasks 4 Mickey Mouse Index

1 2

3 4

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

30

Overview 1 Processing time 2 Throughput time 3 Nr. of control tasks 4 Mickey Mouse Index

1 2

3 4

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≥

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≥

33

Analysing the models (Petra)

Petra

1

2

3

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”

35

Questions