Veranstaltung
Fachbereich	Informatik	Semester	Wintersemester 2000/2001
Nummer	042617
Titel	Modellwelten für diskrete, ereignisorientierte Systeme und ihre Analyse - eine Übersicht
Art	Spezialvorlesung	SWS	2
max. Teilnehmende	unbegrenzt	Buchungen	0
Beginn		Ende
Kommentar	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 Modellierungsformalismen 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.
Literatur	Ho,Y., Scanning the Issue: Dynamics of Discrete Event Systems, Proceedings of the IEEE, Vol 77, No 1, Januar 1989 Arnold,A., Finite Transition Systems: Semantics of Communicating Systems, int. Series on Computer Science, Prentice Hall, 1994. (ZB : Sn 19907) Hogrefe, D., Estelle, Lotos und SDL Standard-Spezifikationssprachen für verteilte Systeme, Springer-Compass, 1989 (ZB : Sn 17634) Bause, F., Kritzinger, P.S., Stochastic Petri Nets - An Introduction to the Theory Advanced Studies in Computer Science, Friedr. Vieweg & Sohn Verlag, Braunschweig/Wiesbaden (Germany), 1996. Sreenivas,R.S., Krogh,B.H., On Condition/Event Systems with Discrete State Realization, Discrete Event Dynamic Systems: Theory and Applications 1, 1991: 209-236. Kuhn, A. u.a.: Prozeßketten in der Logistik. Verlag Praxiswissen, Dortmund 1995.

Veranstalter
Nachname	Vorname	EMail-Adresse	Fachbereich
Dr. Kemper	Peter	kemper@XXXls4.cs.tu-dortmund.de (Spam-Schutz! Bitte entfernen Sie vor dem Versenden das XXX aus der E-Mail-Adresse!)	Informatik (FB04)

Zeit & Ort
Rhythmus	Tag	von	bis	Raum	Gebäude
wöchentlich	Dienstag	10:15	12:00	420	GB V

Zuordnungen
Studiengang	Studienphase	Stufenbezug	Bereich	Teilgebiet	Kategorie	Credit- Modul	Credit- Points
Informatik Diplom	Hauptstudium	-	-	-	Wahlveranstaltung	-
Ingenieur-Informatik	Hauptstudium	-	-	-	Wahlveranstaltung	-