Qualitative modelling of biological regulatory networks combining a logical multi-valued formalism and petri nets

Proceedings - 9th International Workshop on Discrete Event Systems, WODES' 08

Volumn , Issue , 2008, Pages 263-268

  Chaouiya, Claudine ^a  

^a Aix Marseille university   (France)

Author keywords

[No Author keywords available]

Indexed keywords

MARINE BIOLOGY; NETWORK PROTOCOLS; PETRI NETS; SENSOR NETWORKS; TECHNICAL PRESENTATIONS;

ANALYSIS TOOLS; BIOLOGICAL REGULATORY NETWORKS; CELLULAR PROCESSES; DISCRETE EVENT SYSTEMS; DISCRETE PETRI NETS; LOGICAL FORMALISM; MOLECULAR COMPONENTS; QUALITATIVE MODELLING; REGULATORY NETWORKS; SYSTEMS BIOLOGY;

GRAPH THEORY;

EID: 53149087819     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/WODES.2008.4605957     Document Type: Conference Paper

References (28)

1. H. de Jong, "Modeling and simulation of genetic regulatory systems: a literature review," J. Comput Biol., vol. 1, no. 9, pp. 67-103, 2002.
2. T. Schlitt and A. Brazma, "Current approaches to gene regulatory network modelling." BMC Bioinformatics, vol. 8, 2007.
3. R. Thomas, D. Thieffry, and M. Kaufman, "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., vol. 57, pp. 247-76, 1995.
4. L. Mendoza, D. Thieffry, and E. Alvarez-Buylla, "Genetic control of flower morphogenesis in arabidopsis thaliana: a logical analysis." Bioinformatics., vol. 15, no. 7-8, pp. 593-606, 1999.
5. L. Sánchez and D. Thieffry, "A logical analysis of the drosophila gap-gene system," J. Theor. Biol., vol. 211, no. 2, pp. 115-41, 2001.
6. -, "Segmenting the fly embryo: a logical analysis of the pair-rule cross-regulatory module," J. Theor. Biol., vol. 224. no. 4, pp. 517-37, 2003.
7. L. Sánchez, C. Chaouiya, and D. Thieffry, "Segmenting the fly embryo: a logical analysis of the segment polarity cross-regulatory module." Int. J. Dev. Biol., in press, 2008.
8. L. Mendoza, "A network model for the control of the differentiation process in Th cells." Biosystems, vol. 84, no. 2, pp. 101-14, 2006.
9. A. Fauré, A. Naldi, C. Chaouiya, and D. Thieffry, "Dynamical analysis of a generic boolean model for the control of the mammalian cell cycle," Bioinformatics, vol. 22, no. 14, pp. 124-31, 2006.
10. T. Murata, "Petri nets: Properties, analysis and applications." in Proc. of the IEEE, vol. 77, no 4, pp. 541-80, 1989.
11. C. Chaouiya, "Petri net modelling of biological networks," Brief In Bioinfo, vol. 8, pp. 210-19, 2007.
12. S. Hardy and P. Robillard, "Modeling and simulation of molecular biology using petri nets: modeling goals of various approaches," J of Bioinfo and Comp Biol, vol. 2, no. 4, pp. 619-37, 2004.
13. C. Chaouiya, E. Remy, B. Mossé, and D. Thieffry, "Qualitative analysis of regulatory graphs: a computational tool based on a discrete formal framework," LNCIS, vol. 294, pp. 119-26, 2003.
14. A. Naldi, D. Thieffry, and C. Chaouiya, "Decision diagrams for the representation of logical models of regulatory networks," LNBI, vol. 4695, 2007, pp. 233-17.
15. R. Thomas, "On the relation between the logical structure of systems and their ability to generate multiple steady states and sustained oscillations," Ser. Synergetics, vol. 9, pp. 180-93, 1981.
16. D. Thieffry, "Dynamical roles of biological regulatory circuits." Brief Bioinform., vol. 8, no. 4, pp. 220-25, 2007.
17. A. González, A. Naldi, L. Sanchez, D. Thieffry, and C. Chaouiya, "Ginsim: A software suite for the qualitative modelling, simulation and analysis of regulatory networks." Biosystems, vol. 84, no. 2, pp. 91-100, 2006.
18. V. Reddy, M. Liebman, and M. Mavrovouniotis, "Qualitative analysis of biochemical reaction systems," Comput Biol Med., vol. 26, no. 1, pp. 9-24, 1996.
19. C. Chaouiya, E. Remy, P. Ruet, and D. Thieffry, "Qualitative modelling of genetic networks: From logical regulatory graphs to standard petri nets." LNCS, vol. 3099, pp. 137-56, 2004.
20. C. Chaouiya, E. Remy, and D. Thieffry, "Qualitative petri net modelling of genetic networks," TCSB, no. 4220, pp. 95-112, 2006.
21. J. Billington, S. Christensen, K. van Hee, E. Kindler, O. Kummer, L. Petrucci, R. Post, C. Stehno, and M. Weber, "The petri net markup language: Concepts, technology and tools." LNCS vol. 2679, pp. 483-505, 2003.
22. C. Chaouiya, E. Remy, and D. Thieffry, "Petri net modelling of biological regulatory networks," J of Discr Alg, in press.
23. J. Comet, H. Klaudel, and S. Liauzu, "Modeling multi-valued genetic regulatory networks using high-level petri nets," LNCS vol. 3536, pp. 208-27, 2005.
24. F. Bruggeman and H. Westerhoff, "The nature of systems biology," Trends Microbiol., vol. 15, no. 1, pp. 45-50, 2007.
25. A. Anderson and V. Quaranta, "Integrative mathematical oncology." Nat Rev Cancer., vol. 8, no. 3, pp. 227-34, 2008.
26. E. Simão, E. Remy, D. Thieffry, and C. Chaouiya, "Qualitative modelling of regulated metabolic pathways: application to the tryptophan biosynthesis in e.coli," Bioinformatics, vol. 21, no. 21 Suppl 2, pp. 190-6, 2005.
27. A. González, C. Chaouiya, and D. Thieffry, "Dynamical analysis of the regulatory network defining the dorsal-ventral boundary of the drosophila wing imaginal disk." Genetics, vol. 174, pp. 1625-34, 2006.
28. E. Remy, B. Mossé, C. Chaouiya, and D. Thieffry, "A description of dynamical graphs associated to elementary regulatory circuits," Bioinformatics, vol. 19, no. 2, pp. ii172-ii178, 2003.