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 - TY - GEN A1 - Heiner, Monika A1 - Deussen, Peter H. A1 - Spranger, Jochen T1 - A Case Study in Design and Verification of Manufacturing Systems with Hierarchical Petri Nets T2 - The International Journal of Advanced Manufacturing Technology Y1 - 1999 UR - http://www-dssz.informatik.tu-cottbus.de/publications/papers/1999_heiner_deussen_spranger_journalAMT_productionCell.pdf SN - 1433-3015 SN - 0268-3768 VL - 15 IS - 2 SP - 139 EP - 152 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 - Blätke, Mary-Ann A1 - Rohr, Christian ED - Heiner, Monika ED - Wagler, Annegret K. T1 - A Colored Petri net approach for spatial Biomodel Engineering based on the modular model composition framework Biomodelkit T2 - Proceedings of the 6th International Workshop on Biological Processes & Petri Nets (BioPPN 2015), Brussels, Belgium, June 22, 2015 Y1 - 2015 UR - http://ceur-ws.org/Vol-1373/ N1 - peer reviewed SP - 37 EP - 54 ER - TY - CHAP A1 - Heiner, Monika A1 - Rohr, Christian A1 - Schwarick, Martin A1 - Streif, Stefan ED - Quaglia, Paola T1 - A Comparative Study of Stochastic Analysis Techniques T2 - CMSB '10, 8th Conference on Computational Methods in Systems Biology, Trento, Italy — September 29 - October 01, 2010 Y1 - 2010 SN - 978-1-4503-0068-1 U6 - https://doi.org/10.1145/1839764.1839776 SP - 96 EP - 106 PB - ACM CY - New York, NY ER - TY - GEN A1 - Ismail, Amr A1 - Herajy, Mostafa A1 - Atlam, Elsayed A1 - Heiner, Monika ED - Hong, Jing-song T1 - A Graphical Approach for Hybrid Simulation of 3D Diffusion Bio-Models via Coloured Hybrid Petri Nets T2 - Modelling and Simulation in Engineering N2 - Three-dimensional modelling of biological systems is imperative to study the behaviour of dynamic systems that require the analysis of how their components interact in space. However, there are only a few formal tools that offer a convenient modelling of such systems. The traditional approach to construct and simulate 3D models is to build a system of partial differential equations (PDEs). Although this approach may be computationally efficient and has been employed by many researchers over the years, it is not always intuitive since it does not provide a visual depiction of the modelled systems. Indeed, a visual modelling can help to conceive a mental image which eventually contributes to the understanding of the problem under study. Coloured Hybrid Petri Nets () are a high-level representation of classical Petri nets that offer hybrid as well as spatial modelling of biological systems. In addition to their graphical representations, models are also scalable. This paper shows how can be used to construct and simulate systems that require three-dimensional as well as hybrid (stochastic/continuous) modelling. We use calcium diffusion in three dimensions to illustrate our main ideas. More specifically, we show that creating 3D models using can yield more flexible models as the structure can be easily scaled up and down by just modifying a few parameters. This advantage of convenient model configuration facilitates the design of different experiments without the need to alter the model structure. Y1 - 2020 UR - https://www.hindawi.com/journals/mse/2020/4715172/ U6 - https://doi.org/10.1155/2020/4715172 SN - 1687-5605 ER - TY - CHAP A1 - Ismail, Amr A1 - Herajy, Mostafa A1 - Heiner, Monika ED - Liò, Pietro ED - Zuliani, Paolo T1 - A Graphical Approach for the Hybrid Modelling of Intracellular Calcium Dynamics Based on Coloured Hybrid Petri Nets T2 - Automated Reasoning for Systems Biology and Medicine Y1 - 2019 UR - https://link.springer.com/chapter/10.1007/978-3-030-17297-8_13 SN - 978-3-030-17296-1 SN - 978-3-030-17297-8 U6 - https://doi.org/10.1007/978-3-030-17297-8_13 SP - 349 EP - 367 PB - Springer CY - Cham 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 - 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 - GEN A1 - Heiner, Monika A1 - Ventre, Giorgio A1 - Wikarski, Dietmar T1 - A Petri Net Based Methodology to Integrate Qaulitative and Quantitative Analysis T2 - Information and Software Technology Y1 - 1994 U6 - https://doi.org/10.1016/0950-5849(94)90066-3 SN - 0950-5849 VL - 36 IS - 7 SP - 435 EP - 441 ER -