Master Computer Science



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


Thesis details

TitlePetri nets: model checking, unfoldings and the observable configuration graph
StudentM. Barthel
ProgrammeMaster Computer Science
Year2004

Citation details

M. Barthel, Petri nets: model checking, unfoldings and the observable configuration graph, Thesis Master Computer Science, LIACS, Leiden University, 2004.