Logo

publications


data structures and software dependability

computer science department

brandenburg university of technology cottbus - senftenberg

selected references - Ph.D. theses

8 entries


  • [Rohr17]
    Christian Rohr:
    Simulative analysis of coloured extended stochastic Petri nets;
    PhD thesis, BTU Cottbus, Dep. of CS, January 2017. [ pdf ] [ BibTeX ]
  • [Schwarick14]
    Martin Schwarick:
    Symbolic on-the-fly analysis of stochastic Petri nets;
    PhD thesis, BTU Cottbus, Dep. of CS, June 2014. [ pdf ] [ BibTeX ]
  • [Herajy13]
    Mostafa Herajy:
    Computational Steering of Multi-Scale Biochemical Networks;
    PhD thesis, BTU Cottbus, Dep. of CS, January 2013. [ pdf ] [ BibTeX ]
  • [Liu12]
    Fei Liu:
    Colored Petri Nets for Systems Biology;
    PhD thesis, BTU Cottbus, Dep. of CS, January 2012. [ pdf ] [ BibTeX ]
  • [Tovchig08]
    Alexey Tovchigrechko:
    Efficient symbolic analysis of bounded Petri nets using Interval Decision Diagrams;
    PhD thesis, BTU Cottbus, Dep. of CS, October 2008. [ pdf ] [ BibTeX ]
  • [Mertke03]
    Thomas Mertke:
    A Technical Language for Formal Safety Specification of Reactive Systems;
    PhD thesis, BTU Cottbus, Dep. of CS, October 2003. [ pdf ] [ BibTeX ]
  • [Spranger01]
    Jochen Spranger:
    Symbolic LTL verification of Petri nets;
    PhD thesis, BTU Cottbus, Dep. of CS, December 2001. [ BibTeX ]
  • [Deussen01]
    Peter Deussen:
    Analysis of concurrent systems by Process Automata;
    PhD thesis, BTU Cottbus, Dep. of CS, December 2001. [ BibTeX ]

… the end …

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