data structures and software dependability

computer science department

brandenburg university of technology cottbus - senftenberg

Prof. Dr.-Ing. Monika Heiner

latest update: November 20, 2017, at 08:49 PM

  • Professor for Data Structures and Software Dependability, Brandenburg University of Technology Cottbus-Senftenberg, Computer Science Department
  • Visiting Professor, Brunel University London, Institute of Environment, Health and Societies; Synthetic Biology, Computational, Mathematical & Statistical Synthetic Biology


emailMonika [period] Heiner [snail] b-tu [period] de
 Monika [period] Heiner [snail] brunel [period] ac [period] uk
phone(+49) (+355) 69-3884 / 3885
fax(+49) (+355) 69-3587

visiting address

Building VG 1c - 2nd floor, room 2.38
Walther-Pauer-Str. 2
D-03046 Cottbus

further information


For a feature of our Petri net related research, Courtesy of International Innovation – a leading scientific dissemination service, see

  • [H14-feature]
    Research Media:
    The power of Petri nets;
    In International Innovation, Special Focus - Women in Healthcare, Research Media, volume 137, pages 72-74, May 2014. [ url ] [ pdf ] [ BibTeX ]

For a summary of our Petri net related research profile, see

  • [H14]
    M Heiner:
    Petri Nets Research at BTU in Cottbus, Germany;
    In Petri Net Newsletter, GI, Newsletter of the Special Interest Group on Petri Nets and Related System Models, ISSN 0391-1804, volume 83, pages 19-25, April 2014. [ pdf ] [ BibTeX ]

my profile in Google Scholar

search in DBLP Computer Science Bibliography

search in our local database

Short Biography

07/2016Visiting Professor at Ca' Foscari University, DAIS, Venice/Italy;
course: Biomodel Engineering, Graduate School in CS; research topics: trophic networks;
ss 2015sabbatical leave, Visiting Professor at Brunel University London, Centre for Systems and Synthetic Biology;
partially supported by the SEED fund to promote multi-disciplinary research of the College of Engineering, Design and Physical Sciences;
research topics: Bacterial BioEngineering - model-based design of microbial systems;
10/2013Visiting Professor at Laboratoire Spécification et Vérification (LSV/ENS), Cachan/Paris;
research topics: efficient model checking of rare events;
ss 2011sabbatical leave, Visiting Professor at Brunel University, Uxbridge/London,
funded by EPSRC (RC Grant reference: EP/I036168/1, with David Gilbert as host Principal Investigator);
research topics: Petri nets for multiscale Systems; project website
03/2010research stay, Universidad de Zaragoza/Spain; Group of Discrete Event Systems Engineering (GISED);
research topics: (autonomous) continuous Petri nets;
ss 2007sabbatical leave, INRIA Rocquencourt/France;
research topics: biochemical network analysis;
ss 2003sabbatical leave, University of Costa Rica/San José;
course: validation of embedded systems;
ws 1999/2000sabbatical leave, Boston University, Metropolitan College;
courses: object-oriented analysis and design, software technology;
since 09/1994professorship, Brandenburg University of Technology at Cottbus;
research topics: data structures and software dependability, modelling and analysis of technical as well as (since 1998) biochemical networks using Petri nets;
ss 1994substitute professorship, University of Technology at Cottbus;
research topics: data structures and efficient algorithms;
02-03/1992research stay at International Computer Science Institute (ICSI) in Berkeley/California;
1992-1994scientific staff member, Institute of Computer Architecture and Software Technique of GMD at Berlin (GMD/FIRST);
research topics: software validation using Petri nets;
1984-1991scientific staff member, Institute of Informatiques and Computer Techniques at Berlin (IIR/AdW);
research topics: dependable systems; system verification & validation using Petri nets;
1980-1984scientific staff member, University of Technology at Dresden;
research topics: high-level pogramming languages in automation techniques;
1980dissertation (Ph. D. thesis) "A Contribution to Deadlock Analysis Based on a Language-guided Programming Methodology" (in German);
research topics: static analysis approaches, application of Petri nets to model and analyse concurrent programs;
1973-1980studies of computer sciences, University of Technology at Dresden;
research topics: programming languages and compiler technique;

Scientific Service

see my profile on

Long-term activities

Programme Committees, recent ones

Further reviews, among others

  • . . . many journals, see my profile on

… the end …

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