Selected References - Students' Theses
2009
2008
2007
2006
2004
Index
complete overview on former theses (in German)
2009
Andreas Franzke:
Charlie 2.0 - a multi-threaded Petri net analyzer;
Diploma Thesis, December 2009.
2008
Krispin Schulz:
An Extension of the Snoopy Software to Process and Manage
Petri Net Animations (in German);
Bachelor Thesis, November 2008.
Denny Bayer:
Testing with Music (in German);
Bachelor Thesis, September 2008.
2007
Stefan Dieringer:
Design
and Development of a System for Distributed Petri Net Analyses (in
German);
Diploma Thesis, November 2007.
Sebastian Lehrack:
A
Modelling and Simulation Tool for Stochastic Petri Nets Models of
Biochemical Networks (in German),
Diploma Thesis, November 2007.
2006
Katja Winder
Invariant-supported Petri
Net Structuring (in German);
Diploma Thesis, July 2006.
Daniel Scheibler:
A
Tool to Design and Simulate Continuous Petri Nets (in German);
Diploma Thesis, January 2006.
2004
Thomas Runge:
Methodology to Model
and Validate Biochemichal Networks Using
Coloured Petri Nets, Described by the Example Glycolysis (in
German);
Diploma Thesis, November 2004.
Neumann, Gerry:
Modelling of Biochemical
Processes with Petri Nets;
Hemostasis vs. Fibrinolysis vs. Inhibitors (in German);
Diploma Thesis, July 2004.
Schwarick, Martin:
Extension of a
BDD-based LTL Model Checker (in German);
Bachelor Thesis, April 2004.
. . . t h e e n d . . .
Any comments or questions are welcome. Please direct them to: