data structures and software dependability

• home

• contact

• members

• teaching

• research

• publications

• software

• events

Selected References - Student's Theses

19 entries

complete overview of former theses (in German)

2009

• [Schw09]
  Marcel Schwarze:
  Web-based Petri net animation (in German);
  Diploma thesis, FH Lausitz, Dep. of CS, November 2009. [ BibTeX ]
• [Fran09]
  Andreas Franzke:
  Charlie 2.0 – a multi-threaded Petri net analyzer;
  Diploma thesis, BTU Cottbus, Dep. of CS, December 2009. [ pdf ] [ BibTeX ]
• [Fisc09]
  Ansgar Fischer:
  Reachability graph based analysis of time-dependent Petri nets (in German);
  Diploma thesis, BTU Cottbus, Dep. of CS, October 2009. [ BibTeX ]

2008

• [Schu08]
  Krispin Schulz:
  An Extension of the Snoopy Software to Process and Manage Petri Net Animations (in German);
  Bachelor thesis, BTU Cottbus, Dep. of CS, November 2008. [ pdf ] [ BibTeX ]
• [Bayer08]
  Denny Bayer:
  Testing with Music (in German);
  Bachelor thesis, BTU Cottbus, Dep. of CS, September 2008. [ pdf ] [ BibTeX ]

2007

• [Dier07]
  Stefan Dieringer:
  Design and Development of a System for Distributed Petri Net Analyses (in German);
  Diploma thesis, BTU Cottbus, Dep. of CS, November 2007. [ pdf ] [ BibTeX ]
• [Lehr07]
  Sebastian Lehrack:
  A Modelling and Simulation Tool for Stochastic Petri Nets Models of Biochemical Networks (in German);
  Diploma thesis, BTU Cottbus, Dep. of CS, November 2007. [ pdf ] [ BibTeX ]
• [Kurth07]
  Anja Kurth:
  Fault trees in Snoopy (in German);
  Diploma thesis, BTU Cottbus, Dep. of CS, January 2007. [ BibTeX ]
• [Dube07]
  Matthias Dube:
  Development and Realisation of a General Concept for Interactions between two Net Classes in Snoopy (in German);
  Diploma thesis, BTU Cottbus, Dep. of CS, February 2007. [ BibTeX ]

2006

• [Schw06]
  Martin Schwarick:
  A Tool to Analyse Petri Net Models (in German);
  Master thesis, BTU Cottbus, Dep. of CS, September 2006. [ BibTeX ]
• [Wind06]
  Katja Winder:
  Invariant-supported Petri Net Structuring (in German);
  Diploma thesis, BTU Cottbus, Dep. of CS, January 2006. [ pdf ] [ BibTeX ]
• [Sche06]
  Daniel Scheibler:
  A Tool to Design and Simulate continuous Petri Nets (in German);
  Diploma thesis, BTU Cottbus, Dep. of CS, January 2006. [ pdf ] [ BibTeX ]

2004

• [Rung04]
  Thomas Runge:
  Methodology to Model and Validate Biochemichal Networks Using Coloured Petri Nets, Described by the Example Glycolysis (in German);
  Diploma thesis, BTU Cottbus, Dep. of CS, November 2004. [ pdf ] [ BibTeX ]
• [Neum04]
  Gerry Neumann:
  Modelling of Biochemical Processes with Petri Nets; Hemostasis vs. Fibrinolysis vs. Inhibitors (in German);
  Diploma thesis, BTU Cottbus, Dep. of CS, July 2004. [ pdf ] [ BibTeX ]
• [Fieb04]
  Markus Fieber:
  Entwurf und Implementierung eines generischen, adaptiven Werkzeugs zur Arbeit mit Graphen (in German);
  Diploma thesis, BTU Cottbus, Dep. of CS, July 2004. [ pdf ] [ BibTeX ]
• [Schw04]
  Martin Schwarick:
  Extension of a BDD-based LTL Model Checker (in German);
  Bachelor thesis, BTU Cottbus, Dep. of CS, April 2004. [ pdf ] [ BibTeX ]

2003

• [Fieb03]
  Markus Fieber:
  Snoopy: Ein generisches, adaptives Werkzeug für Graphen (in German);
  Study thesis, BTU Cottbus, Dep. of CS, January 2003. [ pdf ] [ BibTeX ]

1999

• [Noac99]
  Andreas Noack:
  Ein ZBDD-Paket für effizientes Model Checking von Petrinetzen;
  Study thesis, BTU Cottbus, Dep. of CS, June 1999. [ BibTeX ]