Monika Heiner
Monika Heiner
Professor of Computer Science, Brandenburg Technical University (BTU)
Dirección de correo verificada de b-tu.de - Página principal
TítuloCitado porAño
Petri nets for systems and synthetic biology
M Heiner, D Gilbert, R Donaldson
International school on formal methods for the design of computer …, 2008
3492008
Application of Petri net based analysis techniques to signal transduction pathways
A Sackmann, M Heiner, I Koch
BMC bioinformatics 7 (1), 482, 2006
2322006
Snoopy–a unifying Petri net tool
M Heiner, M Herajy, F Liu, C Rohr, M Schwarick
Application and Theory of Petri Nets, 398-407, 2012
2192012
Model validation of biological pathways using Petri nets—demonstrated for apoptosis
M Heiner, I Koch, J Will
Biosystems 75 (1-3), 15-28, 2004
1942004
Snoopy—a unifying Petri net framework to investigate biomolecular networks
C Rohr, W Marwan, M Heiner
Bioinformatics 26 (7), 974-975, 2010
1792010
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, 2004
1782004
Steady state analysis of metabolic pathways using Petri nets
K Voss, M Heiner, I Koch
In silico biology 3 (3), 367-387, 2003
1512003
Petri net based model validation in systems biology
M Heiner, I Koch
International Conference on Application and Theory of Petri Nets, 216-237, 2004
1362004
From Petri nets to differential equations–an integrative approach for biochemical network analysis
D Gilbert, M Heiner
International Conference on Application and Theory of Petri Nets, 181-200, 2006
1322006
A unifying framework for modelling and analysing biochemical pathways using Petri nets
D Gilbert, M Heiner, S Lehrack
International Conference on Computational Methods in Systems Biology, 200-216, 2007
1272007
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
912008
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
902008
MARCIE–model checking and reachability analysis done efficiently
M Heiner, C Rohr, M Schwarick
International Conference on Applications and Theory of Petri Nets and …, 2013
742013
Petri nets
I Koch, M Heiner
Analysis of biological networks, 139-179, 2008
732008
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
602005
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
572001
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, 409-437, 2012
522012
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
502009
Modeling safety-critical systems with Z and Petri nets
M Heiner, M Heisel
Computer Safety, Reliability and Security, 361-374, 1999
491999
A Petri net semantics for the PLC language Instruction List
M Heiner, T Menzel
Proc. IEE Workshop on Discrete Event Systems (WODES’98), 161-165, 1998
461998
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–20