TY - CHAP A1 - Heiner, Monika A1 - Gilbert, David A1 - Donaldson, Robin T1 - Petri Nets for Systems and Synthetic Biology Y1 - 2008 UR - http://www.springerlink.com/content/j115442q6518j330/ ER - TY - CHAP A1 - Heiner, Monika T1 - Understanding Network Behaviour by Structured Representations of Transition Invariants - A Petri Net Perspective on Systems and Synthetic Biology Y1 - 2009 UR - http://www.springerlink.com/content/m8t30720r141442m ER - TY - CHAP A1 - Heiner, Monika A1 - Koch, Ina T1 - Petri Nets Y1 - 2008 UR - http://www.amazon.com/Analysis-Biological-Networks-Wiley-Bioinformatics/dp/0470041447/ref=sr_1_1?ie=UTF8%26s=books%26qid=1195812618%26sr=8-1 ER - TY - GEN A1 - Heiner, Monika A1 - Yang, Ming A1 - Liu, Fei T1 - Modeling and analyzing biological systems using colored hierarchical Petri nets illustrated by C. elegans vulval development T2 - Journal of Biological Systems Y1 - 2014 U6 - https://doi.org/10.1142/S0218339014500181 SN - 1793-6470 VL - 22 IS - 3 SP - 463 EP - 493 ER - TY - GEN A1 - Herajy, Mostafa A1 - Heiner, Monika T1 - Petri Net-Based Collaborative Simulation and Steering of Biochemical Reaction Networks T2 - Fundamenta Informaticae Y1 - 2014 UR - http://iospress.metapress.com/content/y8760m2p02256uw3 SN - 0169-2968 VL - 129 IS - 1-2 SP - 49 EP - 67 ER - TY - GEN A1 - Blätke, Mary-Ann A1 - Dittrich, Anna A1 - Rohr, Christian A1 - Heiner, Monika A1 - Schaper, Fred A1 - Marwan, Wolfgang T1 - JAK/STAT signalling - an executable model assembled from molecule-centred modules demonstrating a module-oriented database concept for systems and synthetic biology T2 - Molecular BioSystems Y1 - 2013 U6 - https://doi.org/10.1039/C3MB25593J SN - 1742-2051 VL - 9 IS - 6 SP - 1290 EP - 1307 ER - TY - CHAP A1 - Heiner, Monika A1 - Lehrack, Sebastian A1 - Gilbert, David A1 - Marwan, Wolfgang T1 - Extended Stochastic Petri Nets for Model-based Design of Wetlab Experiments T2 - Transactions on Computational Systems Biology XI Y1 - 2009 UR - http://www.springerlink.com/content/5u8h68411657x827/?p=e806216818924093ad3bc526c8b3604d&pi=0 SN - 978-3-642-04185-3 SP - 138 EP - 163 PB - Springer CY - Berlin [u.a.] ER - TY - GEN A1 - Grafahrend-Belau, Eva A1 - Schreiber, Falk A1 - Heiner, Monika A1 - Sackmann, Andrea A1 - Junker, Björn H. A1 - Grunwald, Stefanie A1 - Speer, Astrid A1 - Winder, Katja A1 - Koch, Ina T1 - Modularization of biochemical networks based on classification of Petri net T-invariants T2 - BMC Bioinformatics Y1 - 2008 U6 - https://doi.org/10.1186/1471-2105-9-90 SN - 1471-2105 VL - Vol. 9 ER - TY - GEN A1 - Breitling, Rainer A1 - Gilbert, David A1 - Heiner, Monika A1 - Orton, Richard T1 - A structured approach for the engineering of biochemical network models, illustrated for signalling pathways T2 - Briefings in Bioinformatics Y1 - 2008 U6 - https://doi.org/10.1093/bib/bbn026 SN - 1477-4054 VL - 9 IS - 5 SP - 404 EP - 421 ER - TY - GEN A1 - Sackmann, Andrea A1 - Heiner, Monika A1 - Koch, Ina T1 - Application of Petri net based analysis techniques to signal transduction pathways T2 - BMC Bioinformatics Y1 - 2006 U6 - https://doi.org/10.1186/1471-2105-7-482 SN - 1471-2105 VL - Vol. 7 ER - TY - GEN A1 - Popova-Zeugmann, Louchka A1 - Heiner, Monika A1 - Koch, Ina T1 - Time Petri Nets for Modelling and Analysis of Biochemical Networks T2 - Fundamenta Informaticae Y1 - 2005 UR - http://iospress.metapress.com/content/84vabcc0venbcgwv/ SN - 1875-8681 VL - 67 IS - 1-3 SP - 149 EP - 162 ER - TY - GEN A1 - Koch, Ina A1 - Junker, Björn H. A1 - Heiner, Monika T1 - Application of Petri Net Theory for Modelling and Validation of the Sucrose Breakdown Pathway in the Potato Tuber T2 - Bioinformatics Y1 - 2005 UR - http://bioinformatics.oupjournals.org/cgi/content/abstract/bti145?ijkey=58saZCDV5w9LY&keytype=ref SN - 1460-2059 VL - 21 IS - 7 SP - 1219 EP - 1226 ER - 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 - TY - GEN A1 - Heiner, Monika A1 - Soliman, Sylvain T1 - A Unique Transformation from Ordinary Differential Equations to Reaction Networks T2 - PLoS one Y1 - 2010 U6 - https://doi.org/10.1371/journal.pone.0014284 SN - 1932-6203 VL - 5 IS - 12 ER - TY - GEN A1 - Heiner, Monika A1 - Ventre, Giorgio A1 - Wikarski, Dietmar T1 - A Petri Net Based Methodology to Integrate Qaulitative and Quantitative Analysis T2 - Information and Software Technology Y1 - 1994 U6 - https://doi.org/10.1016/0950-5849(94)90066-3 SN - 0950-5849 VL - 36 IS - 7 SP - 435 EP - 441 ER - TY - CHAP A1 - Barbot, Benoit A1 - Haddad, Serge A1 - Heiner, Monika A1 - Picaronny, Claudine T1 - Rare Event Handling in Signalling Cascades T2 - Proceedings, SIMUL 2014, Sixth International Conference on Advances in System Simulation Y1 - 2014 UR - http://www.thinkmind.org/index.php?view=instance&instance=SIMUL+2014 SN - 978-1-61208-371-1 N1 - ThinkMind Digital Library SP - 126 EP - 131 PB - IARIA ER - TY - CHAP A1 - Herajy, Mostafa A1 - Heiner, Monika ED - Ciardo, Gianfranco ED - Kindler, Ekkart T1 - A Steering Server for Collaborative Simulation of Quantitative Petri Nets T2 - Application and Theory of Petri Nets and Concurrency, 35th International Conference, PETRI NETS 2014, Tunis, Tunisia, June 23-27, 2014, Proceedings Y1 - 2014 UR - http://link.springer.com/chapter/10.1007%2F978-3-319-07734-5_21 SN - 978-3-319-07733-8 SP - 374 EP - 384 PB - Springer CY - Cham [u.a.] ER -