Petri-Netze in Technik und Wirtschaft - Interaktive Studienpläne der TU Ilmenau
Die Interaktiven Studienpläne sind ein Informationsangebot zu den Studiengängen der TU Ilmenau.
Die rechtsverbindlichen Studienpläne entnehmen Sie bitte den jeweiligen Studien- und Prüfungsordnungen (Anlage Studienplan).
Alle Angaben zu geplanten Lehrveranstaltungen finden Sie im elektronischen Vorlesungsverzeichnis.
Bitte beachten Sie, dass auf dieser Seite keine Aktualisierungen mehr vorgenommen werden. Alle Module und Studienpläne ab der PO-Version 2021 (Bachelor- und Master-Studiengänge) sind ab sofort im Campus-Portal erreichbar.
| Modulinformationen zu Petri-Netze in Technik und Wirtschaft im Studiengang Master Wirtschaftsinformatik 2018 | |
|---|---|
| Modulnummer | 172 |
| Prüfungsnummer | 2200246 |
| Fakultät | Fakultät für Informatik und Automatisierung |
| Fachgebietsnummer | 2231 (Rechnerarchitektur und eingebettete Systeme) |
| Modulverantwortliche(r) | Prof. Daniel Ziener |
| Turnus | Wintersemester |
| Sprache | Deutsch |
| Leistungspunkte | 4 |
| Präsenzstudium (h) | 34 |
| Selbststudium (h) | 86 |
| Verpflichtung | Wahlmodul |
| Abschluss | schriftliche Prüfungsleistung, 60 Minuten |
| Details zum Abschluss | Alternative Abschlussleistung wegen Coronaregelungen: mündliche PL 20 min |
| Link zum Moodle-Kurs | |
| Lehrende | |
| Anmeldemodalitäten für alternative PL oder SL | |
| max. Teilnehmerzahl | |
| Vorkenntnisse |
empfohlen: Rechnerorganisation oder Technische Informatik oder vergleichbare Veranstaltung Softwaretechnik oder Softwaresysteme oder vergleichbare Veranstaltung |
| Lernergebnisse und erworbene Kompetenzen | 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 | Diese Lehrveranstaltung wird nicht mehr angeboten.
|
| Medienformen und technische Anforderungen bei Lehr- und Abschlussleistungen in elektronischer Form | 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-pntw (dort auch gelegentlich aktualisierte Literaturhinweise und Online-Quellen). |
| Lehrevaluation | |