Petri Nets 2019

12.08.19

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

30.05.19

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

15.05.2019

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.

15.04.2019

Creation of the webpage.