| Petri nets for systems and synthetic biology M Heiner, D Gilbert, R Donaldson Formal Methods for Computational Systems Biology: 8th International School …, 2008 | 425 | 2008 |
| 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 | 335 | 2012 |
| Application of Petri net based analysis techniques to signal transduction pathways A Sackmann, M Heiner, I Koch BMC bioinformatics 7 (1), 482, 2006 | 266 | 2006 |
| Model validation of biological pathways using Petri nets—demonstrated for apoptosis M Heiner, I Koch, J Will Biosystems 75 (1-3), 15-28, 2004 | 207 | 2004 |
| Snoopy—a unifying Petri net framework to investigate biomolecular networks C Rohr, W Marwan, M Heiner Bioinformatics 26 (7), 974-975, 2010 | 200 | 2010 |
| 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 | 198 | 2005 |
| 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 | 157 | 2006 |
| Steady state analysis of metabolic pathways using Petri nets K Voss, M Heiner, I Koch In silico biology 3 (3), 367-387, 2003 | 153 | 2003 |
| Petri net based model validation in systems biology M Heiner, I Koch Applications and Theory of Petri Nets 2004: 25th International Conference …, 2004 | 146 | 2004 |
| 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 | 144 | 2007 |
| 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 | 106 | 2008 |
| 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 | 104 | 2008 |
| 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 | 102 | 2013 |
| Petri nets I Koch, M Heiner Analysis of biological networks, chapter 7: 139-180, 2008 | 75 | 2008 |
| 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 | 67 | 2012 |
| 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 | 67 | 2005 |
| Fuzzy stochastic Petri nets for modeling biological systems with uncertain kinetic parameters F Liu, M Heiner, M Yang PloS one 11 (2), e0149674, 2016 | 64 | 2016 |
| Charlie–an extensible Petri net analysis tool M Heiner, M Schwarick, JT Wegener Application and Theory of Petri Nets and Concurrency: 36th International …, 2015 | 64 | 2015 |
| 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 | 63 | 2009 |
| 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 | 63 | 2001 |
David GilbertProfessor of Computer Science, Brunel University在 brunel.ac.uk 的电子邮件经过验证
