Monotonicity Schunselaar, Verbeek, Van der Aalst, Reijers.

Slides:



Advertisements
Similar presentations
Representing Motion in a Variety of Ways
Advertisements

August 8 th, 2011 Kevan Thompson Creating a Scalable Coherent L2 Cache.
Iterative Deepening A* & Constraint Satisfaction Problems Lecture Module 6.
Finding the best in the family Schunselaar, Verbeek, Van der Aalst, Reijers.
Tuan Tran. What is CISC? CISC stands for Complex Instruction Set Computer. CISC are chips that are easy to program and which make efficient use of memory.
*time Optimization Heiko, Diego, Thomas, Kevin, Andreas, Jens.
Creating Sound and Reversible Configurable Process Models using CoSeNets Dennis Schunselaar, Verbeek, Van der Aalst, Reijers
Mariska Netjes, Wil M.P. van der Aalst, Hajo A. Reijers - Analysis of resource-constrained processes with Colored Petri Nets CPN Workshop 2005 Analysis.
Nonholonomic Multibody Mobile Robots: Controllability and Motion Planning in the Presence of Obstacles (1991) Jerome Barraquand Jean-Claude Latombe.
The Pied Pipers Alyssa Visitacion Ken Shum Joanne Flores.
Process Mining in CSCW Systems All truths are easy to understand once they are discovered; the point is to discover them. Galileo Galilei ( )
A Tool for Partitioning and Pipelined Scheduling of Hardware-Software Systems Karam S Chatha and Ranga Vemuri Department of ECECS University of Cincinnati.
Conceptual Overview 7 step design Chapter 4 Database Design for Mere Mortals.
Design of Embedded Systems Task partitioning between hardware and software Hardware design and integration Software development System integration.
© English Language Testing Ltd Taking the Password Knowledge with Reading and Writing Test.
Steps in Robot Programming Programming of an Industrial Task 2. Writing robot programs Use ACL (Automatic Control Language) to edit robot programs. Commonly.
ParAlign: with OpenMP Peter Reetz. Overview n Simple algorithm for finding un-gapped alignments n 4 to 5 times faster than Smith- Waterman algorithm &
Client-Side Validation with Javascript by Daniel Yee.
Interpreting the data: Parallel analysis with Sawzall LIN Wenbin 25 Mar 2014.
Measuring the Effort for Creating and Using Domain-Specific Models Yali Wu PhD Candidate 18 October 2010.
Process Mining Control flow process discovery
BLAST benchmarks George Coulouris NCBI/NLM/NIH June 2005.
Knowing your academic level An exploration of the different levels of learning in the UK.
Numerical Solutions of Integral Equations and Associated Control and Estimation Problems Jeffrey Carroll, Sophomore Dr. S. A. Belbas.
Database Design and Management CPTG /23/2015Chapter 12 of 38 Functions of a Database Store data Store data School: student records, class schedules,
Analysis of BPMN Models Addis Gebremichael 19 December 2014 Model Driven Engineering.
NoDB: Querying Raw Data --Mrutyunjay. Overview ▪ Introduction ▪ Motivation ▪ NoDB Philosophy: PostgreSQL ▪ Results ▪ Opportunities “NoDB in Action: Adaptive.
Generating Correct EPCs from Configured C-EPCs* Jan MendlingVienna University of Economics Jan ReckerQueensland University of Technology Michael RosemannQueensland.
CS320n –Visual Programming Introduction to Recursion (Slides 8-1) Thanks to Wanda Dann, Steve Cooper, and Susan Rodger for slide ideas.
Computer Performance Computer Engineering Department.
Inheritance in Petri Net Designs. Goals Subtyping - interface inheritance: Can the subclass use or conform to the interface of the superclass?). Projection.
Modeling and Analysis of Printer Data Paths using Synchronous Data Flow Graphs in Octopus Ashwini Moily Under the supervision of Dr. Lou Somers, Prof.
TU Graz – Institute for Software Technology 1 Iulia Nica SOFSEM, Špindlerův Mlýn, SiMoL The SiMoL Modeling Language for Simulation and (Re-)Configuration.
Constraint Satisfaction. Agenda Constraint Satisfaction Overview Thagard, 1989 Golstone & Rogosky, 2002.
Training session BirdStats/Trim Tom van der Meij (Statistics Netherland / Bioland) 1.Overview of Trim and BirdStats 2.Settings 3.Input => data import 4.Stratification.
Implementation Economic Analysis in Elpen System Petra Jaegersberg & Martin van der Beek.
Sequence Control Syntax and Semantics Jian Xu March 3, 2004 CS706, CAS McMaster.
Mr. Mehrotra ENG 2P0 How to Write a Supported Opinion Essay.
Performance Computer Organization II 1 Computer Science Dept Va Tech January 2009 © McQuain & Ribbens Defining Performance Which airplane has.
ADDITION USING PARTITIONING The following questions are multiple choice. When working out these questions mentally you must use the following method. e.g.
Functional Skills: World Statistics LO: Look and analyse data in the context of comparing countries.
SUSE Linux Enterprise Desktop Administration Chapter 4 Administer Linux with YaST.
KPI-based Schedule Optimisation M.L. van Eck. Work-related Stress Costs over €25 billion a year in the EU. (EU-OSHA) 10% of work-related illness caused.
Learning and remembering.
The PLA Model: On the Combination of Product-Line Analyses 강태준.
Project Charter 1.Overview / Background Section 2.Governance / Authority Section 3.Approach Section.
WP4 Models and Contents Quality Assessment
COGNITIVE APPROACH TO ROBOT SPATIAL MAPPING
Master thesis: Automatic Extraction of Design Decision Relationships from a Task Management System Kick-Off Matthias Ruppel, 8th of May 2017, Munich.
YAWL in the Cloud: Supporting Process Sharing and Variability
Defining Performance Which airplane has the best performance?
ABSTRACT   Recent work has shown that sink mobility along a constrained path can improve the energy efficiency in wireless sensor networks. Due to the.
Configurable Process Models: Elicitation, Analysis, and Execution
Hire Toyota Innova in Delhi for Outstation Tour
Client-Side Validation with Javascript
Wil van der Aalst Eindhoven University of Technology
Line Drawing ©Anthony Steed 1999.
Data Extraction using Web Scraping
TEALS Minecraft Project
Classification of Matter Task Card Classification of Matter Task Card
Mobile Phone Accessory
Shneiderman’s measurable criteria
© 2012 Elsevier, Inc. All rights reserved.
Task: Have a look at these websites:
Boggle Review 1) Draw a circle that takes up most of your page but leaves some space on the outside. 2) Inside the circle, list everything you can remember.
Social Practice of the language: Describe and share information
Making Web pages (3).
LANGUAGE EDUCATION.
Configuring Classification Management
Faulty EPCs in the SAP Reference Model
Presentation transcript:

Monotonicity Schunselaar, Verbeek, Van der Aalst, Reijers

Motivation 2

Analysing the models (Petra) 3 Petra

Analysing the models (Petra) 4 Petra 1 2 3

Configurable process model 5

6

Analysing the models (Petra) 7 Petra 1 2 3

Pareto front 8 - 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

Pareto front a closer look 9 - 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

Pareto front a closer look 10 - 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

Analysing the models (Petra) 11 Petra 1 2 3

General statement 12

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

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

M’ M Processing Time The amount of time spent by resources on a case

Processing Time Is and ? Is faster than ?

Processing Time What about and ?

Processing Time What about 1.C?

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

Processing Time (choices) Does imply ? ’

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

Throughput Time The time it takes a case to move from start to finish

Throughput Time Is and ? Is faster than ? Is at least available when is available? Do we have at least as much as ?

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

Throughput Time Is the relation between 3.B and 3.C and the relation between 1.B and 1.C ?

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

Nr of control tasks working on a case Which are the control tasks?

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

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 29

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

Remember: Pareto front 31 - 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

Remember: Pareto front 32 - 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

Analysing the models (Petra) 33 Petra 1 2 3

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” 34

Questions 35