The following thesis was written by a student who graduated in 2019-2020 from the Master Computer Science programme at Leiden University.


Thesis details

TitleProtocol Link Nets: A Flexible Method for Composing Petri Nets
StudentRoos, Dennis
ProgrammeMaster Computer Science
Year2019-2020
SupervisorsKleijn, prof.dr. H.C.M. (Jetty)
Hoogeboom, dr. H.J. (Hendrik Jan)
Thesis Open Thesis PDF

Citation details

Roos, Dennis, Protocol Link Nets: A Flexible Method for Composing Petri Nets, Thesis Master Computer Science, LIACS, Leiden University, 2020.