Volgen
Monika Heiner
Monika Heiner
Professor of Computer Science, Brandenburg Technical University (BTU)
Geverifieerd e-mailadres voor b-tu.de - Homepage
Titel
Geciteerd door
Geciteerd door
Jaar
Petri nets for systems and synthetic biology
M Heiner, D Gilbert, R Donaldson
Formal Methods for Computational Systems Biology: 8th International School …, 2008
4232008
Snoopy–a unifying Petri net tool
M Heiner, M Herajy, F Liu, C Rohr, M Schwarick
Application and Theory of Petri Nets: 33rd International Conference, PETRI …, 2012
3302012
Application of Petri net based analysis techniques to signal transduction pathways
A Sackmann, M Heiner, I Koch
BMC bioinformatics 7 (1), 482, 2006
2672006
Model validation of biological pathways using Petri nets—demonstrated for apoptosis
M Heiner, I Koch, J Will
Biosystems 75 (1-3), 15-28, 2004
2072004
Snoopy—a unifying Petri net framework to investigate biomolecular networks
C Rohr, W Marwan, M Heiner
Bioinformatics 26 (7), 974-975, 2010
2002010
Application of Petri net theory for modelling and validation of the sucrose breakdown pathway in the potato tuber
I Koch, BH Junker, M Heiner
Bioinformatics 21 (7), 1219-1226, 2005
1982005
From Petri nets to differential equations–an integrative approach for biochemical network analysis
D Gilbert, M Heiner
Petri Nets and Other Models of Concurrency-ICATPN 2006: 27th International …, 2006
1552006
Steady state analysis of metabolic pathways using Petri nets
K Voss, M Heiner, I Koch
In silico biology 3 (3), 367-387, 2003
1542003
Petri net based model validation in systems biology
M Heiner, I Koch
Applications and Theory of Petri Nets 2004: 25th International Conference …, 2004
1462004
A unifying framework for modelling and analysing biochemical pathways using Petri nets
D Gilbert, M Heiner, S Lehrack
Computational Methods in Systems Biology: International Conference CMSB 2007 …, 2007
1452007
Modularization of biochemical networks based on classification of Petri net t-invariants
E Grafahrend-Belau, F Schreiber, M Heiner, A Sackmann, BH Junker, ...
BMC bioinformatics 9 (1), 90, 2008
1052008
A structured approach for the engineering of biochemical network models, illustrated for signalling pathways
R Breitling, D Gilbert, M Heiner, R Orton
Briefings in bioinformatics 9 (5), 404-421, 2008
1052008
MARCIE–model checking and reachability analysis done efficiently
M Heiner, C Rohr, M Schwarick
Application and Theory of Petri Nets and Concurrency: 34th International …, 2013
1022013
Petri nets
I Koch, M Heiner
Analysis of biological networks, chapter 7: 139-180, 2008
772008
Petri nets in Snoopy: A unifying framework for the graphical display, computational modelling, and simulation of bacterial regulatory networks
W Marwan, C Rohr, M Heiner
Bacterial Molecular Networks: Methods and Protocols, 409-437, 2012
672012
Time Petri nets for modelling and analysis of biochemical networks
L Popova-Zeugmann, M Heiner, I Koch
Fundamenta Informaticae 67 (1-3), 149-162, 2005
662005
Fuzzy stochastic Petri nets for modeling biological systems with uncertain kinetic parameters
F Liu, M Heiner, M Yang
PloS one 11 (2), e0149674, 2016
642016
Charlie–an extensible Petri net analysis tool
M Heiner, M Schwarick, JT Wegener
Application and Theory of Petri Nets and Concurrency: 36th International …, 2015
632015
Extended stochastic Petri nets for model-based design of wetlab experiments
M Heiner, S Lehrack, D Gilbert, W Marwan
Transactions on Computational Systems Biology XI, 138-163, 2009
632009
Analysis and simulation of steady states in metabolic pathways with Petri nets
M Heiner, I Koch, K Voss
Workshop and tutorial on practical use of coloured Petri nets and the CPN …, 2001
632001
Het systeem kan de bewerking nu niet uitvoeren. Probeer het later opnieuw.
Artikelen 1–20