http://www.tu-ilmenau.de

Logo TU Ilmenau


Ansprechpartner

Sekretariat Rechnerarchitektur

Raum Z 2055

Telefon +49-3677-69-2825

E-Mail senden

INHALTE

Lehrveranstaltung TECHNISCHE APPLIKATION VON PETRI-NETZEN

für die Studiengänge Informatik und Ingenieurinformatik (Master)

Übersicht

Studiengänge

STUDIENGANG
SEMESTER
MODUS
UMFANG
ABSCHLUSS
Informatik
Master
WSwahlobligatorisch2V 1ÜModulprüfung-aPL (*)
Ingenieurinformatik
Master
WSwahlobligatorisch2V 1ÜModulprüfung-aPL (*)

 

Auf Wunsch ist ein Abschluss als benoteter Schein möglich.

(*) IN und II: Modulprüfung als aPL (alternative Prüfungsleistung)

In den Studiengängen Informatik-Master und Ingenieurinformatik-Master bilden die Fächer

gemeinsam das Modul "Fortgeschrittene Modellierung und Rechnerarchitekturen" (8 LP).

Die Modulprüfung dieses Moduls ist als alternative Prüfungsleistung (aPL) definiert. Es gelten folgende Festlegungen:

  • Die Prüfungsleistung besteht aus einzelnen Prüfungsgesprächen für die genannten Fächer. Dauer jeweils 20 Minuten.
  • Auf Wunsch sind kombinierte Prüfungsgespräche ("Komplexprüfungen") für mehrere Fächer möglich.
  • Die gesamte Prüfungsleistung muss innerhalb von zwei Semestern erbracht werden.
  • Die Anmeldung zur Modulprüfung erfolgt im ersten dieser beiden Semester bis spätestens zum normalen Prüfungsanmeldungstermin und gilt für das folgende Semester weiter.
  • Die Endnote bildet sich zu gleichen Teilen aus den Einzelwertungen der Gespräche. Die Einzelwertungen stellen keine Benotung dar.

Bitte prüfen Sie für Ihren Einzelfall, ob für Sie dieser Modus zutrifft. Für andere Studiengänge und für Teilstudenten können abweichende Regelungen gelten.

ANMELDUNG: Falls Sie die Modulprüfung nicht über das Online-System anmelden können, benutzen Sie bitte das Formular zur Anmeldung einer alternativen Prüfungsleistung. "Veranstaltungsname" ist die Bezeichnung des Moduls, "Thema" bleibt frei. Die "Unterschrift des Prüfers" wird an dieser Stelle nicht benötigt.

Durchführung

  • Die Lehrveranstaltung findet jährlich im Wintersemester statt.

Zusätze

Hier finden Sie gelegentlich zusätzliches Material, welches kurzfristig bereitgestellt wird. Hinweise dazu gibt es fallweise in der Vorlesung.

Praktikum

Auf Anfrage kann fakultativ das Praktikum Petri-Netze durchgeführt werden.

Hinweise

Weitere Informationen gibt es mitunter unter "Aktuell".

Weitere Auskünfte

Dr.-Ing. Bernd Däne, Z 2072, Tel. 03677-69-1433.

Lehrmaterial

Lehrmaterial

Auch im Copy-Shop erhältlich.

Folien zur Vorlesung

Dieses Material erleichtert das Nacharbeiten der Vorlesung. Es ist jedoch keine vollständige Darstellung und enthält nicht die gesamte in der Vorlesung vermittelte Information.

In der Prüfung dürfen Sie dieses Material NICHT verwenden.

Übungsmaterial

Dieses Material enthält eine Sammlung von Übungsaufgaben. Es wird in der Übung benötigt. Für Studiengänge ohne Übung kann es dem vertiefenden Selbststudium dienen.

In der Prüfung dürfen Sie dieses Material NICHT verwenden.

Ergänzender Download: Folien zu PN-Eigenschaften

Druck und Vervielfältigung ist nur zum persönlichen Gebrauch erlaubt!

Sämtliches Material dient der Ergänzung und Arbeitserleichterung. Es ist nicht als alleinige Arbeitsgrundlage gedacht und stellt keinesfalls eine Eingrenzung des Prüfungsstoffes dar.

Zusätze

Hier finden Sie gelegentlich zusätzliches Material, welches kurzfristig bereitgestellt wird. Hinweise dazu gibt es fallweise in der Vorlesung.

Weitere Auskünfte

Dr.-Ing. Bernd Däne, Z 2072, Tel. 03677-69-1433.

Literatur

Die hier empfohlenen Bücher enthalten ausführliche und weitergehende Darstellungen für Interessierte. Zur erfolgreichen Teilnahme an der Lehrveranstaltung werden sie nicht benötigt.

Die kursiv angegebenen Signaturen gelten für die Universitätsbibliothek der TU Ilmenau.

W. Fengler, I. Philippow: Entwurf Industrieller Mikrocomputer-Systeme.

  • ISBN 3-446-16150-3, Hanser-Verlag 1991
  • INF ST 150 F332 (Lehrbuchsammlung)
  • Kapitel 2 behandelt Grundlagen von ungefärbten Petri-Netzen

P. Starke: Analyse von Petri-Netz-Modellen.

  • ISBN 3-519-02244-3, Teubner-Verlag 1990
  • MAT 91 A 2088 (Lehrbuchsammlung)

W. Reisig: Systementwurf mit Netzen.

  • ISBN 3-540-13786-6, Springer-Verlag 1985
  • 86 A 1639 (Magazin)

K. Jensen: Coloured Petri Nets. Modelling and Validation of Concurrent Systems.

  • ISBN 978-3-642-00283-0, Springer 2009
  • Webseite zum Buch (Universität Aarhus)
  • INF ST 132 J54 C7 (Leihstelle)

Weitere Auskünfte

Dr.-Ing. Bernd Däne, Z 2072, Tel. 03677-69-1433.

Weitere Downloads und Links

Weitere Downloads und Links

Hier gibt es weiterführende Informationsquellen für besonders Interessierte.

Petri-Netz-Werkzeuge

Ergänzende Dokumente