Marked regulatory graphs: A formal framework to simulate biological regulatory networks with simple automata

Proceedings of the International Workshop on Rapid System Prototyping

Volumn 2003-January, Issue , 2003, Pages 93-99

  Bassano, V ^a   Bernot, G ^a  

^a UNIVERSITÉ D EVRY VAL D ESSONNE   (France)

Author keywords

Automata; Bioinformatics; Biological system modeling; Complex networks; Computational biology; Genomics; Large scale systems; Software prototyping; Throughput; Virtual prototyping

Indexed keywords

AUTOMATA THEORY; BIOINFORMATICS; BIOLOGICAL SYSTEMS; COMPLEX NETWORKS; LARGE SCALE SYSTEMS; SEMANTICS; THROUGHPUT; VIRTUAL PROTOTYPING;

AUTOMATA; BIOLOGICAL REGULATORY NETWORKS; BIOLOGICAL SYSTEM MODELING; COMPUTATIONAL BIOLOGY; EXPERIMENTAL BIOLOGY; GENOMICS; LARGE-SCALE NETWORK; SOFTWARE ENVIRONMENTS;

SOFTWARE PROTOTYPING;

EID: 84889996510     PISSN: 10746005     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/IWRSP.2003.1207035     Document Type: Conference Paper

References (16)

1. V. Bassano, G. Bernot, and D. Thieffry. Marked Regulatory Graphs : A formal framework for biological regulatory networks. Interdisciplinary school on Imaging, modelling and manipulating regulatory networks. France, Octobre 2002.
2. V. Bassano, G. Bernot, and D. Thieffry. Marked Regulatory Graphs. Graphes de régulation avec marquages, vers un modèle formel informatique des réseaux de régulation biologiques. JOBIM2002, St-Malo, France, Jul 2002.
3. H. de Jong. Modeling and simulation of genetic regulatory systems: A literature review. J Comp Biol, 9:69-105, 2001.
4. P. Goss and J. Peccoud. Quantitative modeling of stochastic systems in molecular biology by using stochastic petri nets. In Proceedings of the National Academy of Sciences USA, volume 95, pages 6750-6754, 1998.
5. J. Guespin-Michel. Epigenesis, multisationarity and positive feedback circuits. In Modelling and simulation of biological process in the context of genomics, page 193. Proceeding of the Autrans Seminar, 2002.
6. N. Kam, I. Cohen, and D. Harel. The immune system as a reactive system: Modeling t cell activation with statecharts. In Proc. Visual Langages and Formal Methods(VLFM01), pages 15-21.
7. R. Kuffner, Rand Zimmer and T. Lengauer. Pathway analysis in metabolic databases via differential metabolic display (dmd). Bioinformatics, 16:825-836, 2000.
8. H. Matsuno, A. Doi, and S. Miyano. Hybrid petri net representation of gene regulatory network. In Proceedings of the Pacific Symposium on Biocomputing'2000, pages 341-352, 2000.
9. S. Pérès and J. Comet. Contribution of computational tree logic to biological regulatory networks: Example from pseudomonas aeruginosa. In Internatinal workshop on Computational Methods in System Biology, February 2003.
10. V. Reddy, M. Liebman, and M. Mavrovouniotis. Qualitative analysis of biochemical reaction systems. Comput Biol Med., 26:9-24, 1996.
11. S. Shen-Orr, R. Milo, S. Mangan, and U. Alon. Network motif in the transcriptional regulation network of escheria coli. Nat. Genet., 31(1), 2002.
12. P. Smolen, D. Baxter, and J. Byrne. Modeling transcriptional control in gene networks - methods, recent results, and future directions. Bull Math Biol, 62:247-292, 2000.
13. E. Snoussy. Qualitative dynamics of a piecewise-linear differential equations : a discrete mapping approach. 1988.
14. R. Thomas. Regulatory networks seen as asynchronous automata : A logical description. J. theor. Biol., 153, 1991.
15. R. Thomas and R. d'Ari. Biological Feedback. CRC Press, 1990.
16. R. Thomas, D. Thieffry, and M. Kaufman. Dynamical behaviours of regulatory networks - I. biological role of feedback loops and pratical use of the concept of feedback loop. Bulletin of Mathematical Biology, 57(2):247-276, 1995.