메뉴 건너뛰기




Volumn 16, Issue 1, 2015, Pages

MONALISA for stochastic simulations of Petri net models of biochemical systems

Author keywords

Gillespie's algorithm; Insulin receptor recycling; MonaLisa; Petri net; Stochastic simulation algorithm

Indexed keywords

ALGORITHMS; BIOCHEMISTRY; BIOLOGY; COMPLEX NETWORKS; COMPUTER SOFTWARE; DIFFERENTIAL EQUATIONS; GENE EXPRESSION; INFORMATION DISSEMINATION; INSULIN; MOLECULES; OPEN SOURCE SOFTWARE; OPEN SYSTEMS; ORDINARY DIFFERENTIAL EQUATIONS; PETRI NETS; RATE CONSTANTS; RECYCLING; SIGNAL TRANSDUCTION; SOFTWARE ENGINEERING; STOCHASTIC SYSTEMS; TOPOLOGY; VISUALIZATION;

EID: 85019260780     PISSN: None     EISSN: 14712105     Source Type: Journal    
DOI: 10.1186/s12859-015-0596-y     Document Type: Article
Times cited : (16)

References (36)
  • 1
    • 2642533799 scopus 로고    scopus 로고
    • Genomic Object Net: I. A platform for modelling and simulating biopathways
    • Nagasaki M, Doi A, Matsuno H, Miyano S. Genomic Object Net: I. A platform for modelling and simulating biopathways. Appl Bioinform. 2003; 2(3):181-184.
    • (2003) Appl Bioinform , vol.2 , Issue.3 , pp. 181-184
    • Nagasaki, M.1    Doi, A.2    Matsuno, H.3    Miyano, S.4
  • 2
    • 77952066951 scopus 로고    scopus 로고
    • Cell Illustrator 4.0: A computational platform for systems biology
    • Nagasaki M, Saito A, Jeong E, Li C, Kojima K, Ikeda E, et al.Cell Illustrator 4.0: A computational platform for systems biology. In silico Biol. 2010; 10(1):5-26.
    • (2010) In silico Biol , vol.10 , Issue.1 , pp. 5-26
    • Nagasaki, M.1    Saito, A.2    Jeong, E.3    Li, C.4    Kojima, K.5    Ikeda, E.6
  • 3
    • 35248843991 scopus 로고    scopus 로고
    • CPN Tools for editing, simulating, and analysing coloured Petri nets
    • In: Applications and Theory of Petri Nets 2003: 24th International Conference, ICATPN 2003. Heidelberg, New York: Springer
    • Ratzer A, Wells L, Lassen H, Laursen M, Frank J, Stissing M, et al.CPN Tools for editing, simulating, and analysing coloured Petri nets. In: Applications and Theory of Petri Nets 2003: 24th International Conference, ICATPN 2003. Heidelberg, New York: Springer: 2003. p. 450-62.
    • (2003) , pp. 450-462
    • Ratzer, A.1    Wells, L.2    Lassen, H.3    Laursen, M.4    Frank, J.5    Stissing, M.6
  • 4
    • 0003730703 scopus 로고    scopus 로고
    • Atkins' Physical Chemistry
    • Cambridge, UK: Oxford University Press
    • Atkins P, De Paula J, Vol. Bd. 1. Atkins' Physical Chemistry. Cambridge, UK: Oxford University Press; 2002.
    • (2002) , vol.1
    • Atkins, P.1    De Paula, J.2
  • 5
    • 33645429016 scopus 로고
    • Exact stochastic simulation of coupled chemical reactions
    • Gillespie DT. Exact stochastic simulation of coupled chemical reactions. J Phys Chem. 1977; 81(25):2340-361.
    • (1977) J Phys Chem , vol.81 , Issue.25 , pp. 2340-2361
    • Gillespie, D.T.1
  • 6
    • 0035933994 scopus 로고    scopus 로고
    • Approximate accelerated stochastic simulation of chemically reacting systems
    • Gillespie DT. Approximate accelerated stochastic simulation of chemically reacting systems. J Chem Phys. 2001; 115:1716.
    • (2001) J Chem Phys , vol.115 , pp. 1716
    • Gillespie, D.T.1
  • 7
    • 22944445516 scopus 로고
    • Petrinetze: Eine Einführung, 2nd edn
    • Berlin Heidelberg: In German
    • Reisig W. Petrinetze: Eine Einführung, 2nd edn. Berlin Heidelberg: In German, Springer Verlag; 1986.
    • (1986)
    • Reisig, W.1
  • 8
    • 33645241830 scopus 로고    scopus 로고
    • VANTED: A system for advanced data analysis and visualization in the context of biological networks
    • Junker B, Klukas C, Schreiber F. VANTED: A system for advanced data analysis and visualization in the context of biological networks. BMC Bioinf. 2006; 7(1):109.
    • (2006) BMC Bioinf , vol.7 , Issue.1 , pp. 109
    • Junker, B.1    Klukas, C.2    Schreiber, F.3
  • 9
    • 33845417184 scopus 로고    scopus 로고
    • Application of Petri net based analysis techniques to signal transduction pathways
    • Sackmann A, Heiner M, Koch I. Application of Petri net based analysis techniques to signal transduction pathways. BMC Bioinf. 2006; 7(1):482.
    • (2006) BMC Bioinf , vol.7 , Issue.1 , pp. 482
    • Sackmann, A.1    Heiner, M.2    Koch, I.3
  • 10
    • 41549085829 scopus 로고    scopus 로고
    • Petri net modelling of gene regulation of the Duchenne muscular dystrophy
    • Grunwald S, Speer A, Ackermann J, Koch I. Petri net modelling of gene regulation of the Duchenne muscular dystrophy. Biosystems. 2008; 92(2):189-205.
    • (2008) Biosystems , vol.92 , Issue.2 , pp. 189-205
    • Grunwald, S.1    Speer, A.2    Ackermann, J.3    Koch, I.4
  • 11
    • 84889394191 scopus 로고    scopus 로고
    • Petri nets
    • In: Analysis of Biological Networks. Weinheim: John Wiley & Sons, Inc.
    • Koch I, Heiner M. Petri nets. In: Analysis of Biological Networks. Weinheim: John Wiley & Sons, Inc.: 2007. p. 139-179.
    • (2007) , pp. 139-179
    • Koch, I.1    Heiner, M.2
  • 12
    • 79958814949 scopus 로고    scopus 로고
    • Modeling in Systems Biology: The Petri Net Approach
    • Heidelberg, New York: Springer
    • Koch I, Reisig W, Schreiber F. Modeling in Systems Biology: The Petri Net Approach. Heidelberg, New York: Springer; 2010.
    • (2010)
    • Koch, I.1    Reisig, W.2    Schreiber, F.3
  • 13
    • 84878291819 scopus 로고    scopus 로고
    • MonaLisa-visualization and analysis of functional modules in biochemical networks
    • Einloft J, Ackermann J, Nöthen J, Koch I. MonaLisa-visualization and analysis of functional modules in biochemical networks. Bioinformatics. 2013; 29(11):1469-1470.
    • (2013) Bioinformatics , vol.29 , Issue.11 , pp. 1469-1470
    • Einloft, J.1    Ackermann, J.2    Nöthen, J.3    Koch, I.4
  • 14
    • 84908614463 scopus 로고    scopus 로고
    • On functional module detection in metabolic networks
    • Koch I, Ackermann J. On functional module detection in metabolic networks. Metabolites. 2013; 3(3):673-700.
    • (2013) Metabolites , vol.3 , Issue.3 , pp. 673-700
    • Koch, I.1    Ackermann, J.2
  • 15
    • 83455162737 scopus 로고    scopus 로고
    • Reproducible computational biology experiments with SED-ML - The Simulation Experiment Description Markup Language
    • Waltemath D, Adams R, Bergmann F, Hucka M, Kolpakov F, Miller A, et al.Reproducible computational biology experiments with SED-ML - The Simulation Experiment Description Markup Language. BMC Syst Biol. 2011; 5(1):198.
    • (2011) BMC Syst Biol , vol.5 , Issue.1 , pp. 198
    • Waltemath, D.1    Adams, R.2    Bergmann, F.3    Hucka, M.4    Kolpakov, F.5    Miller, A.6
  • 16
    • 84862502916 scopus 로고    scopus 로고
    • Snoopy - A Unifying Petri Net Tool
    • In: Application and Theory of Petri Nets. Heidelberg: Springer
    • Heiner M, Herajy M, Liu F, Rohr C, Schwarick M. Snoopy - A Unifying Petri Net Tool. In: Application and Theory of Petri Nets. Heidelberg: Springer: 2012. p. 398-407.
    • (2012)
    • Heiner, M.1    Herajy, M.2    Liu, F.3    Rohr, C.4    Schwarick, M.5
  • 17
    • 33645241830 scopus 로고    scopus 로고
    • VANTED: A system for advanced data analysis and visualization in the context of biological networks
    • Junker BH, Klukas C, Schreiber F. VANTED: A system for advanced data analysis and visualization in the context of biological networks. BMC Bioinf. 2006; 7(1):109.
    • (2006) BMC Bioinf , vol.7 , Issue.1 , pp. 109
    • Junker, B.H.1    Klukas, C.2    Schreiber, F.3
  • 18
    • 84894181658 scopus 로고    scopus 로고
    • StochPy: A Comprehensive, User-Friendly Tool for Simulating Stochastic Biological Processes
    • Maarleveld TR, Olivier BG, Bruggeman FJ. StochPy: A Comprehensive, User-Friendly Tool for Simulating Stochastic Biological Processes. PLoS ONE. 2013; 8(11):79345.
    • (2013) PLoS ONE , vol.8 , Issue.11 , pp. 79345
    • Maarleveld, T.R.1    Olivier, B.G.2    Bruggeman, F.J.3
  • 20
    • 84936813406 scopus 로고    scopus 로고
    • Accessed 21.05.2015.
    • JFreeChart. http://www.jfree.org/jfreechart/ . Accessed 21.05.2015.
  • 21
    • 84936813407 scopus 로고    scopus 로고
    • Exp4j Accessed 21.05.2015.
    • Asseg F. Exp4j. http://www.objecthunter.net/exp4j/index.html . Accessed 21.05.2015.
    • Asseg, F.1
  • 22
    • 84936813408 scopus 로고    scopus 로고
    • Accessed 21.05.2015
    • Javamex - A Java implementation of the Numerical Recipies Random Number generator. http://www.javamex.com/tutorials/random_numbers/ . Accessed 21.05.2015.
  • 23
    • 84884644235 scopus 로고    scopus 로고
    • Numerical Recipes 3rd Edition: The Art of Scientific Computing
    • Cambridge: Cambridge University
    • Press WH. Numerical Recipes 3rd Edition: The Art of Scientific Computing. Cambridge: Cambridge University Press; 2007.
    • (2007)
    • Press, W.H.1
  • 24
    • 0003657590 scopus 로고    scopus 로고
    • The Art of Computer Programming
    • Seminumerical Algorithms. Menlo Park California: Addison-Wesley Publishing Company
    • Knuth DE. The Art of Computer Programming, Volume 2: Seminumerical Algorithms. Menlo Park California: Addison-Wesley Publishing Company; 1997.
    • (1997) , vol.2
    • Knuth, D.E.1
  • 25
    • 0002773602 scopus 로고
    • Random numbers fall mainly in the planes
    • Marsaglia G. Random numbers fall mainly in the planes. Proc Natl Acad Sci U S A. 1968; 61(1):25.
    • (1968) Proc Natl Acad Sci U S A , vol.61 , Issue.1 , pp. 25
    • Marsaglia, G.1
  • 26
    • 0040572027 scopus 로고    scopus 로고
    • Diehard: A Battery of Tests of Randomness
    • Accessed 21.05.2015.
    • Marsaglia G. Diehard: A Battery of Tests of Randomness. http://www.stat.fsu.edu/pub/diehard/ . Accessed 21.05.2015.
    • Marsaglia, G.1
  • 28
    • 77956972305 scopus 로고    scopus 로고
    • Dieharder: A Random Number Test Suite
    • Accessed 21.05.2015
    • Brown RG, Eddelbuettel D, Bauer D. Dieharder: A Random Number Test Suite. http://www.phy.duke.edu/~rgb/General/dieharder.php/ . Accessed 21.05.2015.
    • Brown, R.G.1    Eddelbuettel, D.2    Bauer, D.3
  • 29
    • 0036152263 scopus 로고    scopus 로고
    • On credibility of simulation studies of telecommunication networks
    • Pawlikowski K, Jeong HD, Lee JS. On credibility of simulation studies of telecommunication networks. Commun Mag IEEE. 2002; 40(1):132-9.
    • (2002) Commun Mag IEEE , vol.40 , Issue.1 , pp. 132-139
    • Pawlikowski, K.1    Jeong, H.D.2    Lee, J.S.3
  • 30
    • 85059293520 scopus 로고    scopus 로고
    • Stochastic Modelling for Systems Biology
    • Boca Raton: CRC Press
    • Wilkinson DJ. Stochastic Modelling for Systems Biology. Boca Raton: CRC Press; 2011.
    • (2011)
    • Wilkinson, D.J.1
  • 31
    • 0001144902 scopus 로고    scopus 로고
    • Efficient exact stochastic simulation of chemical systems with many species and many channels
    • Gibson MA, Bruck J. Efficient exact stochastic simulation of chemical systems with many species and many channels. J Phys Chem A. 2000; 104(9):1876-89.
    • (2000) J Phys Chem A , vol.104 , Issue.9 , pp. 1876-1889
    • Gibson, M.A.1    Bruck, J.2
  • 32
    • 23944491675 scopus 로고    scopus 로고
    • Avoiding negative populations in explicit Poisson tau-leaping
    • Cao Y, Gillespie DT, Petzold LR. Avoiding negative populations in explicit Poisson tau-leaping. J Chem Phys. 2005; 123(5):054104.
    • (2005) J Chem Phys , vol.123 , Issue.5 , pp. 054104
    • Cao, Y.1    Gillespie, D.T.2    Petzold, L.R.3
  • 33
    • 0242425970 scopus 로고    scopus 로고
    • Improved leap-size selection for accelerated stochastic simulation
    • Gillespie DT, Petzold LR. Improved leap-size selection for accelerated stochastic simulation. J Chem Phys. 2003; 119(16):8229-234.
    • (2003) J Chem Phys , vol.119 , Issue.16 , pp. 8229-8234
    • Gillespie, D.T.1    Petzold, L.R.2
  • 34
    • 0018519083 scopus 로고
    • Simulation of nonhomogeneous Poisson processes by thinning
    • Lewis PA, Shedler GS. Simulation of nonhomogeneous Poisson processes by thinning. Naval Res Logist Q. 1979; 26(3):403-413.
    • (1979) Naval Res Logist Q , vol.26 , Issue.3 , pp. 403-413
    • Lewis, P.A.1    Shedler, G.S.2
  • 35
    • 0036838620 scopus 로고    scopus 로고
    • A mathematical model of metabolic insulin signaling pathways
    • Sedaghat AR, Sherman A, Quon MJ. A mathematical model of metabolic insulin signaling pathways. Am J Physiol Endocrinol Metab. 2002; 283(5):1084-1101.
    • (2002) Am J Physiol Endocrinol Metab , vol.283 , Issue.5 , pp. 1084-1101
    • Sedaghat, A.R.1    Sherman, A.2    Quon, M.J.3
  • 36
    • 0023829632 scopus 로고
    • Twenty-four-hour profiles and pulsatile patterns of insulin secretion in normal and obese subjects
    • Polonsky K, Given B, Van Cauter E. Twenty-four-hour profiles and pulsatile patterns of insulin secretion in normal and obese subjects. J Clin Investig. 1988; 81(2):442.
    • (1988) J Clin Investig , vol.81 , Issue.2 , pp. 442
    • Polonsky, K.1    Given, B.2    Van Cauter, E.3


* 이 정보는 Elsevier사의 SCOPUS DB에서 KISTI가 분석하여 추출한 것입니다.