User: Guest  Login
Original title:
Workflow Nets 
Original subtitle:
Reduction Rules and Games 
Translated title:
Workflownetze 
Translated subtitle:
Reduktionsregeln und Spiele 
Year:
2017 
Document type:
Dissertation 
Institution:
Fakultät für Mathematik 
Advisor:
Esparza Estaun, Francisco Javier (Prof. Dr.) 
Referee:
Esparza Estaun, Francisco Javier (Prof. Dr.); Desel, Jörg (Prof. Dr.) 
Language:
en 
Subject group:
DAT Datenverarbeitung, Informatik; MAT Mathematik 
TUM classification:
DAT 500d 
Abstract:
In this thesis we mainly focus on an analysis method for workflow nets called rule-based reduction. We define a set of rules which are then repeatedly applied to the net to reduce it step by step while preserving important properties such as ``well-formedness'' of the net. We present an algorithm that reduces every well-formed free-choice net (and only the well-formed nets) to a trivial net. By extending the rules we can also reduce probabilistic workflow nets and compute e.g. the expected numbe...    »
 
Translated abstract:
In dieser Arbeit betrachten wir hauptsächlich eine Analysemethode für Workflownetze die regelbasierte Reduktion genannt wird. Dabei wird eine Menge von Regeln definiert; diese werden dann wiederholt angewendet, um die Größe des Netzes schrittweise zu reduzieren und währenddessen zu studierende Eigenschaften wie ``Wohlgeformtheit'' des Netzes zu erhalten. Wir präsentieren einen Algorithmus der jedes wohlgeformte Free-Choice Netz (und nur die wohlgeformten Netze) zu einem trivialen Netz reduziere...    »
 
Oral examination:
13.07.2017 
File size:
954222 bytes 
Pages:
128 
Last change:
23.04.2018