Dr. Peter Kemper
LS Informatik IV
GB V, R. 442, Tel. 3031
26. August 1998
Spezialvorlesung (Nr 42562)
Modellwelten für diskrete, ereignisorientierte Systeme und ihre Analyse - eine
Übersicht
Diskrete ereignisorientierte Systeme finden sich nicht nur in der Informatik und eng verwandten Bereichen wie der Telekommunikation, sondern auch in der Logistik, in der Automatisierungs- und Steuerungstechnik. Zu ihrer Beschreibung wurden zahlreiche Formalismen entwickelt, denen stets die Vorstellung eines diskreten Systemzustands und atomarer Zustandsänderungen eigen sind. Als bekannte Beispiele aus der Informatik seien endliche Automaten (Mealy-, Mooreautomaten), Prozeßalgebren (CCS,CSP), und Petri Netze (S/T-Netze, CPNs) angeführt. Als Formalismen aus anderen Disziplinen seien SDL (Telekommunikation), Prozeßketten (Logistik) und Bedingungs/Ereignissysteme (Automatisierungs- und Steuerungstechnik) genannt.
Ziel der Vorlesung ist es einen Überblick über eine Auswahl Modellwelten zu geben und hierbei die Unterschiede aber auch die Gemeinsamkeiten auf Basis des unterliegenden Transitionssystems herauszuarbeiten. Ferner werden verschiedene Verfahren zur Analyse diskreter ereignisorientierter Systeme diskutiert.
Die Vorlesung richtet sich an Studenten im Hauptstudium.
