Benutzer: Gast  Login
Originaltitel:
Workflow Nets 
Originaluntertitel:
Reduction Rules and Games 
Übersetzter Titel:
Workflownetze 
Übersetzter Untertitel:
Reduktionsregeln und Spiele 
Jahr:
2017 
Dokumenttyp:
Dissertation 
Institution:
Fakultät für Mathematik 
Betreuer:
Esparza Estaun, Francisco Javier (Prof. Dr.) 
Gutachter:
Esparza Estaun, Francisco Javier (Prof. Dr.); Desel, Jörg (Prof. Dr.) 
Sprache:
en 
Fachgebiet:
DAT Datenverarbeitung, Informatik; MAT Mathematik 
TU-Systematik:
DAT 500d 
Kurzfassung:
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...    »
 
Übersetzte Kurzfassung:
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...    »
 
Mündliche Prüfung:
13.07.2017 
Dateigröße:
954222 bytes 
Seiten:
128 
Letzte Änderung:
23.04.2018