Petri-Netze in Technik und Wirtschaft - Interactive curriculae of TU Ilmenau
The interactive curriculae provide information on the degree programmes offered by the TU Ilmenau.
Please refer to the respective study and examination rules and regulations for the legally binding curricula (Annex Curriculum).
You can find all details on planned lectures and classes in the course catalogue.
Please note that this page is no longer updated. All modules and study plans from PO version 2021 onwards (Bachelor and Master study programs) are now available on the Campus Portal.
| module properties Petri-Netze in Technik und Wirtschaft in degree program Master Wirtschaftsinformatik 2018 | |
|---|---|
| module number | 172 |
| examination number | 2200246 |
| department | Department of Computer Science and Automation |
| ID of group | 2231 (Computer Architecture and Embedded Systems) |
| module leader | Prof. Daniel Ziener |
| term | winter term only |
| language | Deutsch |
| credit points | 4 |
| on-campus program (h) | 34 |
| self-study (h) | 86 |
| obligation | elective module |
| exam | written examination performance, 60 minutes |
| details of the certificate | Alternative Abschlussleistung wegen Coronaregelungen: mündliche PL 20 min |
| link to Moodle course | |
| teacher | |
| signup details for alternative examinations | |
| maximum number of participants | |
| previous knowledge and experience |
empfohlen: Rechnerorganisation oder Technische Informatik oder vergleichbare Veranstaltung Softwaretechnik oder Softwaresysteme oder vergleichbare Veranstaltung |
| learning outcome | 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 |
| content | Diese Lehrveranstaltung wird nicht mehr angeboten.
|
| media of instruction and technical requirements for education and examination in case of online participation | Anschriebe, Folien, Rechnerdemonstrationen, Arbeitsblätter für Vorlesung und Übung |
| literature / references | 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). |
| evaluation of teaching | |