Qualitative Petri Net modelling of genetic networks

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 4220 LNBI, Issue , 2006, Pages 95-112

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

^a AIX MARSEILLE UNIVERSITÉ   (France)

^b AIX MARSEILLE UNIVERSITÉ   (France)

Author keywords

[No Author keywords available]

Indexed keywords

CONFORMAL MAPPING; FORMAL LOGIC; GENETIC ENGINEERING; MATHEMATICAL MODELS;

COLOURED REGULATORY PETRI NETS (CRPN); GRAPHICAL REPRESENTATION;

PETRI NETS;

EID: 34548350448     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/11880646_5     Document Type: Conference Paper

References (25)

1. Bryant, R.: Graph-Based Algorithms for Boolean Function Manipulation. IEEE Transactions on Computers, C-35 (1986): 677-691.
2. Chaouiya, C., Remy, E., Mossé, B., Thieffry, D.: Qualitative analysis of regulatory graphs: a computational tool based on a discrete formal framework. LNCIS, 294 (2003): 119-126.
3. Chaouiya, C., Remy, E., Ruet, P., Thieffry, D.: Qualitative Modelling of Genetic Networks: From Logical Regulatory Graphs to Standard Petri Nets. LNCS, 3099 (2004): 137-156.
4. Chaouiya, C., Remy, E., Thieffry, D.: Petri Net Modelling of Biological Regulatory Networks. Proc. of CompBioNets'04, KCL publications, London, 2004.
5. Comet, J.-P., Klaudel, H., Liauzu, S.: Modeling Multi-valued Genetic Regulatory Networks Using High-Level Petri Nets. LNCS 3536 (2005): 208-227.
6. de Jong, H.: Modeling and Simulation of Genetic Regulatory Systems: A Literature Review. J. Comput. Biol. 9 (2002): 67-103.
7. Devloo, V., Hansen, P., Labbe M.: Identification of all steady states in large networks by logical analysis. Bull. Math. Biol. 65 (2003): 1025-1051.
8. Glass, L., Kauffman, S.A.: The logical analysis of continuous, non-linear biochemical control networks. J. theor. Biol. 39 (1973): 103-129.
9. Gonzalez, A.G., Naldi A., Sánchez, L., Thieffry, D., Chaouiya, C.: GINsim: a software suite for the qualitative modelling, simulation and analysis of regulatory networks. Biosystems 84-2 (2006): 91-100.
10. Goss, P.J.E., Peccoud, J.: Quantitative modeling of stochastic systems in molecular biology by using stochastic Petri nets, Proc. Nat. Acad. Sci. USA. 95 (1998): 6750-6755.
11. Hardy, S., Robillard, P. N.: Modeling and simulation of molecular biology systems using petri nets: modeling goals of various approaches. J. Bioinform. Comput. Biol. 2 (2004): 595-613.
12. Heiner, M., Koch, I.: Petri Net Based Model Validation in Systems Biology. LNCS, 3099 (2004): 216-237.
13. Hofestädt, R., Thelen, S.: Quantitative Modeling of Biochemical Networks. In Silico Biol. 1 (1998): 39-53.
14. Jensen, K.: An introduction to the theoretical aspects of coloured Petri nets. LNCS 803 (1993): 230-272.
15. Matsuno, H., Doi, A., Nagasaki, M., Miyano, S.: Hybrid Petri net representation of gene regulatory networks. Proc. Pac, Symp. Biocomput. (2000): 341-352.
16. Mendoza, L.: A network model for the control of the differentiation process in Th cells. Biosystems 84-2 (2006): 101-14.
17. Murata, T.: Petri Nets: Properties, Analysis and Applications. Proc. IEEE 77 (1989): 541-580.
18. Reddy, V.N., Liebman, M.N., Mavrovouniotis, M.L.: Qualitative analysis of biochemical reaction systems. Comput. Biol. Med. 26 (1996): 9-24.
19. 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. Proceedings of BioConcur 2004, London, England, 2004.
20. Simao, E., Remy, E., Thieffry, D. and Chaouiya C.: Qualitative Modelling of Regulated Metabolic Pathways: Application to the Tryptophan Biosynthesis in E. Coli. Bioinformatics 21 (2005): ii190-196.
21. Thomas, R.: Regulatory networks seen as asynchronous automata: a logical description, J. theor. Biol. 153 (1991): 1-23.
22. Thomas, R., Thieffry, D., 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.
23. Zevedei-Oancea, I., Schuster, S.: Topological analysis of metabolic networks based on Petri net theory. In Silico Biol. 3 (2003): 0029.
24. INA: Integrated Net Analyzer URL: http://www.informatik.hu-berlin.de/ lehrstuehle/automaten/ina/.
25. GINsim (Gene Interaction Network simulation) URL: http://gin.univ-mrs.fr/ GINsim.