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


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.


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.


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


The first class will take place on May 2.


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