Bachelor Informatica

The following thesis was written by a student in the 2012-2013 class of the Bachelor Informatica programme at Leiden University.

Thesis details

Title Coverability and Extended Petri Nets
Student Mathijs van de Nes
Programme Bachelor Informatica
Year 2012-2013
Thesis Open Thesis PDF

Citation details

Mathijs van de Nes, Coverability and Extended Petri Nets, Thesis Bachelor Informatica, Leiden University, 2013.