Note: This is an archvied version of our old webpage. Some links might be broken. The current one can be found here.
I7 Logo
Chair for Foundations of Software Reliability and Theoretical Computer Science
Informatik Logo TUM Logo
Petri Nets 2015

  News | Dates | Grading | Content | Exercises | Material

20.07.2015

The post exam review will take place in room 03.11.034 on Thursday, July 23 at 9:00 am.

25.06.2015

Regarding the materials you are allowed to take to the exam, you are allowed to take a printout of the file found here, nothing else. The file contains all definitions and theorems presented in the lecture notes and in the exercises.

22.05.2015

Registration for the exam is now open. Please register in TUMonline!

06.05.2015

On Thursday May 7, there will be a lecture instead of the tutorial session. Next week, on Wednesday May 13, there will a tutorial session instead of the lecture. The exercise sheet 2 is further extended and will be discussed next week on Wednesday May 13.

27.04.2015

Due to the Fachschaftsvollversammlung (FVV), there will be no lecture on Wednesday, April 29. On Thursday, April 30, there will be a lecture instead of the tutorial session.

14.04.2015

The room for the lecture and tutorial has changed to 02.13.010.

17.03.2015

You can find a first version of the lecture notes for the course under Material.
Warning: the notes are not very polished yet, we will replace them with new versions (correcting typos, etc.) during the next days.

25.02.2015

Welcome to the web page of the course IN2052 Petri nets in SS 2015.

Starting this semester, this is a 5 credit course (instead of a 3 credit course, as in SS13.
The course now consists of a 90 minute lecture per week plus a 90 minute tutorial.
(However,some tutorials, especially at the beginning of the course, will be replaced by a mixture of lecture and classroom exercises.)