Logo

data structures and software dependability

computer science department

brandenburg university of technology cottbus - senftenberg

Prof. Dr.-Ing. Monika Heiner

latest update: June 12, 2018, at 10:26 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

contact

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

Publications

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;

Invited Talks

  • 2018/04/11 - A Petri Net Framework for spatial and multiscale modelling of biochemical systems;
    Cairo University, Faculty of Science, Mathematics Department, host: Prof. Dr. Nasser Hassan Sweilam, Egypt;
  • 2018/04/05 - A Petri Net Framework for spatial and multiscale modelling of biochemical systems;
    International Conference for Mathematics and Applications (ICMS18), Egyptian Mathematical Society, Cairo, Egypt
  • 2018/04/03 - - A Petri Net Framework for spatial and multiscale modelling of biochemical systems;
    Workshop on Mathematical Modelling in Biological Science, Port Said University, Egypt
  • 2018/03/06 - A Petri Net Framework for Spatial And Multiscale Modelling of Plant Biochemistry;
    Workshop Mathematical Modelling in Plants, Rothamsted Research, Harpenden, UK
  • 2016/09/08 - From Petri Nets to Partial Differential Equations;
    22nd International Conference on DNA Computing and Molecular Programming (DNA22), Munich, Germany
  • 2016/07/07 - Model-driven design for Synthetic Systems Biology;
    Bioinformaticsday@DAIS, Ca' Foscari University, Venice, Italy
  • 2016/03/21- Analysis and repair of whole genome bacterial metabolic models for synthetic biology;
    Yamaguchi Workshop on Computational Network Biology, Yamaguhi University, Japan
  • 2016/02/24 - Analysis and repair of whole genome bacterial metabolic models for synthetic biology;
    Computer Science Seminar, Brunel University London, UK
  • 2015/12/29 - From Petri Nets to Partial Differential Equations;
    International Conference for Mathematics and Applications (ICMS15), MSA University, Cairo, Egypt
  • 2015/11/19 - From Petri Nets to Partial Differential Equations;
    Van Leeuwenhoek Lecture on BioScience, Leiden University, NL
  • 2014/03/25 - BioModel Engineering - a Petri Net Perspective;
    Università Ca' Foscari Di Venezia, Venice, Italy
  • 2013/11/28 - Time Petri Nets for Modelling and Analysis of Biochemical Networks -- On the Influence of Time;
    KOSMOS workshop, Humboldt University, Berlin
  • 2013/10/04 - From Petri Nets to Partial Differential Equations;
    Seminaire MeFoSyLoMa (Formal Methods for Hardware and Software Systems), LIPN/Paris, France
  • 2013/10/01 - BioModel Engineering - a Petri Net Perspective;
    Laboratoire Spécification et Vérification, Cachan/Paris, France
  • 2013/07/30 - BioModel Engineering - a Petri Net Perspective;
    Workshop: Teaching Discrete and Algebraic Mathematical Biology to Undergraduates, MBI, Ohio State University, US
  • 2012/10/17 - Markov Chains & Functional Safety;
    Philotech Academy, Berlin
  • 2012/05/09 - Coloured Petri Nets for Multiscale Systems Biology;
    Workshop 6: Algebraic Methods in Systems and Evolutionary Biology, MBI, Ohio State University, US
  • 2012/03/26 - BioModel Engineering - a Petri Net Perspective;
    Jena Centre of Bioinformatics, Germany
  • 2012/03/19 - From Petri Nets to Partial Differential Equations and beyond;
    Workshop on Conceptional Foundations of Systems Biology, Balliol College Oxford, UK
  • 2011/06/23 - How Might Petri Nets Enhance Your Systems Biology Toolkit;
    PETRI NETS 2011, Newcastle, UK
  • 2011/03/08 - Biochemical Networks - a Petri Net Perspective;
    PhD School, Universtita Torino, Italy
  • 2011/03/07 - Biochemically Interpreted Petri Nets, Some Open Problems;
    Universtita Torino, research group Prof. G Balbo, Italy
  • 2010/08 - Biochemical Networks - a Petri Net Perspective;
    College of William and Mary, Dep. of Computer Science, Williamsburg, US
  • 2010/08 - Biochemical Networks - a Petri Net Perspective;
    Virginia Bioinformatics Institute at Virginia Tech, Blacksburg, US
  • 2010/05 - Snoopy - a unifying Petri net framework to investigate biomolecular networks;
    Summer School on Integrative Biological Pathway Analysis and Simulation (IB-PAS 2010), Bielefeld, Germany
  • 2009/06 - A Petri Net Perspective on Systems and Synthetic Biology;
    Brunel University London, UK
  • 2008/11 - Time Petri nets for modelling and analysis of biochemical networks - on the influence of time;
    MaReBio, Marseille, France
  • 2008/06 - Petri Nets for Systems and Synthetic Biology;
    Summer School on Formal Methods (SFM 2008) - Formal Methods for Computational Systems Biology, Bertinoro, Italy
  • 2008/05 - Petri Nets for Systems and Synthetic Biology;
    Workshop on Computational Models for Cell Processes; Satellite event to Formal Methods, Turku, Finland
  • 2007/11 - Modularization of Biochemical Networks by T-invariants;
    Univ. Rostock, CS Dep, Germany
  • 2007/06 - Biochemically Interpreted Petri Nets - Two Open Problems;
    Seminaire MeFoSyLoMa (Formal Methods for Hardware and Software Systems), Université Paris 13, France
  • 2006/07 - Systems Biology - A Petri Net Perspective;
    TU Ilmenau, Fakultätskolloquium zum Informatikjahr, Germany
  • 2005/09 - Modelling Biochemical Networks with Time Petri Nets;
    Glasgow University, Bioinformatics Research Centre, UK
  • 2005/06 - An Integrative Approach for Qualitative and Quantitative Analysis of Biochemical Networks Using Petri Nets;
    Max Planck Institute for Dynamics of Complex Technical Systems, Magdeburg, Germany
  • 2005/05 - From Petri Nets to Differential Equations - an Integrative Approach for Biochemical Network Analysis;
    Munich Systems Biology Forum, Munich, Germany
  • 2005/03 - Qualitative Modelling and Analysis Concurrent Systems with Petri Nets – Tutorial;
    Glasgow University, Bioinformatics Research Centre, UK
  • 2005/03 From Petri Nets to Differential Equations (ODEs);
    Glasgow University, Bioinformatics Research Centre, UK
  • 2004/09 - Modelchecking in der Automatisierungstechnik; Wie formal müssen formale Methoden sein?
    Software Forum Berlin-Brandenburg, Germany
  • 2004/02 - Qualitative Biochemical Pathway Analysis Using Petri Nets;
    CNRS, Structural & Genomic Information Lab., Marseille, France
  • 2004/02 - Dependable Software for Embedded Systems;
    VW Wolfsburg, Germany
  • 2002/10 - Increased Safety by Fault Tolerant Software - Just another Way to Waste Money?
    Bosch-Zuverlässigkeits-Workshop, Böblingen, Germany
  • 2000/04 - Dependable Software - an Unrealistic Dream or Just a Reality Far Away ?
    Bosch-Zuverlässigkeits-Workshop, Böblingen, Germany

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 Privacy Policy