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 - 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 - TY - CHAP ED - Heiner, Monika T1 - Biological Processes & Petri Nets 5th International Workshop BioPPN 2014, Tunis, 23 June 2014, Proceedings KW - Petri nets Biological Processes Y1 - 2014 U6 - http://nbn-resolving.de/urn/resolver.pl?urn:nbn:de:0074-1159-5 ER - TY - CHAP A1 - Herajy, Mostafa A1 - Liu, Fei A1 - Rohr, Christian ED - Heiner, Monika T1 - Coloured hybrid Petri nets for systems biology T2 - Proceedings of the 5th International Workshop on Biological Processes & Petri Nets (BioPPN) Y1 - 2014 UR - http://ceur-ws.org/Vol-1159/ SP - 60 EP - 76 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 - Liu, Fei A1 - Blätke, Mary-Ann A1 - Heiner, Monika A1 - Yang, Ming T1 - Modelling and simulating reaction–diffusion systems using coloured Petri nets T2 - Computers in Biology and Medicine Y1 - 2014 UR - http://www.sciencedirect.com/science/article/pii/S0010482514001693 U6 - https://doi.org/10.1016/j.compbiomed.2014.07.004 SN - 0010-4825 VL - 53 SP - 297 EP - 308 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 - 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 - Heiner, Monika T1 - Petri Nets Research at BTU in Cottbus, Germany T2 - Petri Net Newsletter Y1 - 2014 SN - 0391-1804 SN - 0931-1084 VL - 83 SP - 19 EP - 25 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 - THES A1 - Schwarick, Martin T1 - Symbolic on-the-fly analysis of stochastic Petri nets Y1 - 2014 U6 - http://nbn-resolving.de/urn/resolver.pl?urn:nbn:de:kobv:co1-opus4-30560 UR - http://opus4.kobv.de/opus4-btu/files/3056/Martin_Schwarick.pdf ER -