Modeling of the U1 snRNP assembly pathway in alternative splicing in human cells using Petri nets

Computational Biology and Chemistry

Volumn 33, Issue 1, 2009, Pages 46-61

  Kielbassa, J ^a   Bortfeldt, R ^a   Schuster, S ^a   Koch, I ^b  

^a FRIEDRICH SCHILLER UNIVERSITY JENA   (Germany)

^b TECHNICAL UNIVERSITY OF APPLIED SCIENCES WILDAU   (Germany)

Author keywords

Alternative splicing; MCT set; P invariants; Petri net; Regulatory networks; T invariants; U1 snRNP assembly pathway

Indexed keywords

ABSTRACTING; ANIMAL CELL CULTURE; BIOCHEMISTRY; DIGITAL SIGNAL PROCESSING; GRAPH THEORY; MARINE BIOLOGY; METROPOLITAN AREA NETWORKS; MOLECULAR BIOLOGY; NUCLEIC ACIDS; PETRI NETS; RNA;

ALTERNATIVE SPLICING; MCT-SET; P-INVARIANTS; PETRI NET; REGULATORY NETWORKS; T-INVARIANTS; U1 SNRNP ASSEMBLY PATHWAY;

MATHEMATICAL MODELS;

MESSENGER RNA; SMALL NUCLEAR RIBONUCLEOPROTEIN;

ALTERNATIVE RNA SPLICING; ARTICLE; CHEMISTRY; COMPUTER PROGRAM; GENETICS; HUMAN; METABOLISM; THEORETICAL MODEL;

ALTERNATIVE SPLICING; HUMANS; MODELS, THEORETICAL; RIBONUCLEOPROTEIN, U1 SMALL NUCLEAR; RNA, MESSENGER; SOFTWARE;

EID: 57849130707     PISSN: 14769271     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.compbiolchem.2008.07.022     Document Type: Article

References (51)

