I7 Logo
Chair for Foundations of Software Reliability and Theoretical Computer Science
Informatik Logo TUM Logo
Petri Nets 2018

  News | Content | Dates | Grading | Material | Exercises | Exam | Contact

20.06.2018

There was an important typo in the lecture notes. In Lemma 5.2.11, t \in {\cal A}(\sigma_1) is wrong, it should be t \notin {\cal A}(\sigma_1). The typo has been corrected. Thank you all for helping me to find it with your questions in class!

28.05.2018

There will be a lecture on May 30 and a tutorial on June 5 (i.e. the two classes are simply swapped).

28.05.2018

The classes of May 29 and May 30 will take place in the LRZ Building (Boltzmannstra├če 1) next to the faculty. There will be signs labeled "Petrinetze [IN 2062] Prof. Esparza / Dr. Blondin" guiding you to the room which is close to the entrance.

08.05.2018

There will be no class on May 22 due to Whitsun vacation.

18.04.2018

There will be no class on April 25 due to the students general assembly.

03.04.2018

The first class will take place on April 10.

05.03.2018

Creation of the webpage.