KIT | KIT-Bibliothek | Impressum

Automatic Synthesis and Verification of Industrial Commissioning Processes

Mrasek, Richard



Abstract (englisch): The topic of this doctoral dissertation is the verification and synthesis of processes, i.e., work-flows. Verification is the check if a given process model fulfills all necessary properties. Synthesis is the automatic generation of a process model from a set of properties. The running example of the thesis and the use case for the evaluation is the commissioning of vehicles in the automobile production.


Zugehörige Institution(en) am KIT Institut für Programmstrukturen und Datenorganisation (IPD)
Publikationstyp Hochschulschrift
Jahr 2016
Sprache Englisch
Identifikator DOI(KIT): 10.5445/IR/1000056860
URN: urn:nbn:de:swb:90-568607
KITopen ID: 1000056860
Verlag Karlsruhe
Umfang XIV, 203 S.
Abschlussart Dissertation
Fakultät Fakultät für Informatik (INFORMATIK)
Institut Institut für Programmstrukturen und Datenorganisation (IPD)
Prüfungsdaten 27.06.2016
Referent/Betreuer Prof. K. Böhm
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft KITopen Landing Page