Stud.IP Uni Oldenburg
University of Oldenburg
20.11.2019 14:52:12
inf404 - Petri Nets (Complete module description)
Original version English Download as PDF
Module label Petri Nets
Module code inf404
Credit points 6.0 KP
Workload 180 h
Faculty/Institute Department of Computing Science
Used in course of study
  • Bachelor's Programme Computing Science (Bachelor) >
  • Dual-Subject Bachelor's Programme Computing Science (Bachelor) >
  • Master of Education Programme (Gymnasium) Computing Science (Master of Education) >
Contact person
Module responsibility
Authorized examiners
Entry requirements
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.
Reader's advisory
  • 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
Modullevel AS (Akzentsetzung / Accentuation)
Modulart je nach Studiengang Pflicht oder Wahlpflicht
Lern-/Lehrform / Type of program V+Ü
Vorkenntnisse / Previous knowledge
Course type Comment SWS Frequency Workload attendance
Lecture 2.00 SuSe 28 h
Exercises 2.00 SuSe 28 h
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