Seminar: Petrinetze
(Di. 10-12, Raum C-101)

Berndt Farwer

Allgemeines

Themen

Termine

Allgemeines

Inhalt:

Verschiedene Aspekte (höherer) Petrinetzformalismen werden anhand von Einzelvorträgen erarbeitet. Das Spektrum unfaßt u.a. aktuelle Arbeiten zu den Themen:

Petrinetze und logische Kalküle (z.B. Prädikaten-Transitions-Netze, Linear-Logische-Petrinetze)
algebraische Erweiterungen von Petrinetzen
Petrinetze und der Begriff der Zeit
dynamische Petrinetzstrukturen
Netze in Netzen

Lernziele:

Erarbeiten aktueller wissenschaftlicher Forschungsthemen;
Halten eines Vortrags mit anschließender Diskussion;
Kennenlernen formaler Methoden im Zusammenhang mit Petrinetzen.

Stellung im Studienplan:

Hauptstudium
Vertiefungsgebiete Th 1, Th3, Th4
sowie als theoretische Vertiefung zu P1, P2, P3, P4, P5, P9 und T1

Voraussetzungen:

Grundstudium-, Grundkenntnisse zu Petrinetzen (z.B. aus Modelle für Rechensysteme oder TGP)

Vorgehen:

Vortrag von Originalarbeiten durch einzelne Studierende oder Kleingruppen nach Betreuung durch den Veranstalter. Zusätzlich wird die Ausarbeitung einer schriftlichen Zusammenfassung angeregt.

Literatur:

W. Reisig: Petrinetze, Eine Einführung, Springer-Verlag, 1986
Weitere Literatur wird in der Veranstaltung bekanntgegeben.

Periodizität:

jährlich zum SS

Mögliche Themen für Vorträge:

Hierarchische Petrinetze (Fehling)
algebraische Petrinetze (Reisig)

ATPN'95 (Lecture Notes in Computer Science 935)

pp. 45-65, Basten, Voorhoeve. An algebraic Semantics for Hierarchical P/T-Nets.
pp.201-217, Christensen, Petrucci. Modular State Space Analysis of Coloured Petri Nets.
pp.258-277, Katoe. Causal Behaviours of Nets.
pp.278-297, Lakos. From Coloured Petri Nets to Object Petri Nets.
pp.432-450, Schreiber. Functional Equivalence of Petri Nets.

CONCUR'95 (Lecture Notes in Computer Science 962, K CON 21614)

pp.175-189, Nielsen, Priese, Sassone. Characterizing Congruences for Petri Nets.
pp.348-362, Jancar, Moller. Checking Regular Properties of Petri Nets.

PROTOCOL WORKSHOP, Turin '95

pp.31-42 Lakos, Lamp, Keen, Marriott. Modelling Network Protocols with Object Petri Nets.

Termine

Die Themen und Termine werden in den ersten Veranstaltungen vergeben.

Datum	Thema
6.4.1999	Vorbesprechung
13.4.1999	Gefärbte Petrinetze (von S/T-Netzen zu einfachen gefärbten Netzen)
20.4.1999	Gefärbte Petrinetze (von S/T-Netzen zu einfachen gefärbten Netzen)
27.4.1999	kein Treffen
5.5.1999	- Eigenschaften von Petrinetzen - Fallstudie: Einsatz von CPN für größere Projekte (Teil 1)
12.5.1999	kein Treffen
19.5.1999	kein Treffen
26.5.1999	kein Treffen
9.6.1999	- Hierarchische- und Objekt-Petrinetze (die Idee der Petrinetze als Marken in einem Umgebungsnetz) - Fallstudie: Einsatz von CPN für größere Projekte (Teil 2)
16.6.1999	kein Treffen
23.6.1999	Prädikaten/Transitions-Netze (Pr/T-Netze) (klassische Logik als Beschriftungsaprache für Petrinetze)
30.6.1999	kein Treffen
7.7.1999	Linear-Logische-Petrinetze (eine Erweiterung der Pr/T-Netze als Semantik für höhere Netzkonzepte)
14.7.1999	Nachbesprechung

Seminar: Petrinetze (Di. 10-12, Raum C-101)

Berndt Farwer

Allgemeines

Inhalt:

Lernziele:

Stellung im Studienplan:

Voraussetzungen:

Vorgehen:

Literatur:

Periodizität:

Mögliche Themen für Vorträge:

ATPN'95 (Lecture Notes in Computer Science 935)

CONCUR'95 (Lecture Notes in Computer Science 962, K CON 21614)

PROTOCOL WORKSHOP, Turin '95

Termine

Seminar: Petrinetze
(Di. 10-12, Raum C-101)