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.


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