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 …
alternative to mathematical-based methods has recently received much interest because …
Design patterns for the construction of computational biological models
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 …
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
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 …
molecules in a cell that leads to diseases. Network modeling of disease pathways considers …
[HTML][HTML] MPAT: Modular Petri Net Assembly Toolkit
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 …
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
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 …
simulation becomes a ubiquitous tool to understand and predict the behaviour of many …