Module label | Petri Nets |
Module code | inf404 |
Credit points | 6.0 KP |
Workload | 180 h |
Institute directory | Department of Computing Science |
Applicability of the module |
|
Responsible persons |
Lehrenden, Die im Modul (Authorized examiners)
Lehrenden, Die im Modul (Module responsibility)
|
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 |
|
Reader's advisory |
|
Links | |
Languages of instruction | German, English |
Duration (semesters) | 1 Semester |
Module frequency | jährlich |
Module capacity | unlimited |
Modullevel / module level | AS (Akzentsetzung / Accentuation) |
Modulart / typ of module | je nach Studiengang Pflicht oder Wahlpflicht |
Lehr-/Lernform / Teaching/Learning method | V+Ü |
Vorkenntnisse / Previous knowledge |
Course type | Comment | SWS | Frequency | Workload of compulsory attendance |
---|---|---|---|---|
Lecture | 2 | WiSe | 28 | |
Exercises | 2 | WiSe | 28 | |
Total time of attendance for the module | 56 h |
Examination | Time of examination | Type of examination |
---|---|---|
Final exam of module | At the end of the lecture period |
Written or oral exam |