Technische Universität Ilmenau

Technische Applikation von Petri-Netzen - Modultafeln der TU Ilmenau

Die Modultafeln sind ein Informationsangebot zu unseren Studiengängen. Rechtlich verbindliche Angaben zum Verlauf des Studiums entnehmen Sie bitte dem jeweiligen Studienplan (Anlage zur Studienordnung). Bitte beachten Sie diesen rechtlichen Hinweis. Angaben zum Raum und Zeitpunkt der einzelnen Lehrveranstaltungen entnehmen Sie bitte dem aktuellen Vorlesungsverzeichnis.

Fachinformationen zu Technische Applikation von Petri-Netzen im Studiengang Master Ingenieurinformatik 2009
Fachnummer171
Prüfungsnummer2200463
FakultätFakultät für Informatik und Automatisierung
Fachgebietsnummer 2231 (Rechnerarchitektur und eingebettete Systeme)
Fachverantwortliche(r)Prof. Dr. Wolfgang Fengler
TurnusWintersemester
Sprachedeutsch
Leistungspunkte
Präsenzstudium (h)
Selbststudium (h)
VerpflichtungPflicht
Abschlusskeiner
Details zum Abschluss
max. Teilnehmerzahl
Vorkenntnisse

empfohlen:

Rechnerorganisation oder Technische Informatik oder vergleichbare Veranstaltung

Softwaretechnik oder Softwaresysteme oder vergleichbare Veranstaltung

Lernergebnisse

Fachkompetenz:

Detailliertes Verständnis von klassischen und höheren Petri-Netzen, von Möglichkeiten zur formalen Verifikation und Transformation, Anwendung beim Entwurf von digitalen Steuerungssystemen, Anwendung beim Entwurf von parallelen, verteilten und objektorientierten Softwaresystemen sowie diskreten technologischen Systemen und Geschäftsprozessen

Methodenkompetenz:

Formale Analyse von Petri-Netzen, Umgang mit interpretierten Petri-Netzen, Modellieren von Sachverhalten mit Petri-Netzen.

Systemkompetenz:

Erkennen der Bedeutung und Einsetzbarkeit von Petri-Netzen für Entwurfs- und Analyseaufgaben im Bereich technischer und nichttechnischer Systeme

Inhalt
  1. Einleitung
  2. Definitionen und Eigenschaften von Platz-Transitions-Netzen (PTN)
  3. Steuerungsentwurf mit PTN
  4. Hierarchie in PTN
  5. Höhere Netze: Colored Petri Nets (CPN)
  6. Modellierung paralleler und verteilter Programme
  7. Technologiemodellierung mit CPN
  8. UML-Diagramme und Petri-Netze
  9. Geschäftsprozesse, Workflow und PN
Medienformen

Anschriebe, Folien, Rechnerdemonstrationen, Arbeitsblätter für Vorlesung und Übung

Literatur

Reisig, W.: System Design Using Petri Nets. Berlin: Springer-Verlag, 1991

Starke, Peter H.: Analyse von Petri-Netz-Modellen. Stuttgart: Teubner,1990

Jensen, K.: Coloured Petri Nets - Basic Concepts, Analysis Methods and Practical Use, Vol. 1: Basic Concepts.

Allgemein: Webseite http://tu-ilmenau.de/?r-tapn (dort auch gelegentlich aktualisierte Literaturhinweise und Online-Quellen).

Lehrevaluation

Pflichtevaluation:

Freiwillige Evaluation:

WS 2008/09 (Vorlesung)

WS 2009/10 (Vorlesung,Übung)

WS 2010/11 (Übung)

WS 2013/14 (Vorlesung)

WS 2015/16 (Vorlesung)

Hospitation:

Informationen und Handreichungen zur Pflege von Modul- und Fachbeschreibungen durch den Modul- oder Fachverantwortlichen finden Sie auf den Infoseiten zum Modulkatalog.