Petri nets and GRN models

Handbook of Research on Computational Methodologies in Gene Regulatory Networks

Volumn , Issue , 2009, Pages 604-637

  Koch, Ina ^a,b  

^a TECHNISCHE UNIVERSITÄT BERLIN   (Germany)

^b MAX PLANCK INSTITUTE FOR MOLECULAR GENETICS   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 84885938752     PISSN: None     EISSN: None     Source Type: Book    
DOI: 10.4018/978-1-60566-685-3.ch025     Document Type: Chapter

References (75)

1. Alla, H., & David, R. (1998). Continuous and hybrid Petri nets. Journal of Circuits, Systems, and Computers, 8(1), 159-188. doi:10.1142/S0218126698000079
2. th ed.). Berlin: Springer-Verlag.
3. nd ed.). Heidelberg, Berlin, Oxford: Spektrum Akademischer Verlag GmbH.
4. Bause, F., & Kritzinger, P. (1996). Stochastic Petri nets: An introduction to the theory. Vieweg-Verlag.
5. Billington, J., Diaz, M., & Rozenberg, G. (Eds.). (1999). Application of Petri nets to communication networks (Vol. 1605). Berlin: Springer-Verlag.
6. Chaouiya, C. (2007). Petri net modelling of biological networks. Briefings in Bioinformatics, 8(4), 210-219. doi:10.1093/bib/bbm029
7. Chen, M., & Hofestädt, R. (2003). Quantitative Petri net model of gene regulated metabolic networks in the cell. In Silico Biology, 3.
8. David, R., & Alla, H. (2005). Discrete, continous, and hybrid Petri nets. Berlin: Springer-Verlag.
9. Doi, A., Masao Nagasaki, M., Matsuno, H., & Satoru Miyano, S. (2003). Genomic object net II: How to model biopathways with hybrid functional Petri net with extension. Applied Bioinformatics, 2(3), 185-188.
10. Edwards, J. S., P. B. O. (2000). The Escherichia coli MG1655 in silico metabolic genotype: Its definition, characteristics, and capabilities. Proceedings of the National Academy of Sciences of the United States of America, 97(10), 5528-5533. doi:10.1073/pnas.97.10.5528
11. Endesfelder, S., Bucher, S., Kliche, A., Reszka, R., & Speer, A. (2003). Transfection of normal primary human skeletal myoblasts with p21 and p57 antisense oligonucleotides to improve their proliferation: A first step towards an alternative molecular therapy approach of Duchenne muscular dystrophy. Journal of Molecular Medicine, 81, 355-362.
12. Endesfelder, S., Kliche, A., Lochmüller, H., von Moers, A., & Speer, A. (2005).Antisense oligonucleotides and short interfering RNAs silencing the cyclin-dependent kinase inhibitor p21 improve proliferation of Duchenne muscular dystrophy patients' primary skeletal myoblasts. Journal of Molecular Medicine, 83, 64-71. doi:10.1007/s00109-004-0607-3
13. Esparza, J., & Nielsen, M. (1994). Decidabilty issues for Petri nets. Journal of Information Processing and Cybernetics, EIK, 30, 143-160.
14. Genrich, H., Küffner, R., & Voss, K. (2001). Executable Petri net models for the analysis of metabolic pathways. International Journal on Software Tools for Technoloy Transfer, 4, 1-11.
15. Goss, P. J. E., & Peccoud, J. (1998). Quantitative modeling of stochastic systems in moldecular biology by using stochstic Petri nets. Proceedings of the National Academy of Sciences of the United States of America, 95, 6750-6755. doi:10.1073/pnas.95.12.6750
16. Goss, P. J. E., & Peccoud, J. (1999). Analysis of the stabilizing effect of Rom on the genetic network controlling ColE1 plasmid replication. Paper presented at the Pacific Symposium on Biocomputing, Hawaii.
17. Grafahrend-Belau, E. (2006). Classification of T-Invariants in biochemical Petri nets based on different cluster analysis techniques (in German). Technical University of Applied Sciences Berlin, Berlin.
18. Grafahrend-Belau, E., Schreiber, F., Heiner, M., Sackmann, A., Junker, B. H., & Grunwald, S. (2008). Modularization of biochemical networks based on classification of Petri net t-invariants. Journal, 9, 90. doi:10.1186/1471-2105-9-90
19. Grunwald, S., Speer, A., Ackermann, J., & Koch, I. (2008). Petri net modelling of gene regulation of the Duchenne muscular dystrophy. Bio Systems, 92, 189-205. doi:10.1016/j.biosystems.2008.02.005
20. Haas, P. J. (2002). Stochastic Petri nets, modelling, stability, simulation. Berlin: Springer-Verlag.
21. Hack, M. H. T. (1976). Decidability questions for Petri nets. M.I.T.
22. Hardy, S., R. P. N. (2004). J. Bioinform. Comput. Biol.,2(4), 595-613 doi:10.1142/S0219720004000764
23. Hardy, S., & Robillard, P. N. (2004). Modeling and simulation of molecular biology systems using Petri nets: Modeling goals of various approaches. Journal of Bioinformatics and Computational Biology, 2(4), 619-637. doi:10.1142/S0219720004000764
24. th International Conference on Applications and Theory of Petri Nets (ICATPN 04), Bologna.
25. Hofestädt, R. (1994). A Petri net application of metabolic processes. Journal of Systems Analysis. Modelling and Simulation (Anaheim), 16, 113-122.
26. Hofestädt, R., & Thelen, S. (1998). Quantitative modeling of biochemical networks. In Silico Biology, 1(1), 39-53.
27. Hucka, M., Finney, A., Sauro, H. M., Bolouri, H., Doyle, J. C., & Kitano, H. (2003). The systems biology markup language (SBML): A medium for representation and exchange of biochemical network models. Bioinformatics (Oxford, England), 19(4), 524-531. doi:10.1093/bioinformatics/btg015
28. Kielbassa, J., Bortfeldt, R., Schuster, S., & Koch, I. (2008). Modeling of the U1 snRNP assembly pathway in alternative splicing in human cells using Petri nets. Computational Biology and Chemistry.
29. Koch, I. (2008a). Supplementary material to modeling Duchenne muscular dystrophy using Petri nets. Retrieved from http://www.molgen.mpg.de/~koch_i/
30. Koch, I. (2008b). Supplementary material. Retrieved from http://www.molgen.mpg.de/~koch_i/
31. Koch, I., & Heiner, M. (2008). Petri nets in biological network analysis. In B. Junker & F. Schreiber (Eds.), Analysis of biological networks (pp. 139-179). Wiley & Sons.
32. Koch, I., Junker, B., & Heiner, M. (2005). Application of Petri net theory for modelling and validation of the sucrose breakdown pathway in the potato tuber. Bioinformatics (Oxford, England), 21(7), 1219-1226. doi:10.1093/bioinformatics/bti145
33. Larhlimi, A., & Bockmayr, A. (2006). A new approach to flux coupling analysis of metabolic networks. Paper presented at the Computational Life Sciences II, CompLife'06, Cambridge, UK.
34. Lee, D.-Y., Zimmer, R., Lee, D.-Y., Hanisch, D., & Sunwon, P. (2004). Knowledge representation model for systems-level analysis of signal transduction networks. Genome Informatics, 15(2), 234-243.
35. Marwan, W., Sujathab, A., & Starostzik, C. (2005). Reconstructing the regulatory network controlling commitment and sporulation in Physarum polycephalum based on hierarchical Petri net modeling and simulation. Journal of Theoretical Biology, 236, 349-365. doi:10.1016/j.jtbi.2005.03.018
36. Matsuno, H., Doi, A., Nagasaki, M., & Miyano, S. (2000). Hybrid Petri net representation of gene regulatory network. Paper presented at the Pacific Symposium on Biocomputing, Hawaii.
37. Matsuno, H., Li, C., & Miyano, S. (2006). Petri net based descriptions for systematic understanding of biological pathways. IEICE Transactions on Fundamentals of Electronics, Communication, and Computer Sciences. E (Norwalk, Conn.), 89-A(11), 3166-3174.
38. Matsuno, H., Tanaka, Y., Aoshima, H., Doi, A., Matsui, M., & Miyano, S. (2003). Biopathways representation and simulation on hybrid functional Petri net. In Silico Biology, 3(3), 389-404.
39. Murata, T. (1989). Petri Nets: Properties, analysis, and applications. Paper presented at the IEEEInternational Conference on Consumer Electronics. Digest of Technical Papers.
40. Nagasaki, M., Atsushi Doi, A., Matsuno, H., & Miyano, S. (2003). Genomic object net I: A platform for modeling and simulating biopathways. Applied Bioinformatics, 2(3), 181-184.
41. Nutsch, T., Oesterhelt, D., Gilles, E. D., & Marwan, W. (2005). A quantitative model of the switch cycle of an archaeal flagellar motor and its sensory control. Biophysical Journal, 89, 2307-2323. doi:10.1529/ biophysj.104.057570
42. Oliveira, J. S., Bailey, C. G., Jones-Oliveira, J. B., Dixon, D. A., Gull, D. W., & Chandel, M. L. (2003). A computational model for the identification of biochemical pathways in the Krebs cycle. Journal of Computational Biology, 10(1), 57-82. doi:10.1089/106652703763255679
43. Parikh, R. J. (1966). On context-free languages. Journal of the association for computing machinery, 13, 570-581.
44. Peleg, M., Rubin, D., & Altman, R. B. (2005). Using Petri net tools to study properties and dynamics of biological systems. Journal of the American Medical Informatics Association, 12(2), 181-199. doi:10.1197/jamia.M1637
45. Peterson, J. L. (1981). Petri net theory and the modeling of systems. Englewood Cliffs, NJ: Prentice Hall.
46. Petri, C. A. (1962). Communication with automata (in German). TU Darmstadt, Darmstadt.
47. Poland, F. (2008). Cell illustrator. Retrieved from http://www.fqs.pl/life_science/cell_illustrator
48. Popova-Zeugmann, L., Heiner, M., & Koch, I. (2005). Modelling and analysis of biochemical networks with time Petri nets. Fundamenta Informaticae, 67, 149-163.
49. Proth, J.-M., & Xie, X. (1997). Petri nets: A tool for design and management of manufacturing systems. John Wiley & Sons, Inc.
50. Reddy, V. N. (1994). Modeling biological pathways: A discrete event systems approach. University of Maryland.
51. Reddy, V. N., Mavrovouniotis, M. L., & Liebman, M. N. (1993). Petri net representations in metabolic pathways. Paper presented at the ISMB International Conference on Intelligent Systems in Molecular Biology Bethesda, MD.
52. Reddy, V. N., Mavrovouniotis, M. L., & Liebman, M. N. (1996). Qualitative analysis of biochemical reaction systems. Computers in Biology and Medicine, 26(1), 9-24. doi:10.1016/0010-4825(95)00042-9
53. nd ed., Vol. 4). Berlin Springer-Verlag.
54. Rousseeuw, P. J. (1987). Silhouettes:A graphical aid to the interpretation and validation of cluster analysis. Journal of Computational and Applied Mathematics, 20, 53-65. doi:10.1016/0377-0427(87)90125-7
55. Sackmann, A. (2005). Modeling and simulation of signal transduktion pathways in Saccharomyces cerevisiae based on Petri net theory (in German). Technical University of Applied Sciencesm, ErnstMoritz-Arndt-University Greifswald, Berlin, Greifswald.
56. Sackmann, A., Formanowicz, D., Formanowicz, P., Koch, I., & Blazewicz, J. (2007). An analysis of the Petri net based model of the human body iron homeostasis process. Computational Biology and Chemistry, 31, 1-10. doi:10.1016/j.compbiolchem.2006.09.005
57. Sackmann, A., Heiner, M., & Koch, I. (2006). Application of Petri net based analysis techniques to signal transduction pathways. Journal, 7, 482. doi:10.1186/1471-2105-7-482
58. Saito, A., Nagasaki, M., Doi, A., Ueno, K., & Miyano, M. (2006). Cell fate simulation model of gustatory neurons with microRNAs double-negative feedback loop by hybrid functional Petri net with extension. Genome Informatics, 17(1), 100-111.
59. Saitou, N., & Nei, M. (1987). The neighbor-joining method: A new method for reconstructing phylogenetic trees. Molecular Biology and Evolution, 4, 406-425.
60. Schilling, C. H., C. M. W., Famili, I., Church, G. M., Edwards, J. S., & Palsson, B.O. (2002). Genome-scale metabolic model of Helicobacter pylori 26695. Journal of Bacteriology, 184, 4582-4593. doi:10.1128/JB.184.16.4582-4593.2002
61. Schilling, C. H., Letscher, D., & Palsson, B. O. (2000). Theory for the systemic definition of metabolic pathways and their use in interpreting metabolic function from a pathway oriented perspective. Journal of Theoretical Biology, 203, 229-248. doi:10.1006/jtbi.2000.1073
62. Schuster, S., Hilgetag, C., & Schuster, R. (1993). Determining elementary modes of functioning in biochemical reaction networks at steady-state. Paper presented at the Second Gauss Symposium.
63. Simao, E., Remy, E., Thieffry, D., & Chaouiya, C. (2005). Qualitative modelling of regulated metabolic pathways: application to the tryptophan biosynthesis in E.Coli. Bioinformatics (Oxford, England), 21(Suppl. 2), ii190-ii196. doi:10.1093/bioinformatics/bti1130
64. Starke, P. H. (1990). Analysis of Petri net models (in German). Stuttgart: B. G. Teubner.
65. Steggles, L. J., Banks, R., & Wipat, A. (2006). Modelling and analysing genetic networks: From Boolean networks to Petri nets. Paper presented at the Computational Methods in Systems Biology.
66. Steggles, L. J., Banks, R., & Wipat, A. (2007). Qualitatively modelling and analysing genetic regulatory networks: A Petri net approach. Bioinformatics (Oxford, England), 23(3), 336-343. doi:10.1093/bioinformatics/btl596
67. Steinhausen, D., & Langer, K. (1977). Cluster analysis: An introduction to methods for automatic classification (in German). Berlin: de Gruyter.
68. Studier, J. A., & Keppler, K. J. (1988). A note on the neighbor-joining algorithm of Saitou and Nei. Molecular Biology and Evolution, 5, 729-731.
69. Sun, L., Blair, H. C., Peng, Y., Zaidi, N., Adebanjo, O. A., & Wu, X. B. (2005). Calcineurin regulates bone formation by the osteoblast. Proceedings of the National Academy of Sciences of the United States of America, 102, 17130-17135. doi:10.1073/pnas.0508480102
70. Takai-Igarashi, T. (2005). Ontology based standardization of Petri net modeling for signalling pathways. Journal, 5, 0047
71. TGI-group. (2008). Petri Nets World. Retrieved from http://www.informatik.uni-hamburg.de./TGI/PetriNets
72. Thomas, R., Thieffry, D., & Kaufman, M. (1995). Dynamical behaviour of biological regulatory networks-I. Biological role of feedback loops and practical use of the concept of the loop-characteristic state. Bulletin of Mathematical Biology, 57, 247-276.
73. Valmari, A. (1998). In lectures in Petri nets I: The state explosion problem (Vol. 1491). Berlin: Springer.
74. van der Aalst, W. M. P., Desel, J., & Oberweis, A. (1999). Business process management: Models, techniques, and empirical studies (Vol. 1806). Berlin: Springer-Verlag
75. Voss, K., Heiner, M., & Koch, I. (2003). Steady state analysis of metabolic pathways using Petri nets. In Silico Biology, 3(3), 367-387.