FG Datenstrukturen und Softwarezuverlässigkeit
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 aim of systems biology but also as a grand challenge, which plays essential roles in current and future systems biology. In this paper, we analyze whole-cell modeling challenges and requirements and classify them into three aspects (or dimensions): heterogeneous biochemical networks, uncertainties in components, and representation of cell structure. We then explore how to use different Petri net classes to address different aspects of whole-cell modeling requirements. Based on these analyses, we present a Petri nets-based framework for whole-cell modeling, which not only addresses many whole-cell modeling requirements, but also offers a graphical, modular, and hierarchical modeling tool. We think this framework can offer a feasible modeling approach for whole-cell model construction.
Snoopy is a powerful modelling and simulation tool for various types of Petri nets, which have been applied to a wide range of biochemical reaction networks. We present an enhanced version of Snoopy, now supporting coloured and uncoloured stochastic, continuous and hybrid Petri Nets with fuzzy kinetic parameters. Colour helps to cope with modelling challenges imposed by larger and more complex networks. Fuzzy parameters are specifically useful when kinetic parameter values can not be precisely measured or estimated. By running fuzzy simulation we obtain output bands of the variables of interest induced by the effect of the fuzzy kinetic parameters. Simulation is always done on the uncoloured level. For this purpose, coloured fuzzy Petri nets are automatically unfolded to their corresponding uncoloured counterparts. Combining the power of fuzzy kinetic parameters with the modelling convenience of coloured Petri nets provides a new quality in user support with sophisticated modelling and analysis features.
We present a methodology for systematically extending epidemic models to multilevel and multiscale spatio-temporal pandemic ones. Our approach builds on the use of coloured stochastic and continuous Petri nets facilitating the sound component-based extension of basic SIR models to include population stratification and also spatio-geographic information and travel connections, represented as graphs, resulting in robust stratified pandemic metapopulation models. This method is inherently easy to use, producing scalable and reusable models with a high degree of clarity and accessibility which can be read either in a deterministic or stochastic paradigm. Our method is supported by a publicly available platform PetriNuts; it enables the visual construction and editing of models; deterministic, stochastic and hybrid simulation as well as structural and behavioural analysis. All the models are available as supplementary material, ensuring reproducibility.
Fuzzy Petri nets
(2021)
This document explains the procedure of modelling and simulating FPN
and FPNC in Snoopy; please compare Figure 1 . Please note that the same
steps for one net class can be equally applied to the other classes, just differentiate between uncoloured Petri nets (PN) and coloured Petri nets (PNC).
Furthermore, we give more details about Latin Hybercube Sampling strategies supported by Snoopy's FPN.
Dynamics of cell fate decisions are commonly investigated by inferring temporal sequences of gene expression states by assembling snapshots of individual cells where each cell is measured once. Ordering cells according to minimal differences in expression patterns and assuming that differentiation occurs by a sequence of irreversible steps, yields unidirectional, eventually branching Markov chains with a single source node. In an alternative approach, we used multi-nucleate cells to follow gene expression taking true time series. Assembling state machines, each made from single-cell trajectories, gives a network of highly structured Markov chains of states with different source and sink nodes including cycles, revealing essential information on the dynamics of regulatory events. We argue that the obtained networks depict aspects of the Waddington landscape of cell differentiation and characterize them as reachability graphs that provide the basis for the reconstruction of the underlying gene regulatory network.