1. Barabasi A.-L., and Oltvai Z.N. Network biology: understanding the cell's functional organization. Nat. Rev. Genet. 5 2 (2004) 101-113
2. Brow A.D. Allosteric cascade of spliceosome activation. Annu. Rev. Genet. 36 (2002) 333-360
3. Cole C.N., and Hammell C.M. Nucleocytoplasmic transport: driving and directing transport. Curr. Biol. 8 (1998) 368-372
4. Edelstein-Keshet L. Mathematical Models in Biology (2005), SIAM, Philadelphia
5. Gillespie D.T. Exact stochastic simulation of coupled chemical reactions. J. Phys. Chem. 81 25 (1977) 2340-2361
6. Goss P.J.E., and Peccoud J. Analysis of the stabilizing effect of Rom on the genetic network controlling ColE1 plasmid replication. Pac. Symp. Biocomput. 4 (1999) 65-76
7. Grimmler M., Bauer L., Nousiainen M., Körner R., Meister G., and Fischer U. Phosphorylation regulates the activity of the SMN complex during assembly of spliceosomal U snRNPs. EMBO Rep. 6 1 (2005) 70-76
8. Grunwald S., Speer A., Ackermann J., and Koch I. Petri net modelling of gene regulation of the Duchenne muscular dystrophy. BioSystems 92 (2008) 189-205
9. Heiner, M., Koch, I., 2004. Petri net based model validation in systems biology. In: Proceedings of the 25th International Conference on Applications and Theory of Petri Nets, Bologna, LCNS 3099, 216-37.
10. Hoelz A., and Blobel G. Popping out of the nucleus. Nature 432 (2004) 815-816
11. Hofestädt R. A Petri net application to model metabolic processes. Syst. Anal. Mod. Sim. 16 (1994) 113-122
12. International Human Genome Sequencing Consortium, 2004. Finishing the euchromatic sequence of the human genome. Nature 431, 931-945.
13. Johnson J.M., Castle J., Garret-Engele K., Kan Z., Loerch P.M., Armour C.D., Santos R., Schadt E.E., Stoughton R., and Shoemaker D.D. Genome-wide survey of human alternative pre-mRNA splicing with exon junction microarrays. Science 302 (2003) 2141-2144
14. Jurica M.S., and Moore M.J. Pre-mRNA splicing: awash in a sea of proteins. Mol. Cell 12 (2003) 5-14
15. Koch I., Junker B.H., and Heiner M. Application of Petri net theory for modelling and validation of the sucrose breakdown pathway in the potato tuber. Bioinformatics 21 7 (2005) 1219-26
16. Koch, I., Heiner, M., 2008. Petri nets in analysis of biological network. In: B.H. Junker, F. Schreiber (Eds.) (Series Eds. Yi Pan, Albert Y. Zomaya), Wiley Book Series in Bioinformatics. pp. 139-180 (Chapter 7).
17. Krämer A., Grüter P., Gröning K., and Kastner B. Combined biochemical and electron microscopic analyses reveal the architecture of the mammalian U2 snRNP. J. Cell Biol. 145 7 (1999) 1355-1368
18. Larhlimi, A., Bockmayr, A., 2006. A new approach to flux coupling analysis of metabolic networks. In: Proceedings of the Computational Life Sciences II, CompLife'06, Cambridge, UK.
19. Lautenbach, K., 1973. Exact liveness conditions of a Petri net class (in German). GMD Report 82, Bonn.
20. Matsuno H., Doi A., Nagasaki M., and Miyano S. Hybrid Petri net representation of gene regulatory network. Proc. Pacific Symp. Biocomput. 5 (2000) 338-349
21. Meister G., and Fischer U. Assisted RNP assembly: SMN and PRMT5 complexes cooperate in the formation of the spliceosomal UsnRNPs. EMBO J. 21 (2002) 5853-5863
22. Modrek B., and Lee C. A genomic view of alternative splicing. Nat. Genet. 30 (2002) 13-19
23. Narayanan U., Ospina J.K., Frey M.R., Hebert M.D., and Matera A.G. SMN, the spinal muscular atrophy protein, forms a pre-import snRNP complex with snurportin1 and importin beta. Hum. Mol. Genet. 11 15 (2002) 1785-1795
24. Ohno M., Segref A., Bachi A., Wilm M., and Mattaj I.W. PHAX, a mediator of U snRNA nuclear export whose activity is regulated by phosphorylation. Cell 101 (2000) 187-198
25. Pennisi E. A low number wins the GeneSweep pool. Science 300 (2003) 1484
26. Petri, C.A., 1976. Interpretations of net theory. Internal Report 75-07, GMD, December.
27. Pfeiffer T., Sánchez-Valdenebro I., Nuno J.C., Montero F., and Schuster S. METATOOL: for studying metabolic networks. Bioinformatics 15 (1999) 251-257
28. Popova-Zeugmann L., Heiner M., and Koch I. Modelling and analysis of biochemical networks with time Petri nets. Fundam. Inform. 67 (2005) 149-163
29. Raker V.A., Plessel G., and Lührmann R. The snRNP core assembly pathway: identification of stable core protein heteromeric complexes and an snRNP subcore particle in vitro. EMBO J. 15 9 (1996) 2256-2269
30. Reddy V.N., Mavrovouniotis M.L., and Liebman M.N. Petri net representation in metabolic pathways. Proc. Int. Conf. Intell. Syst. Mol. Biol. 1 (1993) 328-336
31. Reddy V.N., Liebmann M.N., and Mavrovouniotis M.L. Qualitative analysis of biochemical reaction systems. Comput. Biol. Med. 26 (1996) 9-24
32. Rino J., Carvalho T., Braga J., Desterro J.M.P., Lührmann R., and Carmo-Fonseca M. PLoS Comput. Biol. 3 10 (2008) 2019-2031
33. Sackmann A., Heiner M., and Koch I. Application of Petri net based analysis techniques to signal transduction pathways. BMC Bioinform. 4 (2006) 482 doi:10.1186/1471-2105-7-482
34. Schilling C.H., Letscher D., and Palsson B.O. Theory for the systemic definition of metabolic pathways and their use in interpreting metabolic function from a pathway oriented perspective. J. Theor. Biol. 203 (2000) 229-248
35. Schuster S., and Hilgetag C. On elementary flux modes in biochemical reaction systems at steady state. J. Biol. Syst. 2 (1994) 165-182
36. Schuster S., and Fell D.A. Modelling and simulating metabolic networks. In: Lengauer T. (Ed). Bioinformatics: From Genomes to Therapies, vol. 2 (2007), Wiley-VCH, Weinheim 755-805
37. Schuster S., Pfeiffer T., Moldenhauer F., Koch I., and Dandekar T. Exploring the pathway structure of metabolism: decomposition into subnetworks and application to Mycoplasma pneumoniae. Bioinformatics 18 2 (2002) 352-361
38. Schuster S., Klamt S., Weckwerth W., Moldenhauer F., and Pfeiffer T. Use of network analysis of metabolic systems in bioengineering. Bioproc. Biosyst. Eng. 24 (2002) 363-372
39. Schwender J., Goffman F., Ohlrogge J.B., and Shachar-Hill Y. Rubisco without the Calvin cycle improves the carbon efficiency of developing green seeds. Nature 432 (2004) 779-782
40. Shen H., and Green M.R. A pathway of sequential arginine-serine-rich domain-splicing signal interactions during mammalian spliceosome assembly. Mol. Cell 16 3 (2004) 363-373
41. Snoopy, 1999. Snoopy-a Petri net Editor and Simulator. Brandenburg University of Technology at Cottbus. http://www-dssz.informatik.tu-cottbus.de/wwwdssz.
42. Staley J.P., and Guthrie C. Mechanical devices of the spliceosome: motors, clocks, springs, and things. Cell 92 (1998) 315-326
43. Starke, P.H., 1990. Analysis of Petri Net Models (in German). Teubner-Verlag, Stuttgart.
44. Starke, P.H., Roch, S., 1999. INA-the Integrated Net Analyzer. Humboldt University, Berlin. http://www2.informatik.hu-berlin.de/starke/ina.html.
45. Stroem A.-C., and Weis K. Importin-beta-like nuclear transport receptors. Genome Biol. 2 6 (2001) 3008.1-30089.30089
46. TInaNet-T-Invariant analysis of Nets, publication in preparation. Technical University of Applied Sciences Berlin.
47. Voss K., Heiner M., and Koch I. Steady state analysis of metabolic pathways using Petri nets. In Silico Biol. 3 3 (2003) 367-387
48. Will C.L., and Lührmann R. Spliceosomal UsnRNP biogenesis, structure and function. Curr. Biol. 13 (2001) 290-301
49. Will C.L., Urlaub H., Achsel T., Gentzel M., Wilm M., and Lührmann R. Characterization of novel SF3b and 17S U2 snRNP proteins, including a human Prp5p homologue and an SF3b DEAD-box protein. EMBO J. 21 18 (2002) 4978-4988
50. Zevedei-Oancea I., and Schuster S. Topological analysis of metabolic networks based on Petri net theory. In Silico Biol. 3 (2003) 323-345
51. Zevedei-Oancea I., and Schuster S. A theoretical framework for detecting signal transfer routes in signalling networks. Comput. Chem. Eng. 29 (2005) 597-617