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

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

26.07.2017

Recall that the exam takes place on Tuesday 01.08.2017 at 16:00 (MI Hörsaal 2). No material is allowed at the exam.

07.06.2017

From Prof. Esparza: I have corrected some typos in the lecture notes, and explained the proof of Rackoff's algorithm in more detail. The new version of the notes is here.

02.05.2017

The lecture of May 10 is cancelled due to the students' union assembly.

05.04.2017

The first class will take place on May 2.

05.04.2017

Welcome to the web page of the course IN2052 Petri nets (Summer 2017).