The course Petrinetze und deren Analyse combines classical lectures and exercises.
Contents:
Petri nets are a well known and widely used tool for the modelling and verification of sequential and distributed systems. Since it is a graphical model, it nicely illustrates even complex behaviours and helps to understand complex systems. Because of that, it is used in many areas within and outside of computer science. The focus of this lecture is on the use of Petri nets as a toll for the verification of software systems. After an introduction to Petri nets as a modelling language, we learn about different methods to analyse Petri nets.Therefore, we consider multiple important problems of verification such as termination and liveness and discuss techniques that allow to analyse these properties on Petri nets.
Preconditions:
Foundations of theoretical computer sciences as expected from a student after the fourth term are recommended. In particular, we recommend some experience with formal languages.
Turnus:
The course is taught in the summer.
Language:
The course is taught in German.
All information about the course can be found in Moodle (Lernprotal Informatik, non-mandatory).
