Logo

data structures and software dependability

computer science department

brandenburg university of technology cottbus - senftenberg

Prof. Dr.-Ing. Monika Heiner

latest update: February 10, 2021, at 01:23 PM


  • Professor for Data Structures and Software Dependability, Brandenburg University of Technology Cottbus-Senftenberg, Computer Science Department
  • Visiting Professor, Brunel University London, Computer Science, Computational 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 personal reflection on my research profile, see

  • [H19]
    M Heiner:
    Petri Nets for BioModel Engineering: A Personal Perspective;
    In Carl Adam Petri: Ideas, Personality, Impact, (W Reisig and G Rozenberg, Eds.), Springer, Cham, pages 205–216, 2019 (first online 25 May 2019). [ url ] [ doi ] [ BibTeX ]

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

search in UBICO

Short Biography

ss 2019sabbatical leave, Visiting Professor at Royal Melbourne Institute of Technology (RMIT), Melbourne/AU;
research topics: cloud-based distributed analysis of computationally expensive models;
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

  • 2020/02/04 - A Petri Net Framework for spatial and multiscale modelling of Plant Biochemistry;
    IPK Gatersleben, Germany
  • 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