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


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!


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


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.


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


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


The first class will take place on April 10.


Creation of the webpage.