Fundamenta Informaticae - Volume 160, issue 1-2

Authors: Grabowski, Marek | Bokota, Grzegorz | Sroka, Jacek | Kierzek, Andrzej

Article Type: Research Article

Abstract: We present a tool for the verification of qualitative biological models. These models formalise observed behaviours and interrelations of molecular and cellular mechanisms. During its development a model is continuously verified. Predicted behaviours are compared with behaviours observed in experimental data. Moreover, the model must not exhibit behaviours which contradict existing knowledge about capabilities of the biological system under investigation. Model development is an iterative process involving many rounds of prediction, verification and refinement. Due to the complexity of biological systems this process is laborious and error prone, which motivates the development of “model debugging” tools. The qualitative models …we investigate represent large-scale molecular interaction networks describing gene regulation, signalling and whole-cell metabolism. We integrate a steady state model of whole-cell metabolism with a dynamic model of gene regulation and signalling represented as a Petri net. This Quasi-Steady State Petri Net (QSSPN) representation allows the generation of dynamic sequences of molecular events satisfying substrate, activator, inhibitor and metabolic flux requirements at every state transition. The reachability graph of the dynamic part of the model is examined and for every transition in this graph the satisfaction of metabolic flux requirements is verified by well-established linear programming techniques. Our approach is based on network connectivity alone and does not require any kinetic parameters. We demonstrate the applicability of our method by analysing a large-scale model of a nuclear receptor network regulating bile acid homeostasis in human hepatocyte. To date, simulation and verification of QSSPN models have been performed exclusively by Monte Carlo simulation. Random walks through the state space were used to find examples of behaviour satisfying properties of interest. Here, we provide for the first time for QSSPN models an exhaustive analysis of the state space up to a finite depth, which is possible due to several effective optimisations. Contrary to the Monte Carlo approach, we can prove that certain behaviour cannot be realised by the model within a given number of steps. This allows rejection of models which are not capable to reproduce experimentally observed behaviours, as well as verification that biologically unrealistic behaviours cannot occur in the simulation. We show an example of how these features improve identification of problems in large scale network models. Show more

DOI: 10.3233/FI-2018-1681

Citation: Fundamenta Informaticae, vol. 160, no. 1-2, pp. 199-219, 2018

Authors: Blätke, Mary-Ann | Rohr, Christian

Article Type: Research Article

Abstract: Systems and synthetic biology require multiscale biomodel engineering approaches to integrate diverse spatial and temporal scales which will help to better understand and describe the various interactions in biological systems. Our BioModelKit framework for modular biomodel engineering allows composing multiscale models from a set of modules, each describing an individual biomolecular component in the form of a Petri net. In this framework, we now propose a feature for spatial modelling of molecular biosystems. The spatial model represents the coordinates and movement of individual biomolecular components on a defined grid. Here, the distance between components constrains their ability to interact with …each other. We use coloured Petri nets to scale the spatial model, such that each molecular component can exist in an arbitrary number of instances. The grid can encode various regular and irregular structures according to the cellular arrangement and geometry. Furthermore, the grid can be divided into compartments to represent the compartmentalisation of the cell. Show more

Keywords: modular model composition, spatial modelling, multiscale biomodel-engineering, coloured Petri nets

DOI: 10.3233/FI-2018-1682

Citation: Fundamenta Informaticae, vol. 160, no. 1-2, pp. 221-254, 2018