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

Title Petri nets: model checking, unfoldings and the observable configuration graph
Student M. Barthel
Programme Master Computer Science
Year 2004

Citation details

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