Verifiable biology

S Konur, M Gheorghe… - Journal of the Royal …, 2023 - royalsocietypublishing.org
The formalization of biological systems using computational modelling approaches as an
alternative to mathematical-based methods has recently received much interest because …

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 …

Network Modeling and Control of Dynamic Disease Pathways, Review and Perspectives

YC Hsiao, A Dutta - IEEE/ACM Transactions on Computational …, 2024 - ieeexplore.ieee.org
Dynamic disease pathways are a combination of complex dynamical processes among bio-
molecules in a cell that leads to diseases. Network modeling of disease pathways considers …

[HTML][HTML] MPAT: Modular Petri Net Assembly Toolkit

S Chiaradonna, P Jevtić, B Sterner - SoftwareX, 2024 - Elsevier
We present a Python package called Modular Petri Net Assembly Toolkit (MPAT) that
empowers users to easily create large-scale, modular Petri Nets for various spatial …

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 …