Lehrveranstaltungen
Petrinetze in der Softwaretechnologie
Hauptseminar (SS 19) - Organisation- 29.05.2019 Vorlesung wissenschaftliches Schreiben II um 9:20 Uhr in APB/2063. (PDF)
- 15.5.2019 Vorlesung wissenschaftliches Schreiben um 9:20 Uhr in APB/3105. (PDF)
- 8.5.2019 Vorlesung wissenschaftliches Präsentieren um 9:20 Uhr in APB/3105. (PDF)
- 17.4.2019 Die Folien der Einführung sind online verfügbar. (PDF)
- 28.3.2019 Einschreibung über jExam unter HS Softwaretechnology.
Petrinetze werden seit vielen Jahren als Standardwerkzeug in der Softwaretechnologie verwendet. Petrinetze eignen sich für die Modellierung und Analyse verteilter Systeme. Es werden immer wieder neue Anwendungsbereiche in der Informatik entdeckt, in denen Petrinetze implizit oder explizit verwendet werden. Die Vorteile von Petrinetzen sind:
- einfache Theorie
- intuitive visuelle Darstellung
- explizite Nebenläufigkeit
- einfache Erweiterbarkeit
In diesem Seminar wollen wir einige Einsatzmöglichkeiten von Petrinetzen in der Softwaretechnologie genauer betrachten. Das Ziel des Seminars ist es sich in ein gewähltes Thema einzuarbeiten und die Inhalte verständlich und anschaulich zu präsentieren. Es soll zum einen ein Vortrag gehalten werden. Zum anderen soll am Ende des Seminars eine Seminararbeit verfasst werden, die den Inhalt des gewählten Themas zusammenfasst und in die anderen Themen des Vortrags einordnet.
Bei Fragen zum Hauptseminar wenden Sie sich bitte an Marvin Triebel (marvin.triebel@tu-dresden.de) oder Thomas Kühn (thomas.kuehn3@tu-dresden.de).
Die möglichen Themen können aus einer der vier folgenden Kategorien kommen, zu denen jeweils Beispiele aufgelistet werden. Darüber hinaus können eigene Ideen für Themen vorgeschlagen werden.
Kategorie 1: Fallstudien
- Petrinetze in der Robotik
- Petrinetze & Programmiersprachen
- …
Kategorie 2: Analyse & Verifikation
- Petrinetze lernen (process mining)
- Invarianten
- Erreichbarkeitsanalyse
- Regionentheorie
- …
Kategorie 3: Werkzeuge
- Lola 2
- CPNTools
- Prom Tools
- …
Voraussetzungen: Es gibt keine Voraussetzung.
Beginn: Der Beginn der Veranstaltung im April wird noch bekannt gegeben.
Vortag: 15 Minuten Vortrag und anschließend 15 Minuten Diskussion
Seminararbeit: mindestens 5 Seiten (ACM SIGPLAN Konferenz Format)
Anrechnung