TY - GEN A1 - Herajy, Mostafa A1 - Heiner, Monika T1 - Modeling and Simulation of Multi-scale Environmental Systems with Generalized Hybrid Petri Nets T2 - Frontiers in Environmental Science Y1 - 2015 UR - http://www.frontiersin.org/environmental_informatics/10.3389/fenvs.2015.00053/abstract U6 - https://doi.org/10.3389/fenvs.2015.00053 SN - 2296-665X VL - 3 SP - 53 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 - Gao, Quian A1 - Gilbert, David A1 - Heiner, Monika A1 - Liu, Fei A1 - Maccagnola, Daniele A1 - Tree, David T1 - Multiscale Modelling and Analysis of Planar Cell Polarity in the Drosophila Wing T2 - IEEE/ACM Transactions on Computational Biology and Bioinformatics Y1 - 2013 U6 - https://doi.org/10.1109/TCBB.2012.101 SN - 1545-5963 VL - 10 IS - 2 SP - 337 EP - 351 ER - TY - CHAP A1 - Heiner, Monika A1 - Schwarick, Martin A1 - Wegener, Jan-Thierry T1 - Charlie – an extensible Petri net analysis tool T2 - Application and Theory of Petri Nets and Concurrency, 36th International Conference, PETRI NETS 2015, Brussels, Belgium, June 21-26, 2015, Proceedings Y1 - 2015 UR - http://link.springer.com/chapter/10.1007/978-3-319-19488-2_10 SN - 978-3-319-19487-5 U6 - https://doi.org/10.1007/978-3-319-19488-2_10 N1 - peer reviewed SP - 200 EP - 211 PB - Springer International Publishing CY - Cham ER - TY - GEN A1 - Gilbert, David A1 - Heiner, Monika T1 - Preface Advances in Computational Methods in Systems Biology T2 - Theoretical Computer Science Y1 - 2015 U6 - https://doi.org/doi:10.1016/j.tcs.2015.08.013 SN - 0304-3975 VL - 599 SP - 2 EP - 3 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 - Parvu, Ovidiu A1 - Gilbert, David A1 - Heiner, Monika A1 - Liu, Fei A1 - Saunders, Nigel ED - Gupta, Ashutosh ED - Henzinger, Thomas A. T1 - Modelling and Analysis of Phase Variation in Bacterial Colony Growth T2 - Computational Methods in Systems Biology, 11th International Conference, CMSB 2013, Klosterneuburg, Austria, September 22-24, 2013 Y1 - 2013 SN - 978-3-642-40707-9 U6 - https://doi.org/10.1007/978-3-642-40708-6_7 N1 - referiert SP - 78 EP - 91 PB - Springer CY - Berlin [u.a.] ER - TY - CHAP A1 - Liu, Fei A1 - Heiner, Monika A1 - Yang, Ming T1 - Colored Petri Nets for Multiscale Systems Biology – Current Modeling and Analysis Capabilities in Snoopy T2 - 7th International Conference on Systems Biology (ISB), 2013, 23 - 25 Aug. 2013, Huangshan, China Y1 - 2013 SN - 978-1-4799-1387-9 U6 - https://doi.org/10.1109/ISB.2013.6623788 N1 - referiert SP - 24 EP - 30 PB - IEEE CY - Piscataway, NJ ER - TY - GEN A1 - George, Sandra A1 - Noack, M. A1 - Vanek, Monika A1 - Rentzsch, J. A1 - Röber, Nadja A1 - Roggenbuck, Dirk A1 - Conrad, Karsten A1 - Küpper, Jan-Heiner T1 - Expression of nicotinic acetylcholine receptor subunits in HEp-2 cells for immunodetection of autoantibody specificities in sera fro Myasthenia gravis patients T2 - Clinical Hemorheology and Microcirculation Y1 - 2015 U6 - https://doi.org/10.3233/CH-151999 SN - 1875-8622 SN - 1386-0291 VL - 61 IS - 2 SP - 385 EP - 396 ER - TY - CHAP A1 - Gilbert, David A1 - Heiner, Monika A1 - Liu, Fei A1 - Saunders, Nigel T1 - Colouring Space - A Coloured Framework for Spatial Modelling in Systems Biology T2 - Application and Theory of Petri Nets and Concurrency, 34th International Conference, PETRI NETS 2013, Milan, Italy, June 24-28, 2013 Y1 - 2013 UR - http://link.springer.com/chapter/10.1007%2F978-3-642-38697-8_13 N1 - referiert SP - 230 EP - 249 PB - Springer CY - Berlin [u.a.] 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 - GEN A1 - Herajy, Mostafa A1 - Liu, Fei A1 - Heiner, Monika T1 - Efficient modelling of yeast cell cycles based on multisite phosphorylation using coloured hybrid Petri nets with marking-dependent arc weights T2 - Nonlinear analysis: Hybrid systems Y1 - 2017 UR - https://www.sciencedirect.com/science/article/pii/S1751570X17300808 U6 - https://doi.org/10.1016/j.nahs.2017.09.002 SN - 1751-570X VL - 27 SP - 191 EP - 212 ER - TY - GEN A1 - Liu, Fei A1 - Heiner, Monika A1 - Gilbert, David T1 - Coloured Petri nets for multilevel, multiscale and multidimensional modelling of biological systems T2 - Briefings in Bioinformatics Y1 - 2019 U6 - https://doi.org/10.1093/bib/bbx150 SN - 1477-4054 SN - 1467-5463 VL - 20 IS - 3 SP - 877 EP - 886 ER - TY - GEN A1 - Gilbert, David A1 - Heiner, Monika A1 - Jayaweera, Yasoda A1 - Rohr, Christian T1 - Towards dynamic genome scale models T2 - Briefings in Bioinformatics Y1 - 2019 U6 - https://doi.org/10.1093/bib/bbx096 SN - 1477-4054 SN - 1467-5463 VL - 20 IS - 4 SP - 1167 EP - 1180 ER - TY - GEN A1 - Herajy, Mostafa A1 - Liu, Fei A1 - Rohr, Christian A1 - Heiner, Monika T1 - Snoopy’s hybrid simulator: a tool to construct and simulate hybrid biological models T2 - BMC Systems Biology Y1 - 2017 UR - https://link.springer.com/epdf/10.1186/s12918-017-0449-6?author_access_token=54a9mC7bl_t-6TjlSqdqNG_BpE1tBhCbnbw3BuzI2RMKIgJAZ9nr6Hm0LME2XT_scd04D6IjdxN2SajBh1-bYG6TDIkKQYJrtczMPmCV290rFO3LRZ0YPUqCBRlezXRq1AJVJo-7YPWMt0G3LF52OA%3D%3D U6 - https://doi.org/10.1186/s12918-017-0449-6 SN - 1752-0509 VL - 11 ER - TY - GEN A1 - Gilbert, David A1 - Heiner, Monika A1 - Ghanbar, Leila T1 - Personalised models for human – gut microbiota interaction T2 - PeerJ preprints Y1 - 2017 UR - https://peerj.com/preprints/3267/ U6 - https://doi.org/10.7287/peerj.preprints.3267v1 SN - 2167-9843 VL - 5 IS - e3267v1 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 - TY - GEN A1 - Gilbert, David A1 - Heiner, Monika A1 - Rohr, Christian T1 - Petri-net-based 2D Design of DNA Walker Circuits T2 - Natural Computing Y1 - 2018 U6 - https://doi.org/10.1007/s11047-018-9671-4 SN - 1572-9796 SN - 1567-7818 VL - 17 IS - 1 SP - 161 EP - 182 ER - TY - GEN A1 - Xu, Hongwei A1 - Curtis, Tanya Y. A1 - Powers, Stephen J. A1 - Raffan, Sarah A1 - Gao, Runhong A1 - Huang, Jianhua A1 - Heiner, Monika A1 - Gilbert, David A1 - Halford, Nigel G. T1 - Genomic, biochemical and modelling analyses of asparagine synthetases from wheat T2 - Frontiers in Plant Science Y1 - 2018 U6 - https://doi.org/10.3389/fpls.2017.02237 SN - 1664-462X VL - 8 ER - TY - CHAP A1 - Heiner, Monika T1 - Petri Net Based Software Dependability Engineering T2 - Proceedings, Ninth Symposium on Quality and Reliability in Electronics, 16th - 18th October, 1995, Budapest, Hungary Y1 - 1995 UR - http://www-dssz.informatik.tu-cottbus.de/publications/papers/1995_budapest.pdf SP - 181 EP - 186 CY - Budapest ER - TY - CHAP A1 - Lindner, G. A1 - Heiner, Monika A1 - Kobienia, Thomas T1 - Deadlock Detection in a Distributed Implementation of a Visualization System for Medical Measurement Signals T2 - IEEE International Conference on Systems, Man and Cybernetics, 14-17 Oct. 1996 Beijing, China, vol. 3 Y1 - 1996 UR - http://www-dssz.informatik.tu-cottbus.de/publications/papers/1996_bejing.pdf SN - 0-7803-3280-6 U6 - https://doi.org/10.1109/ICSMC.1996.565526 N1 - referiert SP - 2299 EP - 2304 PB - IEEE CY - Piscataway, NJ ER - TY - CHAP A1 - Heiner, Monika A1 - Deussen, Peter H. A1 - Spranger, Jochen T1 - A Case Study in Developing Control Software of Manufacturing Systems with Hierarchical Petri Nets T2 - Proceedings 1st International Workshop on Manufacturing and Petri Nets held at International Conference on Application and Theory of Petri Nets (ICATPN '96, Osaka, June 1996) Y1 - 1996 UR - http://www-dssz.informatik.tu-cottbus.de/publications/papers/1996_osaka.pdf N1 - referiert SP - 177 EP - 196 ER - TY - CHAP A1 - Heiner, Monika A1 - Deussen, Peter H. T1 - A Case Study in Design and Validation of Reactive Systems by Means of Petri Nets T2 - CESA '96 IMACS Multiconference, Computational Engineering in Systems Applications, Symposium "Discrete Events and Manufacturing Systems", Lille, July 1996 Y1 - 1996 UR - http://www-dssz.informatik.tu-cottbus.de/publications/papers/1996_lille.pdf N1 - referiert SP - 121 EP - 126 ER -