Logo

publications


data structures and software dependability

computer science department

brandenburg university of technology cottbus - senftenberg

Selected References - Student's Theses

19 entries


complete overview on 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 ]

… the end …

Any comments or questions are welcome. Please direct them to monika [period] heiner [snail] b-tu [period] de Privacy Policy