Wil van der Aalst Eindhoven University of Technology

Slides:

Advertisements

Similar presentations

TU / e /AIS Group Technische Universiteit Eindhoven University of Technology Modeling Grid Workflows with Colored Petri Nets Carmen Bratosin, Wil van der.

Advertisements

Workflow Mining: Concepts and Algorithm Dr. Boleslaw Mikolajczak.

CS 240 Computer Programming 1

On 1-soundness and Soundness of Workflow Nets Lu Ping, Hu Hao and Lü Jian Department of Computer Science Nanjing University

Techniques to analyze workflows (design-time)

1 SE-561 Formal Methods in Software Petri Nets - I.

1 Analysis of workflows : Verification, validation, and performance analysis. Wil van der Aalst Eindhoven University of Technology Faculty of Technology.

SOFTWARE TESTING. INTRODUCTION  Software Testing is the process of executing a program or system with the intent of finding errors.  It involves any.

1 Important issues for the future Adaptive and interorganizational workflows Wil van der Aalst Eindhoven University of Technology Faculty of Technology.

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

1 Modeling based on Petri-nets. Lecture 8. 2 High-level Petri nets The classical Petri net was invented by Carl Adam Petri in A lot of research.

CS 240 Computer Programming 1

Appendix A The Future of Workflows Wil van der Aalst has copyrights to almost all figures in the following slideshow made by Lars Frank.

/faculteit technologie management PN-1 Petri nets refresher Prof.dr.ir. Wil van der Aalst Eindhoven University of Technology, Faculty of Technology Management,

Banker’s Algorithm Implementation in CPN Tools Michal Žarnay Department of Transportation Networks University of Žilina, Slovakia.

/faculteit technologie management Genetic Process Mining Ana Karla Medeiros Ton Weijters Wil van der Aalst Eindhoven University of Technology Department.

1 Workflow Management Systems : Functions, architecture, and products. Wil van der Aalst Eindhoven University of Technology Faculty of Technology Management.

1 Analysis of workflows a-priori and a-posteriori analysis Wil van der Aalst Eindhoven University of Technology Faculty of Technology Management Department.

1 Modeling workflows : The organizational dimension and alternative notations. Wil van der Aalst Eindhoven University of Technology Faculty of Technology.

Business Alignment Using Process Mining as a Tool for Delta Analysis Prof.dr.ir. Wil van der Aalst Eindhoven University of Technology Department of Information.

Discovering Coordination Patterns using Process Mining Prof.dr.ir. Wil van der Aalst Eindhoven University of Technology Department of Information and Technology.

Process Mining: Discovering processes from event logs All truths are easy to understand once they are discovered; the point is to discover them. Galileo.

1 Workflow/Business Process Management Introduction business process management and workflow management Eindhoven University of Technology Faculty of Technology.

1 Workflow/Business Process Management Introduction business process management and workflow management Eindhoven University of Technology Faculty of Technology.

Algorithm & Flowchart.

A university for the world real R © 2009, Chapter 17 Process Mining and Simulation Moe Wynn Anne Rozinat Wil van der Aalst Arthur.

Process mining Prof.dr.ir. Wil van der Aalst Eindhoven University of Technology, Department of Information Systems, P.O. Box 513, 5600 MB Eindhoven, The.

1 Workflow/Business Process Management Introduction business process management and workflow management Eindhoven University of Technology Faculty of Technology.

HIERARCHICAL CONFORMANCE CHECKING OF PROCESS MODELS BASED ON EVENT LOGS Jorge Munoz-Gama, Josep Carmona and Wil M.P. van der Aalst.

Workflow Management introduktion: Wil van der Aalst has copyrights to the slides conserning his book about Workflow Management. However, some of the slides.

1 (Re)designing workflows Tips and tricks. Wil van der Aalst Eindhoven University of Technology Faculty of Technology Management Department of Information.

Workflow/Business Process Management Introduction business process management and workflow management Wil van der Aalst Eindhoven University of Technology.

Modeling and simulation of systems Model building Slovak University of Technology Faculty of Material Science and Technology in Trnava.

1 Analysis of workflows : Verification, validation, and performance analysis. Wil van der Aalst Eindhoven University of Technology Faculty of Technology.

Petri nets refresher Prof.dr.ir. Wil van der Aalst

Decision Mining in Prom A. Rozinat and W.M.P. van der Aalst Joosung, Ko.

Ch8. Analysis Joosung, Ko.

/faculteit technologie management PN-1 Petri nets refresher Prof.dr.ir. Wil van der Aalst Eindhoven University of Technology, Faculty of Technology Management,

1 Modeling workflows : The organizational dimension and alternative notations. Wil van der Aalst Eindhoven University of Technology Faculty of Technology.

/faculteit technologie management PN-1 Petri nets refresher Prof.dr.ir. Wil van der Aalst Eindhoven University of Technology, Faculty of Technology Management,

Theory and Practice of Software Testing

SOFTWARE TESTING. Introduction Software Testing is the process of executing a program or system with the intent of finding errors. It involves any activity.

Software Testing Mehwish Shafiq. Testing Testing is carried out to validate and verify the piece developed in order to give user a confidence to use reliable.

 Software Testing Software Testing  Characteristics of Testable Software Characteristics of Testable Software  A Testing Life Cycle A Testing Life.

/faculteit technologie management PN-1 Petri nets refresher Prof.dr.ir. Wil van der Aalst Eindhoven University of Technology, Faculty of Technology Management,

Diagnostic Information for Control-Flow Analysis of Workflow Graphs (aka Free-Choice Workflow Nets) Cédric Favre(1,2), Hagen Völzer(1), Peter Müller(2)

SOFTWARE TESTING LECTURE 9. OBSERVATIONS ABOUT TESTING “ Testing is the process of executing a program with the intention of finding errors. ” – Myers.

Technology of information systems Lecture 5 Process management.

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

30 januari 2018 Mining Social Networks Uncovering interaction patterns in business processes Prof.dr.ir. Wil van der Aalst Eindhoven University of Technology.

Concurrent Systems Modeling using Petri Nets

CSS 496 Business Process Re-engineering for BS(CS)

Concurrent Systems Modeling using Petri Nets – Part II

Wil van der Aalst Eindhoven University of Technology

Wil van der Aalst Eindhoven University of Technology

Workflow Management Systems: Functions, architecture, and products.

Wil van der Aalst Eindhoven University of Technology

Modeling based on Petri-nets.

Petri nets refresher Prof.dr.ir. Wil van der Aalst

مهندسی مجدد فرآیندهای تجاری

Wil van der Aalst Eindhoven University of Technology

Workflow Management Systems: Functions, architecture, and products.

CSS 496 Business Process Re-engineering for BS(CS)

Petri nets refresher Prof.dr.ir. Wil van der Aalst

Who Wants to Win a Million?

Predicate Abstraction

Business Alignment Using Process Mining as a Tool for Delta Analysis

Workflow Mining: Concepts and Algorithm

Faulty EPCs in the SAP Reference Model

19 augustus 2019 Mining Social Networks Uncovering interaction patterns in business processes Prof.dr.ir. Wil van der Aalst Eindhoven University of Technology.

Presentation transcript:

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 w.m.p.v.d.aalst@tm.tue.nl

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

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?

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?

It this process correct?

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

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

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!

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