TY - CHAP A1 - Heiner, Monika A1 - Breitling, Rainer A1 - Gilbert, David A1 - Priami, C. T1 - Formal Methods in Molecular Biology KW - Petri Nets Y1 - 2009 UR - http://drops.dagstuhl.de/portals/index.php?semnr=09091 ER - TY - CHAP A1 - Lehrack, Sebastian A1 - Gilbert, David A1 - Heiner, Monika T1 - A Unifying Framework for Modelling and Analysing Biochemical Pathways Using Petri Nets Y1 - 2007 ER - TY - CHAP A1 - Heiner, Monika A1 - Donaldson, Robin A1 - Gilbert, David ED - Iyengar, M. Sriram T1 - Petri Nets for Systems Biology T2 - Symbolic systems biology Y1 - 2009 UR - http://www.jblearning.com/catalog/9780763753702/ SN - 978-0-7637-5370-2 PB - Jones and Bartlett Learning CY - Sudbury, Mass. [u.a.] ER - TY - CHAP A1 - Heiner, Monika A1 - Gilbert, David A1 - Breitling, Rainer A1 - Orton, Richard T1 - Computation modelling of kinase signalling cascades Y1 - 2010 UR - http://www.springerlink.com/content/w737003v17214214/#section=761974%26page=1 ER - TY - CHAP A1 - Heiner, Monika A1 - Gilbert, David T1 - How Might Petri Nets Enhance Your Systems Biology Toolkit Y1 - 2011 UR - http://www.springerlink.com/content/t21n70p613h75m64/ ER - TY - CHAP A1 - Heiner, Monika A1 - Marwan, Wolfgang A1 - Rohr, Christian T1 - Petri nets in Snoopy: A unifying framework for the graphical display, computational modelling, and simulation of bacterial regulatory networks Y1 - 2012 UR - http://www.springerlink.com/content/978-1-61779-361-5 ER - 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 -