Petri net modelling of biological regulatory networks

Journal of Discrete Algorithms

Volumn 6, Issue 2, 2008, Pages 165-177

  Chaouiya, Claudine ^a   Remy, Elisabeth ^b   Thieffry, Denis ^a  

^a INSERM   (France)

^b AIX MARSEILLE UNIVERSITÉ   (France)

Author keywords

Gene networks; Lambda bacteriophage; Logical modelling; Petri nets; Regulatory circuits

Indexed keywords

BOOLEAN ALGEBRA; COMPUTATIONAL COMPLEXITY; COMPUTER SIMULATION; CONFORMAL MAPPING; DECISION MAKING; MATHEMATICAL MODELS;

BIOLOGICAL REGULATORY NETWORKS; GENE NETWORKS; LAMBDA BACTERIOPHAGE; LOGICAL MODELLING; REGULATORY CIRCUITS;

PETRI NETS;

EID: 42249112818     PISSN: 15708667     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.jda.2007.06.003     Document Type: Article

References (29)

1. Alla H., and David R. Continuous and hybrid petri nets. JCSC 8 1 (1998) 159-188
2. Arkin A., Ross J., and McAdams H.H. Stochastic kinetic analysis of developmental pathway bifurcation in phage lambda-infected Escherichia coli. Genetics 149 (1998) 1633-1648
3. Chaouiya C., Remy E., Mossé B., and Thieffry D. Qualitative analysis of regulatory graphs: A computational tool based on a discrete formal framework. LNCIS 294 (2003) 119-126
4. Chaouiya C., Remy E., Ruet P., and Thieffry D. Qualitative modelling of genetic networks: From logical regulatory graphs to standard Petri nets. LNCS 3099 (2004) 137-156
5. Chaouiya C., Remy E., and Thieffry D. Qualitative Petri net modelling of genetic networks. Transactions on Computational Systems Biology VI. LNCS 4220 (2006) 95-112
6. de Jong H. Modeling and simulation of genetic regulatory systems: A literature review. J. Comput. Biol. 9 (2002) 67-103
7. Glass L., and Kauffman S.A. The logical analysis of continuous, non-linear biochemical control networks. J. Theor. Biol. 39 (1973) 103-129
8. Goss P.J.E., and Peccoud J. Quantitative modeling of stochastic systems in molecular biology by using stochastic Petri nets. Proc. Nat. Acad. Sci. USA 95 (1998) 6750-6755
9. Hardy S., and Robillard P.N. Modeling and simulation of molecular biology systems using Petri nets: Modeling goals of various approaches. J. Bioinform. Comput. Biol. 2 4 (2004) 595-613
10. Heiner M., and Koch I. Petri net based model validation in systems biology. LNCS 3099 (2004) 216-237
11. Hofestädt R., and Thelen S. Quantitative modeling of biochemical networks. In Silico Biol. 1 (1998) 39-53
12. Fauré A.N., Chaouiya C., and Thieffy D. Dynamical analysis of a generic Boolean model for the control of the mammalian cell cycle. Bioinformatics 22 14 (2006) 124-131
13. Gonzalez A.G., Sánchez L., Thieffry D., and Chaouiya C. GINsim: A software suite for the qualitative modelling, simulation and analysis of regulatory networks. BioSystems 84 (2006) 91-100
14. Marsan M.A., Balbo G., Conte G., Donatelli S., and Franceschinis G. Modelling with Generalized Stochastic Petri Nets (1995), Wiley
15. H. Matsuno, A. Doi, M. Nagasaki, S. Miyano, Hybrid Petri net representation of gene regulatory networks, in: Proc. Pac. Symp. Biocomput., 2000, pp. 341-352
16. Matsuno H., Tanaka Y., Aoshima H., Doi A., Matsui M., and Miyano S. Biopathways representation and simulation on hybrid functional Petri net. In Silico Biol. 3 (2003) 389-404
17. Murata T. Petri nets: Properties, analysis and applications. Proc. IEEE 77 (1989) 541-580
18. Ptashne M. A Genetic Switch: Phage Lambda Revisited. third ed. (2004), Cold Spring Harbor Laboratory Press
19. Reddy V.N., Liebman M.N., and Mavrovouniotis M.L. Qualitative analysis of biochemical reaction systems. Comput. Biol. Med. 26 (1996) 9-24
20. Reinitz J., and Vaisnys J.R. Theoretical and experimental analysis of the phage lambda genetic switch implies missing levels of co-operativity. J. Theor. Biol. 145 (1990) 295-318
21. Remy E., Ruet P., Mendoza L., Thieffry D., and Chaouiya C. From logical regulatory graphs to standard Petri nets: Dynamical roles and functionality of feedback circuits. Transactions on Computation Systems Biology VII. LNCS 4230 (2006) 55-72
22. Sackmann A., Heiner M., and Koch I. Application of Petri net based analysis techniques to signal transduction pathways. BMC Bioinformatics 7 (2006) 482
23. Simão E., Remy E., Thieffry D., and Chaouiya C. Qualitative modelling of regulated metabolic pathways: Application to the tryptophan biosynthesis in E. Coli. Bioinformatics 21 (2006) 190-196
24. Starke P.H. INA-The Integrated Net Analyzer, Humboldt University Berlin (2003). http://www2.informatik.hu-berlin.de/~starke/ina.html
25. Thomas R. Boolean formalization of genetic control circuits. J. Theor. Biol. 42 (1973) 563-585
26. Steggles L.J., Banks R., Shaw O., and Wipat A. Qualitatively modelling and analysing genetic regulatory networks: A Petri net approach. Bioinformatics 23 (2007) 336-343
27. Thomas R., Thieffry D., and Kaufman M. Dynamical behaviour of biological regulatory networks-I. Biological role of feedback loops and practical use of the concept of the loop-characteristic state. Bull. Math. Biol. 57 (1995) 247-276
28. Thieffry D., and Thomas R. Dynamical behaviour of biological regulatory networks-II. Immunity control in bacteriophage lambda. Bull. Math. Biol. 57 (1995) 277-295
29. Zevedei-Oancea I., and Schuster S. Topological analysis of metabolic networks based on Petri net theory. In Silico Biol. 3 (2003) 0029