inf404 - Petri Nets (Complete module description)
Module label | Petri Nets |
Modulkürzel | inf404 |
Credit points | 6.0 KP |
Workload | 180 h |
Institute directory | Department of Computing Science |
Verwendbarkeit des Moduls |
|
Zuständige Personen |
|
Prerequisites | |
Skills to be acquired in this module | The behaviour of modern, highly parallel, digital systems may be extremely complex. Graphical and algorithmic support may be very valuable in facilitating their design, construction, and analysis. Petri nets are a basic, widely used graphical model for the specification of parallel systems. They also provide and support a range of flexible algorithmic methods for the analysis of such systems. This module teaches the basic theory and applications of Petri nets, for the purpose of specifying and visualising, as well as for constructing and analysing highly parallel systems. Professional competence The students:
Methodological competence The students:
Social competence The students:
|
Module contents |
|
Literaturempfehlungen |
|
Links | |
Languages of instruction | German, English |
Duration (semesters) | 1 Semester |
Module frequency | jährlich |
Module capacity | unlimited |
Lehrveranstaltungsform | Comment | SWS | Frequency | Workload of compulsory attendance |
---|---|---|---|---|
Lecture | 2 | WiSe | 28 | |
Exercises | 2 | WiSe | 28 | |
Präsenzzeit Modul insgesamt | 56 h |
Examination | Prüfungszeiten | Type of examination |
---|---|---|
Final exam of module | At the end of the lecture period |
Written or oral exam |