Bachelor Informatica & Economie



The following thesis was written by a student in the 2018-2019 class of the Bachelor Informatica & Economie programme at Leiden University.


Thesis details

TitlePetri Nets & Property Directed Reachability
StudentRandel, O.R.
ProgrammeBachelor Informatica & Economie
Year2018-2019
Thesis Open Thesis PDF

Citation details

Randel, O.R., Petri Nets & Property Directed Reachability, Thesis Bachelor Informatica & Economie, LIACS, Leiden University, 2019.