TY - GEN A1 - Koch, Ina A1 - Schüler, Markus A1 - Heiner, Monika T1 - STEPP - Search Tool for Exploration of Petri net Paths: A new tool for Petri net-based path analysis in biochemical networks T2 - In silico biology Y1 - 2004 UR - http://www.bioinfo.de/isb/2004/05/0014/ SN - 1434-3207 VL - Vol. 5 ER - TY - GEN A1 - Heiner, Monika A1 - Koch, Ina A1 - Will, Jürgen T1 - Model Validation of Biological Pathways Using Petri Nets - Demonstrated for Apoptosis T2 - BioSystems Y1 - 2004 U6 - https://doi.org/10.1016/j.biosystems.2004.03.003 VL - 75 IS - 1-3 SP - 15 EP - 28 ER - TY - GEN A1 - Voss, Klaus A1 - Heiner, Monika A1 - Koch, Ina T1 - Steady State Analysis of Metabolic Pathways Using Petri Nets T2 - In silico biology Y1 - 2003 UR - http://www.bioinfo.de/isb/2003/03/0031/ SN - 1434-3207 VL - Vol. 3 ER - TY - GEN A1 - Heiner, Monika A1 - Gilbert, David T1 - BioModel Engineering for Multiscale Systems Biology T2 - Progress in Biophysics and Molecular Biology Y1 - 2013 UR - http://www.sciencedirect.com/science/article/pii/S0079610712001071?v=s5 U6 - https://doi.org/10.1016/j.pbiomolbio.2012.10.001 SN - 1873-1732 VL - 111 IS - 2-3 SP - 119 EP - 128 ER - TY - GEN A1 - Liu, Fei A1 - Heiner, Monika T1 - Modeling membrane systems using colored stochastic Petri nets T2 - Natural Computing Y1 - 2013 U6 - https://doi.org/10.1007/s11047-013-9367-8 SN - 1572-9796 VL - 12 IS - 4 SP - 617 EP - 629 ER - TY - CHAP A1 - Herajy, Mostafa A1 - Schwarick, Martin A1 - Heiner, Monika T1 - Hybrid Petri Nets for Modelling the Eukaryotic Cell Cycle T2 - Transactions on petri nets and other models of concurrency VIII Y1 - 2013 SN - 978-3-642-40464-1 SN - 978-3-642-40465-8 U6 - https://doi.org/10.1007/978-3-642-40465-8_7 N1 - referiert SP - 123 EP - 141 PB - Springer CY - Berlin [u.a.] ER - TY - GEN A1 - Liu, Fei A1 - Heiner, Monika T1 - Multiscale modelling of coupled Ca2+ channels using coloured stochastic Petri nets T2 - IET Systems Biology Y1 - 2013 SN - 1751-8849 VL - 7 IS - 4 SP - 106 EP - 113 ER - TY - GEN A1 - Herajy, Mostafa A1 - Heiner, Monika T1 - Hybrid Representation and Simulation of Stiff Biochemical Networks T2 - Nonlinear Analysis: Hybrid Systems Y1 - 2012 UR - http://www.sciencedirect.com/science/article/pii/S1751570X12000192 SN - 1751-570X VL - 6 IS - 4 SP - 942 EP - 959 ER - TY - CHAP A1 - Heiner, Monika A1 - Breitling, Rainer A1 - Donaldson, Robin A1 - Gilbert, David T1 - Biomodel Engineering - From Structure to Behavior T2 - Transactions on Computational Systems Biology XII : Special Issue on Modeling Methodologies Y1 - 2010 SN - 978-3-642-11711-4 SN - 978-3-642-11712-1 U6 - https://doi.org/10.1007/978-3-642-11712-1 SP - 1 EP - 12 PB - Springer CY - Berlin [u.a.] ER - TY - GEN A1 - Heiner, Monika A1 - Sriram, K. T1 - Structural Analysis to Determine the Core of Hypoxia Response Network T2 - PLoS ONE Y1 - 2010 U6 - https://doi.org/10.1371/journal.pone.0008600 SN - 1932-6203 VL - 5 IS - 1 ER - TY - GEN A1 - Rohr, Christian A1 - Marwan, Wolfgang A1 - Heiner, Monika T1 - Snoopy - a unifying Petri net framework to investigate biomolecular networks T2 - Bioinformatics Y1 - 2010 UR - http://bioinformatics.oxfordjournals.org/cgi/content/abstract/26/7/974?ct=ct SN - 1460-2059 VL - 26 IS - 7 SP - 974 EP - 975 ER -