Halbordnungssemantik paralleler Systeme

Zusammenfassung:

Die Studierenden sollen ein tieferes Verständnis für die Modellierung und Dynamik paralleler (nebenläufiger) Systeme erhalten. Im Vordergrund stehen insbesondere Spezifikations- und Analysetechniken für ereignisbasierte Systeme.

Inhalt der Lehrveranstaltung:

Traditionelle bis aktuelle Forschungsergebnisse zu Definition, Eigenschaften, Anwendung und Konsistenz von halbordnungsbasierten Semantiken verschiedener Modellierungssprachen paralleler (nebenläufiger) Systeme mit einem Schwerpunkt auf der Modellierungssprache der Petrinetze.

Petrinetze gehören zu den bekanntesten Formalismen zur Modellierung nebenläufiger Systeme und der Analyse deren Verhaltens in vielen Anwendungsfeldern, wie z.B. Kommunikations-Netzwerken, Produktionsanlagen, Geschäftsprozessen oder Webdiensten. Hierbei spielen insbesondere Methoden zur Verhaltens-Simulation und -Verifikation, sowie zur Modellsynthese aus Verhaltensbeschreibungen eine große Rolle.

Aus dem Inhalt:

• Partielle Ordnungen
• Stellen/Transitions-Netze
• Prozess-Semantik
• Kausale Semantik
• Term-Semantik
• Entfaltungen
• Erweiterte Netzklassen (Inhibitorkanten)
• Erweiterte kausale Strukturen (Nebenläufigkeit vs. Synchronizität)

Diese Vorlesung bildet die Grundlage des Seminars "Nebenläufige Systeme", welches sich zur Vorbereitung auf eine Abschlussarbeit eignet.

Vorkenntnis für die Lehrveranstaltung:

Grundkenntnisse in der Syntax und der sequentiellen Semantik von Petrinetzen sind wünschenswert, aber nicht zwingend erforderlich.

Literatur zur Lehrveranstaltung:

• E. Best, R. R. Devillers: Sequential and Concurrent Behaviour in Petri Net Theory. Theor. Comput. Sci. 55(1), 1987, 87-136.
• W. Vogler: Modular Construction of Partial Order Semantics of Petri Nets. LNCS 625, 1992.
• W. Reisig, G. Rozenberg (Hrsg.): Lectures on Petri Nets I: Basic Models. LNCS 1491, 1998.
• J. Esparza, S. Römer, W. Vogler: An Improvement of McMillan's Unfolding Algorithm. LNCS 1055, 1996, 87-106.
• G. Juhas: Are these events independent? It depends!. Habilitationsschrift, Eichstätt, 2005.
• Projekt-Homepage VipTool
• Projekt-Homepage SYNOPS

Übungen

Zur Vertiefung des Vorlesungsstoffs wird die Vorlesung durch eine Übung ergänzt. Es werden wöchentlich Übungsblätter mit Übungsaufgaben herausgegeben. Die Übungsblätter sollen von Woche zu Woche bearbeitet werden. In der Übung werden die Lösungen der Übungsaufgaben besprochen. Lösungsvorschläge werden nicht abgegeben und nicht korrigiert. Stattdessen ist mehrmaliges Vorrechnen obligatorisch.

Übungsgruppen

Termin: Donnerstag, 14.00 - 15.30, Raum 1057 N

Übungsblätter

• Wöchentlich wird jeweils am Montag, 12:00 Uhr, online ein Übungsblatt herausgegeben; Start in der zweiten Veranstaltungswoche ab 09.05.
• Bearbeitungszeit: bis zum Übungstermin in der nächsten Woche
• Besprechung der Lösungen in den Übungsgruppen. Lösungen werden nicht abgegeben und korrigiert!
• In den Übungen ist für jeden Studenten zweimal Vorrechnen Pflicht

 

Klausur

• Termin: Donnerstag, 28.07.2011, 8.15 - 9.45, 2045 N
• Prüfungsmodul: Teilnahmevorausetzung für die Klausur ist
  • die fristgerechte elektronische Anmeldung in LectureReg zur Übungsgruppe
  • 10 Punkte aus dem Übungsbetrieb durch Vorrechnen. Zu jedem der zwei Vorlesungsteile muss einmal vorgerechnet werden.
  • die fristgerechte elektronische Anmeldung zur jeweiligen Klausur
  • die fristgerechte Anmeldung zum Prüfungsmodul bei STUDIS
  Die Teilnahmeberechtigung ist beschränkt auf das Sommersemester 2011
• Klausurmodalitäten:
  • Bearbeitungszeit 90 Minuten
  • Alle Teilnehmer unterschreiben die Teilnehmerliste während der Klausur
  • Es sind keine Hilfsmittel zugelassen (Disqualifikation)
  • Es ist nicht gestattet, eine Kopie des Lösungsteils anzufertigen (Disqualifikation)
  • Die Aufgaben sind selbständig zu erledigen. Kontaktaufnahme zu anderen Teilnehmern oder deren Unterlagen führen zur Disqualifikation
  • Die Arbeiten disqualifizierter Teilnehmer werden mit 5,0 bewertet und dem Prüfungsausschuss gemeldet
  • Studentenausweis und Personalausweis sind zur Klausur mitzubringen

weitere Informationen zu der Lehrveranstaltung:

empfohlenes Studiensemester der Lehrveranstaltung:	ab dem 4. Semester
Fachrichtung Lehrveranstaltung:	Informatik
Nummer der Lehrveranstaltung:	7038
Dauer der Lehrveranstaltung:	3 SWS
Typ der Lehrveranstaltung:	V - Vorlesung
Leistungspunkte:	6 LP für V+Ü
Bereich:	Theoretische Informatik
Prüfung:	Klausur und Hausarbeit
Lehrveranstaltungspflicht:	Wahlpflicht
Begleitende Lehrveranstaltung(en):	7039
Semester:	SS 2011