Stud.IP Uni Oldenburg
University of Oldenburg
07.02.2023 08:44:32
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) > Wahlpflicht Theoretische Informatik (30 KP)
  • Master of Education Programme (Gymnasium) Computing Science (Master of Education) > Wahlpflichtmodule (Theoretische Informatik)
Zuständige Personen
Lehrenden, Die im Modul (Prüfungsberechtigt)
Lehrenden, Die im Modul (Module responsibility)
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.
  • Best/Wimmel: Skript Petrinetze (Oldenburg, 2015).
  • Secondary literature: Priese/Wimmel: Petri Netze (Springer-Verlag, 2001).
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
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