Finding the best in the family Schunselaar, Verbeek, Van der Aalst, Reijers.

Slides:

Advertisements

Similar presentations

Process Trees + Properties Dennis Schunselaar. Process Trees 2 Visualiser 1: Visualiser 2:

Advertisements

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

Process Mining in the Context of Web Services Prof.dr.ir. Wil van der Aalst Eindhoven University of Technology, P.O. Box 513, 5600 MB Eindhoven, The Netherlands.

Network Design and Implementation

Creating Sound and Reversible Configurable Process Models using CoSeNets Dennis Schunselaar, Verbeek, Van der Aalst, Reijers

Properties Dennis Schunselaar. Properties A generic way to add information to a formalism Process Trees Petri Nets BPMN … Pick your formalism 2.

Mariska Netjes, Wil M.P. van der Aalst, Hajo A. Reijers - Analysis of resource-constrained processes with Colored Petri Nets CPN Workshop 2005 Analysis.

Modelling Feature Interaction Patterns in Nokia Mobile Phones using Coloured Petri Nets and Design/CPN Louise Lorentsen University of Aarhus Antti-Pekka.

Process Mining from discovery to checking Prof.dr.ir. Wil van der Aalst Eindhoven University of Technology, Department of Information Systems, P.O. Box.

Operating Systems (CSCI2413) Lecture 4 Process Scheduling phones off (please)

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

February 12, 2009 Center for Hybrid and Embedded Software Systems Model Transformation Using ERG Controller Thomas H. Feng.

Let's Go All the Way: From Requirements via Colored Workflow Nets to a BPEL Implementation of a New Bank System Wil M. P. van der Aalst Jens Bæk Jørgensen.

Lecturer: Dr. AJ Bieszczad Chapter 22-1 Process includes: all major process activities resources used, subject to set of constraints (such as schedule)

/faculteit technologie management 1 Process Mining: Extension Mining Algorithms Ana Karla Alves de Medeiros Ana Karla Alves de Medeiros Eindhoven University.

Performance Evaluation Techniques Professor Bob Kinicki Computer Science Department.

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

McGraw-Hill/Irwin Copyright © 2009 by The McGraw-Hill Companies, Inc. All rights reserved.

A university for the world real R © 2009, Chapter 23 Epilogue Wil van der Aalst Michael Adams Arthur ter Hofstede Nick Russell.

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.

McGraw-Hill/Irwin © 2006 The McGraw-Hill Companies, Inc., All Rights Reserved. 1.

Chapter 6 Process Analysis.

1 © The McGraw-Hill Companies, Inc., 2004 Introduction (from Chase) Process Analysis.

1-1 1 McGraw-Hill/Irwin ©2009 The McGraw-Hill Companies, All Rights Reserved.

Cooking with Visual Studio Team System 1 A Recipe for Team Foundation Server.

Remote Function Calls in ABAP Instructor: Dylan Liu

Flexible Performance Prediction of Data Center Networks using Automatically Generated Simulation Models Piotr Rygielski, Samuel Kounev, Phuoc Tran-Gia.

Parser-Driven Games Tool programming © Allan C. Milne Abertay University v

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

© 2003, Carla Ellis Simulation Techniques Overview Simulation environments emulation exec- driven sim trace- driven sim stochastic sim Workload parameters.

CDA 3101 Fall 2013 Introduction to Computer Organization Computer Performance 28 August 2013.

1 Slides used in class may be different from slides in student pack Chapter 5 Process Analysis  Process Analysis  Process Flowcharting  Categories of.

Analysis of BPMN Models Addis Gebremichael 19 December 2014 Model Driven Engineering.

Incentive-Oriented Downlink Scheduling for Wireless Networks with Real-Time and Non-Real-Time Flows I-Hong Hou, Jing Zhu, and Rath Vannithamby.

Generating Correct EPCs from Configured C-EPCs* Jan MendlingVienna University of Economics Jan ReckerQueensland University of Technology Michael RosemannQueensland.

