Master Computer Science



The following thesis was written by a student in the 2015-2016 class of the Master Computer Science programme at Leiden University.


Thesis details

TitleA Formal Representation and Calculation Method for Generic Petri nets
StudentVietor, J.
ProgrammeMaster Computer Science
Year2015-2016
Thesis Open Thesis PDF

Citation details

Vietor, J., A Formal Representation and Calculation Method for Generic Petri nets, Thesis Master Computer Science, LIACS, Leiden University, 2016.