Download presentation

Presentation is loading. Please wait.

Published byJaylan Hitson Modified over 2 years ago

1
Workflow Management Kap. 4. Analyzing Workflows Wil van der Aalst has copyrights to almost all figures in the following slideshow made by Lars Frank.

2
“Soundness” analysis can prevent logical errors:

3
Soundness property:

4
Unbounded and never ending loop error: A petri net is bounded when there is an upper limit for tokens. A petri net is safe when the upper limit for tokens is one for all places = Bounded by value one.

5
Soundness property proof: If a transition is replaced by a sound workflow, then the resulting workflow is also sound.

6
Examples of Sound nets:

7
Example of Sound proof:

8
Why is there no proof for the soundness property?

9
Techniques to analyze workflows: (About the structure of the workflow. For example soundness) (About attribute values and management of the workflow)

10
Is this process correct? (In analyzing the workflow you should use the knowledge learned from the previous example)

11
Dangling tasks error = Petri net is not live: A petri net is live when all tasks can be loaded.

12
Deadlock illustration where both Trans1 and Trans2 want to lock(låse) Object1 and Object2:

13
Fairness property: The fairness property says that if a task potentially can be executed, then it will be executed sooner or later. Does the workflow have a logical error if task2 is a “marriage” that produce “families”?

14
Hanging cases before termination:

15
Petri-net analysis :

16
Reachability graph without cycles: Reachability graph with reachable states:

17
Reachability graph with cycles: (red1,green1,yellow1,safe,red2,green2,yellow2,safe) Green Both red Yellow Green

18
Some petri nets has Place invariants: Place invariants = Constant calculated as the weightet sum of the tokens in each place. Example: man +woman + 2 * couple = 7

19
Performance analysis: Computer simulation is the repeated execution of a process where choices are made upon various probability distributions. A Markov chain is a reachability graph with the probability of transition added to it.

20
The following slides illustrate 6 different basic workflow constructions for integrating 2 activities:

21
Example 1. Sequential:

22
Example 2. Parallel:

23
Example 3. Compose:

24
Example 4. Flexible resources:

25
Example 5. Triage:

26
Example 6. Priority:

27
Example 7. Results of analysis:

28
Guidelines for workflow design:

29
Calculate capacity and utilization: If x is the execution time for a task then 1/x is the capacity and N/x the utilization when N cases are executed.

30
A general queue model:

31
A queue model with even distribution for arrivals:

32
A queue model with negative exponential distribution for arrivals:

33
Properties of simulation:

34
Prove the soundness of the coupled e- commerce workflow?

35
Which e- commerc e model will you re- commend in practice?

36
End of session Thank you !!!

37
Petri net Work flow for global E-commerce transactions where the stocks are in the locations of the different suppliers. OR split

38
Sub- Petri net of activity 2 AND split OR split AND join

39
Exercise in quantitative analysis:

Similar presentations

OK

Automatic Verification Book: Chapter 6. What is verification? Traditionally, verification means proof of correctness automatic: model checking deductive:

Automatic Verification Book: Chapter 6. What is verification? Traditionally, verification means proof of correctness automatic: model checking deductive:

© 2017 SlidePlayer.com Inc.

All rights reserved.

Ads by Google

Free download ppt on sources of energy for class 10 Free download ppt on light reflection and refraction Animated ppt on magnetism for kids Ppt on data handling for class 7 cbse Ppt on data collection methods pdf Ppt on conceptual art photography Ppt on blood stain pattern analysis software Ppt on music therapy Ppt on water activity table for toddlers Ppt on road accidents