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

July 23, 2018

Recall that the exam is taking place on Monday July 30 from 11:00 to 12:15 in room 5503.EG.350. More details here.

11.07.2018

Some mistakes in the solutions of exercise sheet 1 were fixed: the subnets of #1.3(c), and a few edges of the reachability graph for the third Petri net in #1.3(b).

10.07.2018

The survey paper on population protocols mentioned today in class is available here.

27.06.2018

The exam will take place on July 30 from 11:00 to 12:15 in room MW 0350 (Egbert-von-Hoyer-Hörsaal, 5503.EG.350).

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.