Teaching personnel

Lecturer

• Prof. Dr.-Ing. Norbert Fuhr

Tutor(s)

• Dr.-Ing. Dipl.-Inform. Sebastian Dungs
• Dipl.-Inform. Thomas Beckers
• Daniel Wohland, B.Sc.
• Marco de Kluit
• Jasmin Graw

Corrector(s)

• Daniel Wohland, B.Sc.
• Janina Weiß
• Marco de Kluit
• Jasmin Graw

Formalia

Targeted audience

• Angewandte Informatik Bachelor with 2+1 hours per week
• ISE Bachelor with 2+1 hours per week
• Komedia Bachelor with 2+1 hours per week
• BWL Master with 2+1 hours per week

Dates

Examination Dates

Description

Die Fähigkeit zur Abstraktion und Bildung von Modellen ist eine wesentliche Grundkompetenz bei der Entwicklung von Software und anderen komplexen Systemen. Diese Veranstaltung behandelt die Aspekte der informatischen Modellierung von intuitiven Methoden bis hin zu formalen Techniken. Dabei wird insbesondere auf Petri-Netze und auf die UML (Unified Modeling Language) eingegangen.

Lecture material

Tools für Petrinetze

• PIPE 2
• WinPetri
• Petri Nets Tools Database

Tools für UML

• Microsoft Visio (via DreamSpark Premium)
• Violet UML Editor
• OpenAmeos
• OmniGraffle (Mac)
• Dia
• Oracle JDeveloper
• BOUML
• Visual Paradigm for UML Community Edition
• Acceleo
• Modelio

Folien

• Lehrangebot des Fachgebiets
• Organisatorisches: 4:1 1:1
• Einführung: 4:1 1:1
• Petri-Netze: 4:1 1:1
• UML: 4:1 1:1
• UML2-Ergänzungen (nicht prüfungsrelevant - nur innerhalb der UDE erreichbar)
• Wahrscheinlichkeiten und stochastische Prozesse: 4:1 1:1
• LUDI-Angebot

Literatur

(Ein Teil der verlinkten Bücher ist nur aus dem Uni-Netz erreichbar!)

• Reisig: Petri-Netze -- Eine Einführung,
• Wimmel: Petri-Netze
• Murata: Petri Nets: Properties, Analysis and Applications
• R. Miles, K. Hamilton: Learning UML 2.0
• Harel: Statecharts: a visual formalism for complex systems
• Bernd Baumgarten: Petri-Netze. Grundlagen und Anwendungen, Spektrum, 1996
• G. Booch, J. Rumbaugh, I. Jacobson: The Unified Modeling Language User Guide, Addison Wesley, 2005.
• M. Jeckle, C. Rupp, J. Hahn, B. Zengler, S. Queins: UML 2 glasklar, Hanser Fachbuch, 2007
• Christoph Kecher: UML 2.0 - Das umfassende Handbuch. Galileo Press, 2006.
• Perdita Stevens, Rob Pooley: UML - Softwareentwicklung mit Objekten und Komponenten. Pearson, 2001.
• Gerhard Hübner: Stochastik - Eine anwendungsorientierte Einführung für Informatiker, Ingenieure und Mathematiker. Vieweg, 5. Aufl. 2009

Notizen

• 29.10.14
• 5.11.14
• 12.11.14
• 19.11.14
• 26.11.14
• 3.12.14
• 10.12.14
• 17.12.14
• 7.1.15
• 14.1.15
• 21.1.15
• 28.1.15
• 4.2.15

Petri-Netze (für PIPE)

• Speisende Philosophen
• 2 Speisende Philosophen (L/R)
• Keksautomat
• Erzeuger-Verbraucher-Problem
  • Gleichzeitige Sperrenanforderung
  • Sequenzielle Sperrenanforderung, Deadlock
  • Sequenzielle Sperrenanforderung, korrekt
• Leser-Schreiber-Problem
  • naive Lösung
  • Priorität für Schreiber

Klausur

• "Spickzettel" für die Klausur (ist der Klausur beigefügt)

Übungen

Einteilung in Übungsgruppen

Übungspunkteabfrage

Übungsabgabe

• Organisatorisches/Ablauf
• Übungsblatt 1 (aktualisiert am 20.10.)
• Übungsblatt 2 (aktualisiert am 29.10.)
• Übungsblatt 3
  • Lösung Aufgabe 6
• Übungsblatt 4
• Übungsblatt 5
• Übungsblatt 6
• Übungsblatt 7
• Übungsblatt 8
• Übungsblatt 9
• Übungsblatt 10
• Übungsblatt 11
• Übungsblatt 12
• Übungsblatt 13
• Probeklausur