Hybrid modelling of biological systems: current progress and future prospects

F Liu, M Heiner, D Gilbert - Briefings in Bioinformatics, 2022 - academic.oup.com
Integrated modelling of biological systems is becoming a necessity for constructing models
containing the major biochemical processes of such systems in order to obtain a holistic …

Coloured Petri nets for multilevel, multiscale and multidimensional modelling of biological systems

F Liu, M Heiner, D Gilbert - Briefings in bioinformatics, 2019 - academic.oup.com
Owing to the availability of data of one biological phenomenon at different levels/scales,
modelling of biological systems is moving from single level/scale to multiple levels/scales …

Design patterns for the construction of computational biological models

M Herajy, F Liu, M Heiner - Briefings in Bioinformatics, 2024 - academic.oup.com
Computational biological models have proven to be an invaluable tool for understanding
and predicting the behaviour of many biological systems. While it may not be too …

Addressing data uncertainty of Caulobacter crescentus cell cycles using hybrid Petri nets with fuzzy kinetics

G Assaf, F Liu, M Heiner, M Herajy - Computers in Biology and Medicine, 2025 - Elsevier
Studying and analysing the various phases and key proteins of cell cycles is essential for the
understanding of cell development and differentiation. To this end, mechanistic models play …

A workflow for the hybrid modelling and simulation of multi-timescale biological systems

M Herajy, F Liu, M Heiner - BioSystems, 2025 - Elsevier
With the steady advance of in-silico biological experimentation, model construction and
simulation becomes a ubiquitous tool to understand and predict the behaviour of many …

Efficient unfolding of coloured Petri nets using interval decision diagrams

M Schwarick, C Rohr, F Liu, G Assaf, J Chodak… - Application and theory of …, 2020 - Springer
We consider coloured Petri nets, qualitative and quantitative ones alike, as supported by our
PetriNuts tool family, comprising, among others, Snoopy, Marcie and Spike. Currently, most …

Formal verification confirms the role of p53 protein in cell fate decision mechanism

EA Mahmoud, M Herajy, IE Ziedan, HI Shehata - Theory in Biosciences, 2023 - Springer
The bio-cell cycle is controlled by a complex biochemical network of signaling pathways.
Modeling such challenging networks accurately is imperative for the understanding of their …

Modeling the mechanism pathways of first line drug in Tuberculosis using Petri nets

GP Singh, M Jha, M Singh, Naina - International Journal of System …, 2020 - Springer
Abstract Multi-Drug Resistant (MDR) and Extensively Drug-Resistant (XDR) in Tuberculosis
(TB) is still a big threat worldwide, as it remains one of the leading causes of death. The …

A Petri nets-based framework for whole-cell modeling

F Liu, G Assaf, M Chen, M Heiner - Biosystems, 2021 - Elsevier
Whole-cell modeling aims to incorporate all main genes and processes, and their
interactions of a cell in one model. Whole-cell modeling has been regarded as the central …

[HTML][HTML] Modeling and analyzing transmission of infectious diseases using generalized stochastic petri nets

L Peng, P **e, Z Tang, F Liu - Applied Sciences, 2021 - mdpi.com
Some infectious diseases such as COVID-19 have the characteristics of long incubation
period, high infectivity during the incubation period, and carriers with mild or no symptoms …