Prof. Dr.-Ing. Monika Heiner
latest update: January 26, 2024, at 11:03 AM
- Professor (ret.) 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
- Monika [period] Heiner [snail] b-tu [period] de
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
search in DBLP Computer Science Bibliography
search in our local database
search in UBICO
Short Biography
03-04/2022 | 2-months research stay, Brunel University London, Centre for Systems and Synthetic Biology partially supported by HPC-Europa3 Transnational Access programme; research topic: HPC enabled target-driven optimisation of Petri net models applied to biological systems; |
ss 2019 | sabbatical leave, Visiting Professor at Royal Melbourne Institute of Technology (RMIT), Melbourne/AU; research topics: cloud-based distributed analysis of computationally expensive models; |
07/2016 | Visiting Professor at Ca' Foscari University, DAIS, Venice/Italy; course: Biomodel Engineering, Graduate School in CS; research topics: trophic networks; |
ss 2015 | sabbatical 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/2013 | Visiting Professor at Laboratoire Spécification et Vérification (LSV/ENS), Cachan/Paris; research topics: efficient model checking of rare events; |
ss 2011 | sabbatical 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/2010 | research stay, Universidad de Zaragoza/Spain; Group of Discrete Event Systems Engineering (GISED); research topics: (autonomous) continuous Petri nets; |
ss 2007 | sabbatical leave, INRIA Rocquencourt/France; research topics: biochemical network analysis; |
ss 2003 | sabbatical leave, University of Costa Rica/San José; course: validation of embedded systems; |
ws 1999/2000 | sabbatical leave, Boston University, Metropolitan College; courses: object-oriented analysis and design, software technology; |
since 09/1994 | professorship, 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 1994 | substitute professorship, University of Technology at Cottbus; research topics: data structures and efficient algorithms; |
02-03/1992 | research stay at International Computer Science Institute (ICSI) in Berkeley/California; |
1992-1994 | scientific staff member, Institute of Computer Architecture and Software Technique of GMD at Berlin (GMD/FIRST); research topics: software validation using Petri nets; |
1984-1991 | scientific staff member, Institute of Informatiques and Computer Techniques at Berlin (IIR/AdW); research topics: dependable systems; system verification & validation using Petri nets; |
1980-1984 | scientific staff member, University of Technology at Dresden; research topics: high-level pogramming languages in automation techniques; |
1980 | dissertation (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-1980 | studies 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 publons
Long-term activities
- Journal Natural Computing, Editorial board, Broader Perspective
- Journal AIMS Bioengineering, Editorial board
- Journal ACM Transactions on Modeling and Computer Simulation (ACM TOMACS), Associate Editor
- Review Editor on the Editorial Board of Frontiers in Systems Biology, speciality sections Data and Model Integration and Multiscale Mechanistic Modeling
- International Conference on Computational Methods in Systems Biology (CMSB), Steering Committee
- International Workshop on Biological Processes & Petri Nets (BioPPN), a satellite events of PETRI NETS Conference series, organisation and co-chairing
BioPPN 2016, BioPPN 2014, BioPPN 2015, BioPPN 2014, BioPPN 2013, BioPPN 2012, BioPPN 2011, BioPPN 2010
Programme Committees, recent ones
- International Conference on Computational Methods in Systems Biology
CMSB 2022, CMSB 2021, CMSB 2020, CMSB 2019, CMSB 2018, CMSB 2017, CMSB 2016, CMSB 2015, CMSB 2014, CMSB 2013, CMSB 2012, CMSB 2011, CMSB 2010, CMSB 2009, CMSB 2008, CMSB 2007, CMSB 2006, CMSB 2005
- IEEE International Conference on Computational Intelligence in Bioinformatics and Computational Biology
CIBCB 2020, CIBCB 2019
- International Conference on Simulation and Modeling Methodologies, Technologies
SIMULTECH 2019, SIMULTECH 2018, SIMULTECH 2017, SIMULTECH 2016, SIMULTECH 2015, SIMULTECH 2014, SIMULTECH 2013, SIMULTECH 2012, SIMULTECH 2011
- Winter Simulation Conference (WSC 2019), Hybrid Simulation track
- International Symposium on Molecular Logic and Computational Synthetic Biology MLCSB 2018
- International Workshop on Petri Nets and Modeling PeMod'18, a satellite event of Modellierung 2018
- International Conference on Application and Theory of Petri Nets and Other Models of Concurrency
Petri Nets 2016, Petri Nets 2015, Petri Nets 2014, Petri Nets 2011, Petri Nets 2010, ICATPN 2007, ICATPN 2006
- Network Tools and Applications in Biology
NETTAB 2017 - Methods, tools & platforms for Personalized Medicine in the Big Data Era;
NETTAB 2014 - From Structural Bioinformatics To Integrative Systems Biology
- LATA 2015, 9th International Conference on Language and Automata Theory and Applications
- 22nd Euromicro International Conference on Parallel, Distributed and Network-based Processing, Special Session on Advances In High-Performance Bioinformatics, Systems And Synthetic Biology
PDP 2014
- 2nd French Singaporean Workshop on Formal Methods and Applications
FSFMA 2014
- International Workshop on Computational Models for Cell Processes
CompMod 2013 (satellite event of iFM2013 ),
CompMod 2011 (satellite event of CONCUR 2011),
CompMod 2009 (satellite event of Formal Methods 2009)
- International Workshop on Concurrency, Specification and Programming
CS&P 2014, CS&P 2013, CS&P 2012
- Winter Simulation Conference, Berlin/Germany, special track on Petri nets, simulation and applications
WSC 2012
- 9th Symposium on Formal Methods for Automation and Safety in Railway and Automotive Systems
FORMS/FORMAT 2012
- International Workshop and Tutorial on Practical Use of Coloured Petri Nets and CPN Tools
CPN 2009, CPN 2008, CPN 2007, CPN 2006, CPN 2005
- 9th European Conference on Computational Biology 2010 (ECCB10),
area of Protein interactions, molecular networks and systems biology (G)
- 5th International ICST Conference on Bio-Inspired Models of Network, Information, and Computing Systems
Bionetics 2010
- 3rd International ICST Conference on Simulation Tools and Techniques
SIMUTools 2010
- International Workshop on Petri Nets and Software Engineering, satellite event of Petri Nets 2009
PNSE 2009
- International Workshop on Petri Nets Tools and APplications, satellite event of SIMUTools 2008
PNTAP 2008
- International Conference on Computer Safety, Reliability and Security
SAFECOMP 2007, SAFECOMP 2006, SAFECOMP 2005
Further many reviews for various journals