Contact
Teaching
 |
 |
|
| 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).