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 - CHAP A1 - Herajy, Mostafa A1 - Heiner, Monika ED - Cinquemani, Eugenio ED - Donzé, Alexandre T1 - Accelerated Simulation of Hybrid Biological Models with Quasi-Disjoint Deterministic and Stochastic Subnets T2 - Hybrid Systems Biology, 5th International Workshop, HSB 2016, Grenoble, France, October 20-21, 2016, Proceedings Y1 - 2016 UR - http://link.springer.com/chapter/10.1007/978-3-319-47151-8_2 SN - 978-3-319-47150-1 SN - 978-3-319-47151-8 U6 - https://doi.org/10.1007/978-3-319-47151-8_2 N1 - referierte Konferenzveröffentlichung SP - 20 EP - 38 PB - Springer CY - Cham ER - TY - CHAP A1 - Heiner, Monika ED - Rondelez, Yannick ED - Woods, Damien T1 - From Petri Nets to Partial Differential Equations: A Petri Net Perspective on Systems and Synthetic Biology T2 - DNA computing and molecular programming, 22nd international conference, DNA 22, Munich, Germany, September 4-8, 2016, proceedings Y1 - 2016 UR - http://link.springer.com/book/10.1007%2F978-3-319-43994-5 SN - 978-3-319-43993-8 SN - 978-3-319-43994-5 PB - Springer CY - Cham ER -