inf404 - Petri Nets (Complete module description)

inf404 - Petri Nets (Complete module description)

Original version English PDF Download
Module label Petri Nets
Modulkürzel inf404
Credit points 6.0 KP
Workload 180 h
Institute directory Department of Computing Science
Verwendbarkeit des Moduls
  • Dual-Subject Bachelor's Programme Computing Science (Bachelor) >
  • Master of Education Programme (Gymnasium) Computing Science (Master of Education) >
Zuständige Personen
  • Lehrenden, Die im Modul (module responsibility)
  • Lehrenden, Die im Modul (Prüfungsberechtigt)
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:
  • define basic concepts of Petri nets
  • classify Petri nets according to their salient poperties
  • analyse and synthesise Petri nets
  • apply Petri nets in the context of well-defined problems


Methodological competence
The students:
  • can apply specification and analysis methods based on Petri nets


Social competence
The students:
  • present solutions to given problems to a wider audience
Module contents
  • Basic concepts of Petri net theory.
  • Petri net languages.
  • Reachability and coverability.
  • Marking equation.
  • Linear-algebraic and graph-theoretic structure of Petri nets.
  • Free-choice nets.
  • Program verification using traps.
  • Computing functions with nets.
  • Unfoldings.
  • High-level nets.
Literaturempfehlungen
  • Best/Wimmel: Skript Petrinetze (Oldenburg, 2015).
  • Secondary literature: Priese/Wimmel: Petri Netze (Springer-Verlag, 2001).
Links
Languages of instruction German, English
Duration (semesters) 1 Semester
Module frequency jährlich
Module capacity unlimited
Form of instruction 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