TY - CHAP A1 - Blätke, Mary-Ann A1 - Heiner, Monika A1 - Marwan, Wolfgang ED - Robeva, Raina S. T1 - BioModel Engineering with Petri Nets T2 - Algebraic and Discrete Mathematical Methods for Modern Biology Y1 - 2015 UR - http://store.elsevier.com/product.jsp?isbn=9780128012130 SN - 978-0-12-801213-0 SP - 141 EP - 193 PB - Elsevier CY - Amsterdam [u.a.] ER - TY - CHAP A1 - Blätke, Mary-Ann A1 - Rohr, Christian A1 - Heiner, Monika A1 - Marwan, Wolfgang ED - Benner, Peter T1 - A Petri Net based Framework for Biomodel Engineering T2 - Large-Scale Networks in Engineering and Life Sciences KW - Automatic network reconstruction KW - Biomodel engineering KW - Dynamic systems modelling KW - Modular modelling KW - Petri nets KW - Molecular regulatory networks KW - Reverse engineering Y1 - 2014 SN - 978-3-319-08436-7 U6 - https://doi.org/10.1007/978-3-319-08437-4_6 SP - 317 EP - 366 PB - Springer CY - Heidelberg ER - TY - CHAP A1 - Liu, Fei A1 - Heiner, Monika ED - Chen, Ming ED - Hofestädt, Ralf T1 - Petri Nets for Modeling and Analyzing Biochemical Reaction Networks T2 - Approaches in Integrative Bioinformatics KW - Petri nets KW - Biochemical reaction networks KW - Unifying Petri net frame- work KW - Qualitative KW - Stochastic KW - Conti nuous and hybrid Petri nets KW - Colored Petri nets KW - Repressilator Y1 - 2014 SN - 978-3-642-41280-6 SN - 978-3-642-41281-3 U6 - https://doi.org/10.1007/978-3-642-41281-3_9 SP - 245 EP - 272 PB - Springer CY - Heidelberg ER - TY - GEN A1 - Liu, Fei A1 - Heiner, Monika A1 - Yang, Ming T1 - Representing Network Reconstruction Solutions with Colored Petri Nets T2 - Neurocomputing Y1 - 2016 UR - http://www.sciencedirect.com/science/article/pii/S0925231215012473 U6 - https://doi.org/10.1016/j.neucom.2015.04.112 SN - 0925-2312 VL - 174 IS - A SP - 483 EP - 493 ER - TY - GEN A1 - Somekh, Judith A1 - Peleg, Mor A1 - Eran, Alal A1 - Koren, Itay A1 - Feiglin, Ariel A1 - Demishtein, Alik A1 - Shiloh, Ruth A1 - Heiner, Monika A1 - Kong, Sek Won A1 - Elazar, Zvulun A1 - Kohane, Isaac T1 - A Model-driven methodology for exploring complex disease comorbidities applied to autism spectrum disorder and inflammatory bowel disease T2 - Biomedical Informatics Y1 - 2016 U6 - https://doi.org/10.1016/j.jbi.2016.08.008 SN - 1532-0464 VL - 63 SP - 366 EP - 378 ER - TY - GEN A1 - Bertens, Laura M. F. A1 - Kleijn, Jetty A1 - Hille, Sander C. A1 - Heiner, Monika A1 - Koutny, Maciej A1 - Verbeek, Fons J. T1 - Modeling biological gradient formation: combining partial differential equations and Petri nets T2 - Natural Computing Y1 - 2016 UR - http://link.springer.com/article/10.1007/s11047-015-9531-4 U6 - https://doi.org/10.1007/s11047-015-9531-4 SN - 1567-7818 SN - 1572-9796 VL - 15 IS - 4 SP - 665 EP - 675 ER - TY - GEN A1 - Liu, Fei A1 - Heiner, Monika A1 - Yang, Ming T1 - Fuzzy stochastic Petri nets for modeling biological systems with uncertain kinetic parameters T2 - PLoS ONE Y1 - 2016 UR - http://journals.plos.org/plosone/article?id=10.1371/journal.pone.0149674 U6 - https://doi.org/10.1371/journal.pone.0149674 SN - 1932-6203 VL - 11 IS - 2 SP - 0149674 ER - TY - CHAP A1 - Heiner, Monika A1 - Rohr, Christian A1 - Schwarick, Martin A1 - Tovchigrechko, Alexey A. ED - Koutny, Maciej ED - Desel, Jörg ED - Kleijn, Jetty T1 - MARCIE’s secrets of efficient model checking T2 - Transactions on petri nets and other models of concurrency XI Y1 - 2016 SN - 978-3-662-53400-7 SN - 978-3-662-53401-4 U6 - https://doi.org/10.1007/978-3-662-53401-4_14 N1 - referiert SP - 286 EP - 296 PB - Springer CY - Berlin [u.a.] ER - TY - GEN A1 - Pârvu, Ovidiu A1 - Gilbert, David A1 - Heiner, Monika A1 - Liu, Fei A1 - Saunders, Nigel A1 - Shaw, Simon T1 - Spatial-temporal modelling and analysis of bacterial colonies with phase variable genes T2 - ACM Transactions on Modeling and Computer Simulation (TOMACS) Y1 - 2015 UR - http://dl.acm.org/citation.cfm?id=2742546 U6 - https://doi.org/10.1145/2742546 SN - 1558-1195 SN - 1049-3301 VL - 25 IS - 2 SP - 13 ER - TY - GEN A1 - Barbot, Benoit A1 - Haddad, Serge A1 - Heiner, Monika A1 - Picaronny, Claudine T1 - A Rare Event Method Applied to Signalling Cascades T2 - International Journal on Advances in Systems and Measurements Y1 - 2015 UR - http://www.iariajournals.org/systems_and_measurements/sysmea_v8_n12_2015_paged.pdf SN - 1942-261x VL - 8 IS - 1-2 SP - 69 EP - 79 ER -