Petri nets for systems and synthetic biology

M Heiner, D Gilbert, R Donaldson - … school on formal methods for the …, 2008 - Springer
We give a description of a Petri net-based framework for modelling and analysing
biochemical pathways, which unifies the qualitative, stochastic and continuous paradigms …

Approaches for the integration of big data in translational medicine: single‐cell and computational methods

F Amirmahani, N Ebrahimi, F Molaei… - Annals of the New …, 2021 - Wiley Online Library
Translational medicine describes a bench‐to‐bedside approach that eventually converts
findings from basic scientific studies into real‐world clinical research. It encompasses new …

Charlie–an extensible Petri net analysis tool

M Heiner, M Schwarick, JT Wegener - Application and Theory of Petri Nets …, 2015 - Springer
Charlie is an extensible thread-based Java tool for analysing Petri nets. Its built-in
functionalities apply standard analysis techniques of Petri net theory (eg invariants …

[PDF][PDF] Petri nets in systems biology

MA Blätke, M Heiner, W Marwan - Technical Report, Otto-von …, 2011 - academia.edu
What is the background of this tutorial? During the last decade the integrative research area
of systems biology has been constantly gaining more importance. Experimental and …

Petri nets in Snoopy: A unifying framework for the graphical display, computational modelling, and simulation of bacterial regulatory networks

W Marwan, C Rohr, M Heiner - Bacterial Molecular Networks: Methods …, 2012 - Springer
Petri Nets in Snoopy: A Unifying Framework for the Graphical Display, Computational
Modelling, and Simulation of Bacterial Regulatory Networks | SpringerLink Skip to main content …

[HTML][HTML] A methodology combining reinforcement learning and simulation to optimize the in silico culture of epithelial sheets

A Castrignanò, R Bardini, A Savino… - Journal of Computational …, 2024 - Elsevier
Abstract Tissue Engineering (TE) and Regenerative Medicine (RM) aim to replicate and
replace tissues for curing disease. However, full tissue integration and homeostasis are still …

A unique transformation from ordinary differential equations to reaction networks

S Soliman, M Heiner - PloS one, 2010 - journals.plos.org
Many models in Systems Biology are described as a system of Ordinary Differential
Equations, which allows for transient, steady-state or bifurcation analysis when kinetic …

Extended stochastic Petri nets for model-based design of wetlab experiments

M Heiner, S Lehrack, D Gilbert, W Marwan - … on Computational Systems …, 2009 - Springer
This paper introduces extended stochastic Petri nets to model wetlab experiments. The
extentions include read and inhibitor arcs, stochastic transitions with freestyle rate functions …

Biomodel engineering with Petri nets

MA Blätke, M Heiner, W Marwan - Algebraic and Discrete Mathematical …, 2015 - Elsevier
We present a unifying Petri net framework comprising the qualitative, stochastic, continuous,
and hybrid paradigm for modeling and analyzing biological reaction networks. By means of …

Effects of small particle numbers on long-term behaviour in discrete biochemical systems

P Kreyssig, C Wozar, S Peter, T Veloz, B Ibrahim… - …, 2014 - academic.oup.com
Motivation: The functioning of many biological processes depends on the appearance of
only a small number of a single molecular species. Additionally, the observation of …