@misc{HerajyHeiner, author = {Herajy, Mostafa and Heiner, Monika}, title = {Petri Net-Based Collaborative Simulation and Steering of Biochemical Reaction Networks}, series = {Fundamenta Informaticae}, volume = {129}, journal = {Fundamenta Informaticae}, number = {1-2}, issn = {0169-2968}, pages = {49 -- 67}, language = {en} } @misc{HerajyHeiner, author = {Herajy, Mostafa and Heiner, Monika}, title = {Hybrid Representation and Simulation of Stiff Biochemical Networks}, series = {Nonlinear Analysis: Hybrid Systems}, volume = {6}, journal = {Nonlinear Analysis: Hybrid Systems}, number = {4}, issn = {1751-570X}, pages = {942 -- 959}, language = {en} } @misc{HerajyHeiner, author = {Herajy, Mostafa and Heiner, Monika}, title = {Modeling and Simulation of Multi-scale Environmental Systems with Generalized Hybrid Petri Nets}, series = {Frontiers in Environmental Science}, volume = {3}, journal = {Frontiers in Environmental Science}, issn = {2296-665X}, doi = {10.3389/fenvs.2015.00053}, pages = {53}, language = {en} } @misc{HerajyLiuHeiner, author = {Herajy, Mostafa and Liu, Fei and Heiner, Monika}, title = {Efficient modelling of yeast cell cycles based on multisite phosphorylation using coloured hybrid Petri nets with marking-dependent arc weights}, series = {Nonlinear analysis: Hybrid systems}, volume = {27}, journal = {Nonlinear analysis: Hybrid systems}, issn = {1751-570X}, doi = {10.1016/j.nahs.2017.09.002}, pages = {191 -- 212}, language = {en} } @misc{HerajyLiuRohretal., author = {Herajy, Mostafa and Liu, Fei and Rohr, Christian and Heiner, Monika}, title = {Snoopy's hybrid simulator: a tool to construct and simulate hybrid biological models}, series = {BMC Systems Biology}, volume = {11}, journal = {BMC Systems Biology}, issn = {1752-0509}, doi = {10.1186/s12918-017-0449-6}, pages = {16}, language = {en} } @misc{HerajyHeiner, author = {Herajy, Mostafa and Heiner, Monika}, title = {Adaptive and Bio-semantics of Continuous Petri Nets: Choosing the Appropriate Interpretation}, series = {Fundamenta Informaticae}, volume = {160}, journal = {Fundamenta Informaticae}, number = {1-2}, issn = {1875-8681}, doi = {10.3233/FI-2018-1674}, pages = {53 -- 80}, language = {en} } @misc{HerajyLiuRohretal., author = {Herajy, Mostafa and Liu, Fei and Rohr, Christian and Heiner, Monika}, title = {Coloured Hybrid Petri Nets: an Adaptable Modelling Approach for Multi-scale Biological Networks}, series = {Computational Biology and Chemistry}, volume = {76}, journal = {Computational Biology and Chemistry}, issn = {1476-9271}, doi = {10.1016/j.compbiolchem.2018.05.023}, pages = {87 -- 100}, language = {en} } @misc{IsmailHerajyAtlametal., author = {Ismail, Amr and Herajy, Mostafa and Atlam, Elsayed and Heiner, Monika}, title = {A Graphical Approach for Hybrid Simulation of 3D Diffusion Bio-Models via Coloured Hybrid Petri Nets}, series = {Modelling and Simulation in Engineering}, journal = {Modelling and Simulation in Engineering}, editor = {Hong, Jing-song}, issn = {1687-5605}, doi = {10.1155/2020/4715172}, pages = {14}, abstract = {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.}, language = {en} }