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

Title Petri Nets & Property Directed Reachability
Student Randel, O.R.
Programme Bachelor Informatica & Economie
Year 2018-2019
Thesis Open Thesis PDF

Citation details

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