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

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


Reminder: there will be a revision tutorial today from 14:15 to 15:45, in room 03.09.014.


Thank you to Christian Backs for pointing out some typos in the derivation of algorithm Back2 (Equations (1) to (6)). They have been corrected (lecture notes, version with normal margins).


As a result of a (double) mistake on our part, there was a lecture on 15.05.2019 when there should have been a tutorial. To make up for this there will be a tutorial on 21.05.2019 instead of a lecture as was initially planned.


Creation of the webpage.