Qualitative Petri Net Modelling of Genetic Networks

The complexity of biological regulatory networks calls for the development of proper mathematical methods to model their structures and to give insight in their dynamical behaviours. One qualitative approach consists in modelling regulatory networks in terms of logical equations (using either Boolean or multi-level discretisation). Petri Nets (PNs) offer a complementary framework to analyse large systems. In this paper, we propose to articulate the logical approach with PNs. We first revisit the definition of a rigourous and systematic mapping of multi-level logical regulatory models into specific standard PNs, called Multi-level Regulatory Petri Nets (MRPNs). In particular, we consider the case of multiple arcs representing different regulatory effects from the same source. We further propose a mapping of multi-level logical regulatory models into Coloured PNs, called Coloured Regulatory Petri Nets (CRPNs). These CRPNs provide an intuitive graphical representation of regulatory networks, relatively easy to grasp. Finally, we present the PN translation and the analysis of a multi-level logical model of the core regulatory network controlling the differentiation of T-helper lymphocytes into Th1 and Th2 types.

[1]  Denis Thieffry,et al.  From Logical Regulatory Graphs to Standard Petri Nets: Dynamical Roles and Functionality of Feedback Circuits , 2006, Trans. Comp. Sys. Biology.

[2]  Martine Labbé,et al.  Identification of all steady states in large networks by logical analysis , 2003, Bulletin of mathematical biology.

[3]  Tadao Murata,et al.  Petri nets: Properties, analysis and applications , 1989, Proc. IEEE.

[4]  H Matsuno,et al.  Hybrid Petri net representation of gene regulatory network. , 1999, Pacific Symposium on Biocomputing. Pacific Symposium on Biocomputing.

[5]  Gong-Xin Yu,et al.  Ruleminer: a Knowledge System for Supporting High-throughput Protein Function Annotations , 2004, J. Bioinform. Comput. Biol..

[6]  Luis Mendoza,et al.  A network model for the control of the differentiation process in Th cells. , 2006, Bio Systems.

[7]  Pierre N. Robillard,et al.  Modeling and Simulation of Molecular Biology Systems Using Petri Nets: Modeling Goals of Various Approaches , 2004, J. Bioinform. Comput. Biol..

[8]  Denis Thieffry,et al.  Qualitative Analysis of Regulatory Graphs: A Computational Tool Based on a Discrete Formal Framework , 2003, POSTA.

[9]  Hidde de Jong,et al.  Modeling and Simulation of Genetic Regulatory Systems: A Literature Review , 2002, J. Comput. Biol..

[10]  D. Thieffry,et al.  Dynamical behaviour of biological regulatory networks—I. Biological role of feedback loops and practical use of the concept of the loop-characteristic state , 1995 .

[11]  D Thieffry,et al.  GINsim: a software suite for the qualitative modelling, simulation and analysis of regulatory networks. , 2006, Bio Systems.

[12]  Stefan Schuster,et al.  Topological analysis of metabolic networks based on Petri net theory , 2003, Silico Biol..

[13]  Hanna Klaudel,et al.  Modeling Multi-valued Genetic Regulatory Networks Using High-Level Petri Nets , 2005, ICATPN.

[14]  Kurt Jensen,et al.  An Introduction to the Theoretical Aspects of Coloured Petri Nets , 1993, REX School/Symposium.

[15]  Gianfranco Ciardo,et al.  Applications and Theory of Petri Nets 2005, 26th International Conference, ICATPN 2005, Miami, USA, June 20-25, 2005, Proceedings , 2005, ICATPN.

[16]  P J Goss,et al.  Quantitative modeling of stochastic systems in molecular biology by using stochastic Petri nets. , 1998, Proceedings of the National Academy of Sciences of the United States of America.

[17]  Randal E. Bryant,et al.  Graph-Based Algorithms for Boolean Function Manipulation , 1986, IEEE Transactions on Computers.

[18]  Denis Thieffry,et al.  Qualitative modelling of regulated metabolic pathways: application to the tryptophan biosynthesis in E.Coli , 2005, ECCB/JBI.

[19]  Denis Thieffry,et al.  Petri net modelling of biological regulatory networks , 2008, J. Discrete Algorithms.

[20]  R Hofestädt,et al.  Quantitative modeling of biochemical networks , 1998, Silico Biol..

[21]  Stephen Gilmore,et al.  Modelling the Influence of RKIP on the ERK Signalling Pathway Using the Stochastic Process Algebra PEPA , 2006, Trans. Comp. Sys. Biology.

[22]  V. N. Reddy,et al.  Qualitative analysis of biochemical reaction systems , 1996, Comput. Biol. Medicine.

[23]  Wolfgang Reisig,et al.  Applications and Theory of Petri Nets 2004 , 2004, Lecture Notes in Computer Science.

[24]  Denis Thieffry,et al.  Qualitative Modelling of Genetic Networks: From Logical Regulatory Graphs to Standard Petri Nets , 2004, ICATPN.

[25]  René Thomas.  Regulatory networks seen as asynchronous automata: A logical description , 1991 .

[26]  Monika Heiner,et al.  Petri Net Based Model Validation in Systems Biology , 2004, ICATPN.

[27]  L. Glass,et al.  The logical analysis of continuous, non-linear biochemical control networks. , 1973, Journal of theoretical biology.