Peng Lu. CPU Scheduling 1. Basic Concepts 2. Scheduling Criteria 3. Scheduling Algorithms 4. Multiple-Processor Scheduling 5. Real-Time Scheduling 2.

Monotonicity Schunselaar, Verbeek, Van der Aalst, Reijers.

IS 4506 Establishing Microsoft SMTP Service.  Overview Introduction to Microsoft SMTP Service SMTP Service features SMTP administration interface SMTP.

CIS250 OPERATING SYSTEMS Chapter 6 - CPU Scheduling Basic Concepts The objective of multi-programming is have a program running at all times Maximize.

Project 2 Presentations CS554 – Designs for Software and Systems Team HAND – Seokin Hong, Gieil Lee, Jesung Kim, Yebin Lee Department of Computer Science,

Process Modeling

Advanced Computer Architecture & Processing Systems Research Lab Framework for Automatic Design Space Exploration.

LaHave House Project 1 LaHave House Project Automated Architectural Design BML + ARC.

Quality of Pareto set approximations Eckart Zitzler, Jörg Fliege, Carlos Fonseca, Christian Igel, Andrzej Jaszkiewicz, Joshua Knowles, Alexander Lotov,

Chapter 12 The Network Development Life Cycle

© Fraunhofer IESE Fraunhofer IESE Multi-Language Development of Embedded Systems Dr. Thomas Kuhn Tel.:

CPU Algorithm Turnaround time :- Amount of time to execute a particular process. Waiting time – amount of time a process has been waiting in the ready.

3:00. 2:59 2:58 2:57 2:56 2:55 2:54 2:53 2:52.

A university for the world real R © 2009, Chapter 12 The Declare Service Maja Pesic Helen Schonenberg Wil M.P. van der Aalst.

CPU Scheduling CSCI Introduction By switching the CPU among processes, the O.S. can make the system more productive –Some process is running at.

Value Stream Maps Identify Constraints. Constraint Anything that restricts or limits the flow of a process Also called a bottleneck 2.

Chapter 5 Process Analysis. Chapter 5 Process Analysis.

YAWL in the Cloud: Supporting Process Sharing and Variability

Noah Treuhaft UC Berkeley ROC Group ROC Retreat, January 2002

Configurable Process Models: Elicitation, Analysis, and Execution

Process Scheduling B.Ramamurthy 9/16/2018.

Top Fire Protection Services Ottawa available on Dubinskyconstruction

المدرسة الذكية (المقصود بالمدرسة الذكية, فلسفة وأهداف المدرسة الذكية,تجارب عربية وغربية في تطبيق المدرسة الذكية) بحث مقدم للدكتورة: حنان سليمان عضو.

Wil van der Aalst Eindhoven University of Technology

Workflow Manager: Parallel Approvals

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

Wil van der Aalst Eindhoven University of Technology

Queuing Theory By: Brian Murphy.

Q:何謂 CPU BURST與 I/O BURST?

All Change Your name 30 May 2019 Spin Faster Skills I need:

CPU Scheduling.

Faulty EPCs in the SAP Reference Model

Chapter 5: CPU Scheduling

Presentation transcript:

Finding the best in the family Schunselaar, Verbeek, Van der Aalst, Reijers

Motivation 2

Overview 3 Petra

Process Trees 4

5 R: v1, v2 W: v3

Process Trees Configurations 6

Process Trees 7 R: v1, v2 W: v3

Contexts 8 DataResources Simulation Environment

Process Trees Properties 9 R: v1, v2 W: v3 1 2

Overview 10 Petra Context

The tool interface 11

Overview 12 Petra Context

Pareto front 13 - Throughput time - Wait time - Queue time - Processing time - Throughput time - Wait time - Queue time - Processing time - Throughput time - Wait time - Queue time - Processing time - Throughput time - Wait time - Queue time - Processing time - Throughput time - Wait time - Queue time - Processing time

Overview 14 Petra Context

Future work Case study reproducibility reality Faster CPN Tools encoding More tools/ metrics Configuration Constraints Smarter stopping criteria Process Tree  YAWL “Model repair” 15

Questions 16

Transformation to CPN Tools 17 C CFD RR