KIT | KIT-Bibliothek | Impressum | Datenschutz

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.

Open Access Logo


Volltext §
DOI: 10.5445/IR/1000056860
Zugehörige Institution(en) am KIT Institut für Programmstrukturen und Datenorganisation (IPD)
Publikationstyp Hochschulschrift
Jahr 2016
Sprache Englisch
Identifikator urn:nbn:de:swb:90-568607
KITopen-ID: 1000056860
Verlag KIT, 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