Modelling and analysing genetic networks: From Boolean networks to Petri nets

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

Volumn 4210 LNBI, Issue , 2006, Pages 127-141

  Steggles, L J ^a   Banks, Richard ^a   Wipat, Anil ^a  

^a NEWCASTLE UNIVERSITY   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

BINARY CODES; BOOLEAN FUNCTIONS; COMPUTER SIMULATION; ESCHERICHIA COLI; FORMAL LOGIC; PETRI NETS;

BOOLEAN NETWORKS; GENETIC REGULATORY NETWORKS; NUTRITIONAL STRESS; PETRI NET MODELS;

GENES;

EID: 33845222941     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/11885191_9     Document Type: Conference Paper

References (29)

1. T. Akutsu, S. Miyano and S. Kuhara. Identification of genetic networks from small number of gene expression patterns under the Boolean network model. Proceedings of Pacific Symp. on Biocomputing, 4:17-28, 1999.
2. G. Batt, D. Ropers, H. de Jong, J. Geiselmann, R. Mateescu, M. Page and D. Schneider. Validation of qualitative models of genetic regulatory networks by model checking: analysis of the nutritional stress response in Escherichia coli. Bioinformatics, 21:i19-i28, 2005.
3. J. M. Bower and H. Bolouri. Computational Modelling of Genetic and Biochemical Networks. MIT Press, 2001.
4. K. J. Breeding. Digital Design Fundamentals. Prentice Hall, 1992.
5. C. Chaouiya, E. Remy, P. Ruet, and D. Thieffry. Qualitative modelling of genetic networks: From logical regulatory graphs to standard Petri nets. In: J. Cortadella and W. Reisig (Eds), Proc. of the Int. Conf. on the Application and Theory of Petri Nets, Lecture Notes in Computer Science 3099, pages 137-156, Springer-Verlag, 2004.
6. J.-P. Comet, H. Klaudel and S. Liauzu. Modeling Multi-valued Genetic Regulatory Networks Using High-Level Petri Nets. In: G. Ciardo and P. Darondeau (eds), Proc. of the Int. Conf. on the Application and Theory of Petri Nets, Lecture Notes in Computer Science 3536, pages 208-227, Springer-Verlag, 2005.
7. J. Esparza. Model checking using net unfoldings. Science of Computer Programming, 23(2-3):151-195, 1994.
8. C. Gershenson. Classification of random boolean networks. In: R. K. Standish et al (eds), Proc. of the 8th Int. Conf. on Artificial Life, p.1-8, MIT Press, 2002.
9. P. J. E. Goss and J. Peccoud. Quantitative modelling of stochastic systems in molecular biology by using stochastic Petri nets. Proceedings of the National Academy of Sciences of the United States of America, 95(12):6750-6755, 1998.
10. P. Grossman. Discrete Mathematics for Computing. Palgrave MacMillan, Second Edition, 2002.
11. M. Heiner, I. Koch, and K. Voss. Analysis and simulation of steady states in metabolic pathways with Petri nets. In K. Jensen (ed), Workshop and Tutorial on Practical Use of Coloured Petri Nets and the CPN Tools (CPN'01), pages 15-34, Aarhus University, 2001.
12. M. Heiner, I. Koch, and J. Will. Model validation of biological pathways using Petri nets - demonstrated for apoptosis. Biosystems, 75(1-3):15-28, 2004.
13. R. Hengge-Aronis. The general stress response in Escherichia coli. In: G. Storz and R. Hengge-Aronis (eds), Bacterial Stress Responses, pages 161-178, ASM Press, 2000.
14. S. Huang. Gene expression profiling, genetic networks, and cellular states: an integrating concept for tumorigenesis and drug discovery. Journal of Molecular Medicine, Vol. 77:469-480, 1999.
15. V. Khomenko. Model Checking Based on Prefixes of Petri Net Unfoldings. Ph. D. Thesis, School of Computing Science, University of Newcastle upon Tyne, 2003.
16. B. Luque and F. J. Ballesteros. Random Walk Networks. Physica A: Statistical Mechanics and its Applications, 342(1-2):207-213, 2004.
17. H. Matsuno, A. Doi, M. Nagasaki, and S. Miyano. Hybrid Petri net representation of gene regulatory network. Pacific Symposium on Biocomputing, 5:338-349, 2000.
18. T. Murata. Petri nets: properties, analysis and applications. Proceedings of the IEEE, 77(4):541-580, 1989.
19. V. N. Reddy, M. N. Liebman, M. L. Mavrovouniotis. Qualitative analysis of biochemical reaction systems. Computers in Biology and Medicine, 26(1):9-24, 1996.
20. D. Ropers, H. de Jong, M. Page, D. Schneider, and J. Geiselmann. Qualitative Simulation of the Nutritional Stress Response in Escherichia coli. INRIA, Rapport de Reacherche no. 5412, December 2004.
21. W. Reisig. Petri Nets, An Introduction. EATCS Monographs on Theoretical Computer Science, W.Brauer et al (Eds.), Springer-Verlag, Berlin, 1985.
22. W. Reisig and G. Rozenberg. Lectures on Petri Nets I: Basic Models. Advances in Petri Nets, Lecture Notes in Computer Science 1491, Springer-Verlag, 1998.
23. O. J. Shaw, C. Harwood, A. Wipat, and L. J. Steggles. SARGE: A tool for creation of putative genetic networks. Bioinformatics, 20(18):3638-3640, 2004.
24. O. J. Shaw, L. J. Steggles, and A. Wipat. Automatic Parameterisation of Stochastic Petri Net Models of Biological Networks. Electronic Notes in Theoretical Computing Science, 151(3):111-129, June 2006.
25. E. Simão, E. Remy, D. Thieffry, C. Chaouiya. Qualitative Modelling of Regulated Metabolic Pathways: Application to the Tryptophan Biosynthesis in E. Coli. Bioinformatics 21:190-196, 2005.
26. P. T. Spellman, G. Sherlock, M. Q. Zhang, V. R. Iyer, K. Anders, M. B. Eisen, P. O. Brown, D. Botstein, and B. Futcher. Comprehensive identification of cell cycle-regulated genes of the yeast Saccharomyces cerevisiae by microarray hybridization. Molecular Biology of the Cell, 9(12):3273-3297, 1998.
27. Z. Szallasi and S. Liang. Modeling the Normal and Neoplastic Cell Cycle with "Realistic Boolean Genetic Networks": Their Application for Understanding Carcinogenesis and Assessing Therapeutic Strategies. Pacific Symposium on Biocomputing Vol. 3: 66-76, 1998.
28. Petri nets World, http://www.informatik.uni-hamburg.de/TGI/PetriNets/, 2006.
29. PEP Home Page, http://parsys.informatik.uni-oldenburg.de/~pep/, 2006.