Searching for just a few words should be enough to get started. If you need to make more complex queries, use the tips below to guide you.
Issue title: Advances in Biological processes and Petri nets (BioPPN)
Guest editors: Anna Gambin and Monika Heiner
Article type: Research Article
Authors: Grabowski, Mareka | Bokota, Grzegorza | Sroka, Jaceka; * | Kierzek, Andrzejb
Affiliations: [a] Institute of Informatics, University of Warsaw, Poland. {gmarek, bokota, sroka}@mimuw.edu.pl | [b] Certara Quantitative Systems Pharmacology, United Kingdom. [email protected]
Correspondence: [*] Address for correspondence: Institute of Informatics, University of Warsaw, Banacha 2, 02-097 Warsaw, Poland
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.
DOI: 10.3233/FI-2018-1681
Journal: Fundamenta Informaticae, vol. 160, no. 1-2, pp. 199-219, 2018
IOS Press, Inc.
6751 Tepper Drive
Clifton, VA 20124
USA
Tel: +1 703 830 6300
Fax: +1 703 830 2300
[email protected]
For editorial issues, like the status of your submitted paper or proposals, write to [email protected]
IOS Press
Nieuwe Hemweg 6B
1013 BG Amsterdam
The Netherlands
Tel: +31 20 688 3355
Fax: +31 20 687 0091
[email protected]
For editorial issues, permissions, book requests, submissions and proceedings, contact the Amsterdam office [email protected]
Inspirees International (China Office)
Ciyunsi Beili 207(CapitaLand), Bld 1, 7-901
100025, Beijing
China
Free service line: 400 661 8717
Fax: +86 10 8446 7947
[email protected]
For editorial issues, like the status of your submitted paper or proposals, write to [email protected]
如果您在出版方面需要帮助或有任何建, 件至: [email protected]