- Research article
- Open Access
Stochastic and deterministic multiscale models for systems biology: an auxin-transport case study
- Jamie Twycross†1,
- Leah R Band†1,
- Malcolm J Bennett1,
- John R King1, 2 and
- Natalio Krasnogor1, 3Email author
© Twycross et al; licensee BioMed Central Ltd. 2010
- Received: 19 October 2009
- Accepted: 26 March 2010
- Published: 26 March 2010
Stochastic and asymptotic methods are powerful tools in developing multiscale systems biology models; however, little has been done in this context to compare the efficacy of these methods. The majority of current systems biology modelling research, including that of auxin transport, uses numerical simulations to study the behaviour of large systems of deterministic ordinary differential equations, with little consideration of alternative modelling frameworks.
In this case study, we solve an auxin-transport model using analytical methods, deterministic numerical simulations and stochastic numerical simulations. Although the three approaches in general predict the same behaviour, the approaches provide different information that we use to gain distinct insights into the modelled biological system. We show in particular that the analytical approach readily provides straightforward mathematical expressions for the concentrations and transport speeds, while the stochastic simulations naturally provide information on the variability of the system.
Our study provides a constructive comparison which highlights the advantages and disadvantages of each of the considered modelling approaches. This will prove helpful to researchers when weighing up which modelling approach to select. In addition, the paper goes some way to bridging the gap between these approaches, which in the future we hope will lead to integrative hybrid models.
- Stochastic Model
- Model Check
- Asymptotic Solution
- Agar Block
- Auxin Transport
Biological systems are naturally multiscale and to understand their behaviour fully we must understand the interaction of a number of processes that may occur on diverse temporal and spatial scales. To gain insight into such multiprocess and multiscale systems, there is a range of modelling frameworks that could potentially be employed. Different modelling approaches serve to highlight certain aspects of a biological system, and which modelling approach is most appropriate depends on the biological questions that are being addressed, as well as on the available data that could be used to calibrate or validate a given model. In this paper, we present several modelling approaches and show how these can be used to gain understanding of a realistic multiscale systems biology problem. We compare the different modelling approaches to each other and discuss their applicability.
To compare the modelling approaches, we focus on a particular case study: the transport of the hormone auxin through a file of plant cells. Auxin plays a major role in many aspects of plant growth and development . It moves through the plant in a polar manner due to non-uniform spatial distributions of active influx and efflux carriers on the cell membranes , and the resulting auxin distributions influence a wide range of processes, including organ initiation [3–6], vein formation [7–12] and gravitropism . Modelling auxin transport is thus an active research area in plant systems biology. The models are inherently multiscale, as cell-scale processes lead to tissue-scale phenomena. To date, the majority of modelling in this area computes solutions by simulating large systems of deterministic ordinary differential equations [2–9, 11–17], and there are relatively few examples of alternative modelling techniques [18–20]. This paper complements such previous work by highlighting the benefits of using multiple modelling techniques to gain a more comprehensive understanding of a biological system, in this case auxin transport in plant tissue.
Mathematical modelling is routinely used to study biological phenomena quantitatively, often by describing the dominant physical processes using systems of coupled differential equations and solving these governing equations using analytical and numerical methods; such techniques have been used to study a diverse range of biological processes, including population dynamics, pattern formation, neuron firing and physiological flows (see  and  and references therein). Mathematical models have denotational semantics in that they represent relationships between quantities as systems of equations. In contrast, computational, or executable, models have operational semantics, and define rules that describe how the modelled system moves from one state to the next . Computational models are executed in the sense that, starting from an initial state, a procedure (in our case a stochastic simulation algorithm) determines the next reaction to apply. This reaction is then applied, giving a new system state, which is then used by the simulation algorithm to determine the next rule to apply, in an iterative procedure. Stochastic processes, unlike their deterministic counterparts, involve an indeterminancy in the evolution of the state of the system. For large numbers of molecules, this stochasticity may be averaged out, giving what appears to be a deterministic process; however, when a small number of molecules is involved, stochastic effects become evident, and in such cases the system may behave in a markedly different way. The inherent noise present in all biological systems is explicitly modelled in discrete stochastic models and can have profound effects on system dynamics, producing behaviour, even for large numbers of molecules, which is markedly different from that predicted by continuous deterministic models; see, for example, .
After summarising the biological abstraction which forms a common basis for the models presented in this paper, we describe a stochastic computational model based around a P system framework. Here the number of auxin molecules in each compartment evolves according to rules that move molecules from one compartment to the next. We then describe a deterministic mathematical model in which the auxin concentrations are described by a system of coupled ordinary differential equations. In the deterministic case, we produce two solutions: i) analytical solutions, derived using multiscale asymptotic approaches, and ii) numerical solutions, as is typical in current auxin-transport modelling.
To investigate the benefits of deterministic and stochastic modelling approaches, we focus on a model of auxin transport. Specifically, we model a standard experiment that is used to determine auxin velocities: radio-labelled auxin is added to a source agar block at one end of a segment of stem tissue, auxin then travels through the stem segment, and experimentalists measure the amount of auxin collected in a final agar block at the other end of the stem segment (see [25–27] and references therein).
We suppose that the two agar blocks are rectangular, with length L s and width w. We denote the number of auxin molecules in the source agar block by S n (t) and the number in the collecting agar block by F n (t), where the superscript n emphasises that these quantities are numbers of molecules; the concentrations (i.e. number per unit area) in the two agar blocks are then given by S(t) = S n (t)/(L s w) and F(t) = F n (t)/(L s w), respectively. We suppose that auxin diffuses within the agar blocks with diffusion coefficient D. Auxin in the source agar block diffuses into the adjacent root apoplast region; it then travels through the line of N cells and diffuses from the final apoplast region into the collecting agar block. We denote the number of molecules in the cytoplasm by for i = 1, 2, ..., N, and the number in the adjacent apoplast by for j = 0, 1, 2, ... N, with the corresponding auxin concentrations given by c i (t) = /(lw) and a i (t) = /(λw) (see Figure 1).
and P diff is the membrane permeability of protonated auxin, P PIN is the membrane permeability of anionic auxin, and the dimensionless constant ϕ ≡ -F D V/RT where F D is the Faraday constant, V is the membrane potential, R is the gas constant, and T is the temperature.
Biological parameter estimates.
100 μ m
10 μ m
2 × 10-3 m
2 × 10-3 m
0.5 μ m
5.6 × 10-7 m s-1
3.3 × 10-6 m s-1
6.7 × 10-10 m2 s-1
cell membrane voltage
8.314472 K-1 mol-1
Stochastic Computational Model
Stochastic model rules.
source agar block (S)
collecting agar block (F)
cytoplasms (c i )
apoplasts (a i )
(further information and derivations can be found in the "Model Derivation" section of Additional file 1). We note that in this framework we set the small parameter to zero to enable efficient execution. The computational model is executed using a novel multi-compartment Monte Carlo stochastic algorithm using the mcss simulator, which is part of the Infobiotics workbench, a freely available software suite for designing, simulating and analysing multiscale executable systems and synthetic biology models . Stochastic algorithms and software supporting multiple compartments have been developed by several research groups [30–33]. A key difference between these algorithms and our software suite is that our tools support the rapid prototyping of models by facilitating the abstraction of commonly occurring motifs (e.g. regulatory or signalling motifs ) with model templates and modules. This, coupled with the facility to explicitly specify a tissue geometry, permits the seamless exploration of "what if " scenarios during model building. For example, to reproduce the behaviour of a mutant which does not produce a particular protein, all that needs to be done is to set the rate constant of the reaction producing the protein to zero. Or, for example, to remove a particular regulatory mechanism, we can simply remove the module representing this regulatory mechanism from the list of modules employed by a particular compartment. The reader is referred to  for an in-depth description of the stochastic simulation algorithm we employ, which we briefly summarise here. Essentially, the simulation algorithm determines, within each of the simulated compartments, which rule to apply next and when to apply it. This highlights the key difference between mathematical and computational (or algorithmic) models - mathematical equations describe the change in the values of variable as a system moves from one state to the next, while computational models expose how and why this state change occurs [23, 35]. Each run of the simulation gives one possible trajectory of the model through state space. Hence, as well as using individual runs to examine the reasons for state changes, we can execute the model a number of times to estimate the average system behaviour, analyse the system's variability, and identify potential extreme behaviours.
Additionally, the computational model enables model checking, the formal verification of model behaviour, which allows the identification of general biological principles which underlie the observed behaviour of the model [36–39]. Using algorithms such as those presented in , the computational model also facilitates model parameter and structural optimisation, allowing incomplete biological information regarding, for example, model parameter settings and structure, to be established automatically.
Deterministic Mathematical Model
for i = 1, 2, ..., N and j = 1, 2, ..., N - 1. The dynamics described by (6-11) are analogous to the reactions in (5), as shown in the "Model derivations" section of Additional file 1. We assume that initially all the auxin molecules are in the source agar block, therefore S = C/L s w, c i = a j = F = 0 at t = 0 for i = 1, 2, ... N and j = 0, 1, 2, ... N.
where and are O(1) as ϵ → 0+. In the stem segment, the result is a continuum limit. Letting x measure the length along the tissue, such that x = ϵi, we consider c i (t) = c(x, t), a i (t) = a(x, t), where x = 0 corresponds to the upper face of cytoplasm i = 1.
therefore, diffusion within the agar blocks determines the rates at which the source-agar-block concentration depletes and the sink-agar-block concentration increases.
Stochastic and deterministic model steady-state concentration times.
206.28 ± 2.88
213.63 ± 2.88
Stochastic model concentration variability.
0.00184 ± 0.00137
0.00059 ± 0.00043
0.00187 ± 0.00135
0.00059 ± 0.00043
0.00006 ± 0.00006
0.00002 ± 0.00001
0.00003 ± 0.00003
0.00001 ± 0.00001
Selecting the appropriate modelling approach for a given problem involves a number of factors including a researcher's judgement of the time available for model development and the computational resources available. A key factor is the understanding they wish to obtain, for example, arriving at the best possible model for a given system (in which case model development time might not be too important), or generating alternative plausible models representing competing experimental hypothesis (in which case the availability of rapid prototyping, averages and outlier behaviours are needed). Although difficult to give all-encompassing guidelines, in this section we briefly discuss general practical considerations arising from our case study that are involved in determining an appropriate modelling approach.
Stochastic and deterministic model execution times.
stochastic (C = 10 pM)
stochastic (C = 0.1 nM)
stochastic (C = 1 nM)
When considering the time costs of different modelling approaches, a key consideration is the number of different parameter choices one wishes to investigate. The formulae from the analytical approach clearly show how the parameter estimates affect the predicted concentrations and transport speeds provided the scaling, (14), holds. However, we would need to derive a new asymptotic solution if we wanted to consider different parameter regimes. In addition, the asymptotic method presented here is can only be applied if we can consider the tissue to be a continuum, which is only appropriate if the rate of transport between the cells is not too small . Using the numerical deterministic and stochastic approaches, one can use any parameter values in the simulations by making simple changes to the numerical code without changes to the underlying model. However, using these methods, we would need to execute many simulations to thoroughly understand how the dynamics are affected by the parameter values, which needs to be balanced with the increased execution time for the stochastic model for certain parameter regimes.
In summary, the asymptotic model is applicable only to the specific parameter regime for which it was derived, but allows rapid evaluation of the behaviour of the model within these bounds. However, to explore model behaviour outside of the given parameter regime, the asymptotic solution will need to be derived anew. The stochastic computational model allows any parameter regime or spatial scaling to be explored without further reformulation of the model and formally captures the mechanisms involved in producing a given phenotype. For some regimes the execution time of the model will be considerable, although this time can be ameliorated through the application of more computational resources or parallel computation.
Auxin-transport experiments aim to investigate the movement of auxin through plant tissue. We have modelled an experimental protocol, as described in [25, 27], that has been used to consider both the distance moved by auxin molecules per unit time (the velocity) and the amount of auxin passing through the tissue per unit time (the flux). In the deterministic model, auxin from the source agar block moves through the tissue with a defined front, and the asymptotic solutions provide a simple formula for the speed of transport (15). However, in practice there will be stochasticity in the auxin movement. The stochastic model predicts when the first auxin molecule appears in the collecting agar block, and the transport speed can be calculated by dividing the total length of the stem segment, L, by the average time taken for the first molecule of auxin to appear in the collecting agar block (this time is calculated by averaging over 10,000 runs).
Stochastic and deterministic model transport speeds.
time to collecting agar block (s)
213.85 ± 21.18
3.38 ± 0.30
Auxin velocities are generally thought to be around 1 cm·h-1, which is fairly close to our predictions, given that the velocity depends on the parameter estimate for P PIN and this value is not well characterised. One reason for the difference between the experimental auxin velocity and the model predictions may be differences in auxin detection sensitivity between the wet experiments and models. The stochastic model enables us to predict the time at which the first molecule of auxin enters the collecting agar block. However, in the wet experiments, a certain amount of auxin must accrue in this agar block before detection is possible. We can estimate the amount of auxin present in the collecting block from our models. If we consider an experiment with 12, 044 molecules of auxin and assume that, in line with experimental results, the auxin-transport speed is 1 cm·h-1, then the time taken for auxin to travel the length of the stem segment is 723.78 s (0.20105 hr). The deterministic model gives the number of molecules in the collecting agar block at this time to be 191 and 246 from the numerical and asymptotic solutions respectively (we note that this accuracy is within the expected range for the asymptotic solution). The mean number of auxin molecules at this time in the collecting agar block calculated over 10,000 runs of the stochastic model is 299.40 ± 15.84. Thus, to determine accurately the presence of auxin in the collecting agar block, the experimental apparatus used must have a sensitivity of 1.6 pM for an agar block of the same size as we simulated, and a finer resolution for larger agar blocks.
As discussed in , the majority of auxin-transport measurements report the flux of auxin transport rather than the auxin velocity and so consider the amount of auxin that has moved through a specified distance of tissue in a constant amount of time. However, the asymptotic solutions of the deterministic model demonstrate that diffusion within the agar blocks may significantly affect the auxin concentration within the collecting agar block, and therefore the auxin fluxes measured. The analysis presented in the "Derivation of Asymptotic Solution" section of Additional file 1 shows that there are two disparate time scales: on a short time scale, auxin is transported through the stem segment, whereas over longer ones, the auxin concentrations are almost uniform throughout the stem segment, and the dynamics are dominated by diffusion within the agar. It is clearly important to be aware of these two processes when interpreting experimental results. If an auxin-transport experiment were carried out over several hours, the auxin concentration in the collecting agar block would be determined predominantly by the diffusion rate. We emphasise that these conclusions are based on the assumption that the agar-block length is comparable to the stem-segment length - the effect of diffusion within the agar blocks will be less significant with smaller agar blocks.
In systems biology, models are typically deterministic and a biological problem is translated into large systems of ordinary differential equations that are solved numerically. However, this is not the only option, and in this paper we have demonstrated three different modelling approaches: (i) deterministic numerical; (ii) deterministic asymptotic; and (iii) stochastic computational. As expected, particularly given that the dynamics can be described by a system of linear governing equations, there is excellent agreement between the three methods.
We have focussed our case study on auxin transport, as this is inherently multiscale with cell-scale dynamics creating the tissue-scale phenomena of interest. The numerical, deterministic method focusses on computing the cell-scale dynamics, whereas the asymptotic method makes use of the multiscale nature of the system: in the asymptotic results, we consider the auxin concentrations on the cell scale, and exploit the relatively small dimensions of the cells to determine how the cell-scale dynamics lead to effective tissue-scale behaviour. The stochastic computational model simulates the interaction of auxin at a molecular scale and, by analysing the gross movement of auxin from one compartment to the next, allows us to determine auxin dynamics at the tissue scale based on the mechanistic interactions of auxin at the molecular scale.
The model results enable us to highlight the advantages of each approach. We solved the stochastic version of the model using a P system framework: the model is written in terms of numbers of molecules and we prescribe the probability of a molecule moving between compartments. P systems are highly intuitive, and an excellent way of engaging with a biological audience. The stochastic model generates in particular both the mean and the standard deviation of the auxin concentrations, which enables us to characterise the expected variability. We also solved the model by deriving deterministic ordinary differential equations and using asymptotic methods to obtain formulae for the auxin concentrations and transport speeds. This method requires careful analysis to determine the dominant processes on each time scale, and the resulting expressions show clearly how the model parameters affect the predicted auxin concentrations and speeds. Although numerically solving the deterministic version of the model is often the quickest method of producing a solution, stochastic P system models and asymptotic analysis can provide additional insight and information that can complement, or be an alternative, to a deterministic numerical solution. The results also highlight how the experimental set up may lead to potential discrepancies between the measured auxin velocities, and, in particular, how the measured velocities will be affected by diffusion within the agar block. Auxin speeds are generally assessed by measuring the number of auxin molecules in the collecting agar block; however, we showed that on long time scales the auxin concentration in the agar block depends on the agar-block length, and the formulae for the auxin velocity and collecting-block concentration (obtained from the asymptotic analysis) are clearly not related. We could gain further understanding of the biological implications of this result by extending the model to incorporate a more accurate representation of the stem segment, for example by modelling multiple cell files with tissue-specific active transport.
We would like to thank Jonathan Blakes, Alain Delbarre, Eric Kramer, and Francisco Romero-Campero for their help during the preparation of this manuscript. This work was conducted in the Centre for Plant Integrative Biology, University of Nottingham, U.K., which is jointly funded by the BBSRC/EPSRC (BB/D0196131) as part of their Systems Biology Initiative. NK would also like to acknowledge funding from EPSRC EP/E017215/1 and BBSRC BB/F01855X/1, and JRK from the Royal Society and Wolfson Foundation.
- Benjamins R, Scheres B: Auxin: the looping star in plant development. Annu Rev Plant Biol. 2008, 59: 443-465. 10.1146/annurev.arplant.58.032806.103805View ArticlePubMedGoogle Scholar
- Kramer EM: PIN and AUX/LAX proteins: their role in auxin accumulation. Trends Plant Sci. 2004, 9 (12): 578-582. 10.1016/j.tplants.2004.10.010View ArticlePubMedGoogle Scholar
- de Reuille PB, Bohn-Courseau I, Ljung K, Morin H, Carraro N, Godin C, Traas J: Computer simulations reveal properties of the cell-cell signaling network at the shoot apex in Arabidopsis. P Natl Acad Sci USA. 2006, 103 (5): 1627-1632. 10.1073/pnas.0510130103.View ArticleGoogle Scholar
- Heisler MG, Jönsson H: Modeling auxin transport and plant development. J Plant Growth Regul. 2006, 25 (4): 302-312. 10.1007/s00344-006-0066-x.View ArticleGoogle Scholar
- Jönsson H, Heisler MG, Shapiro BE, Meyerowitz EM, Mjolsness E: An auxin-driven polarized transport model for phyllotaxis. P Natl Acad Sci USA. 2006, 103 (5): 1633-1638. 10.1073/pnas.0509839103.View ArticleGoogle Scholar
- Smith RS, Guyomarc'h S, Mandel T, Reinhardt D, Kuhlemeier C, Prusinkiewicz P: A plausible model of phyllotaxis. P Natl Acad Sci USA. 2006, 103 (5): 1301-1306. 10.1073/pnas.0510457103.View ArticleGoogle Scholar
- Feugier FG, Mochizuki A, Iwasa Y: Self-organization of the vascular system in plant leaves: Inter-dependent dynamics of auxin flux and carrier proteins. J Theor Biol. 2005, 236 (4): 366-375. 10.1016/j.jtbi.2005.03.017View ArticlePubMedGoogle Scholar
- Feugier FG, Iwasa Y: How canalization can make loops: A new model of reticulated leaf vascular pattern formation. J Theor Biol. 2006, 243 (2): 235-244. 10.1016/j.jtbi.2006.05.022View ArticlePubMedGoogle Scholar
- Merks RMH, Peer Van de Y, Inzé D, Beemster GTS: Canalization without flux sensors: a traveling-wave hypothesis. Trends Plant Sci. 2007, 12 (9): 384-390. 10.1016/j.tplants.2007.08.004View ArticlePubMedGoogle Scholar
- Mitchison GJ: A model for vein formation in higher plants. P Roy Soc Lond B Bio. 1980, 207: 79-109. 10.1098/rspb.1980.0015.View ArticleGoogle Scholar
- Mitchison GJ, Hanke DE, Sheldrake AR: The polar transport of auxin and vein patterns in plants. Philos T Roy Soc B. 1981, 295 (1078): 461-471. 10.1098/rstb.1981.0154.View ArticleGoogle Scholar
- Rolland-Lagan AG, Prusinkiewicz P: Reviewing models of auxin canalization in the context of leaf vein pattern formation in Arabidopsis. Plant J. 2005, 44 (5): 854-865. 10.1111/j.1365-313X.2005.02581.xView ArticlePubMedGoogle Scholar
- Swarup R, Kramer EM, Perry P, Knox K, Leyser HMO, Haseloff J, Beemster GTS, Bhalerao R, Bennett MJ: Root gravitropism requires lateral root cap and epidermal cells for transport and response to a mobile auxin signal. Nat Cell Biol. 2005, 7: 1057-1065. 10.1038/ncb1316View ArticlePubMedGoogle Scholar
- Goldsmith MHM, Goldsmith TH, Martin MH: Mathematical analysis of the chemosmotic polar diffusion of auxin through plant tissues. P Natl Acad Sci USA. 1981, 78 (2): 976-980. 10.1073/pnas.78.2.976.View ArticleGoogle Scholar
- Grieneisen VA, Xu J, Marée AFM, Hogeweg P, Scheres B: Auxin transport is sufficient to generate a maximum and gradient guiding root growth. Nature. 2007, 449 (7165): 1008-1013. 10.1038/nature06215View ArticlePubMedGoogle Scholar
- Kramer EM, Bennett MJ: Auxin transport: a field in flux. Trends Plant Sci. 2006, 11 (8): 382-386. 10.1016/j.tplants.2006.06.002View ArticlePubMedGoogle Scholar
- Rolland-Lagan AG: Encyclopedia of Life Sciences. Chichester: John Wiley & Sons 2009 chap. Modelling of plant growth and development,Google Scholar
- Chavarría-Krauser A, Ptashnyk M: Homogenization of long-range auxin transport in plant tissues. Nonlinear Anal - Real. 2009, ,Google Scholar
- Newell AC, Shipman PD, Sun Z: Phyllotaxis: cooperation and competition between mechanical and biochemical processes. J Theor Biol. 2008, 251 (3): 421-439. 10.1016/j.jtbi.2007.11.036View ArticlePubMedGoogle Scholar
- Mitchison GJ: The dynamics of auxin transport. P Roy Soc Lond B Bio. 1980, 209 (1177): 489-511. 10.1098/rspb.1980.0109.View ArticleGoogle Scholar
- Keener J, Sneyd J: Mathematical Physiology. 2004, Springer, USA,Google Scholar
- Murray JD: Mathematical Biology. 1989, Springer-Verlag, Berlin Heidelberg,View ArticleGoogle Scholar
- Fisher J, Henzinger TA: Executable cell biology. Nat Biotechnol. 2007, 25 (11): 1239-1249. 10.1038/nbt1356View ArticlePubMedGoogle Scholar
- Shnerb NM, Louzoun Y, Bettelheim E, Solomon S: The importance of being discrete: life always wins on the surface. P Natl Acad Sci USA. 2000, 97 (19): 10322-10324. 10.1073/pnas.180263697.View ArticleGoogle Scholar
- McCready CC: Translocation of growth regulators. Annu Rev Plant Physio. 1966, 17: 283-294. 10.1146/annurev.pp.17.060166.001435.View ArticleGoogle Scholar
- Goldsmith MHM: The polar transport of auxin. Annu Rev Plant Physiol. 1977, 28: 439-478. 10.1146/annurev.pp.28.060177.002255.View ArticleGoogle Scholar
- Lewis DR, Muday GK: Measurement of auxin transport in Arabidopsis thaliana. Nat Protoc. 2009, 4 (4): 437-451. 10.1038/nprot.2009.1View ArticlePubMedGoogle Scholar
- Romero-Campero FJ, Twycross J, Camara M, Bennett M, Gheorghe M, Krasnogor N: Modular assembly of cell systems biology models using P systems. Int J Found Comput S. 2009, 20 (3): 427-442. 10.1142/S0129054109006668.View ArticleGoogle Scholar
- Infobiotics website. 2009, http://www.infobiotic.org/
- Cao Y, Hall A, Li H, Petzold L: StochKit, a new stochastic simulation toolkit. Sixth International Conference on Systems Biology, Boston, M.A. 2005,Google Scholar
- Spicher A, Michel O, Cieslak M, Giavitto JL, Prusinkiewicz P: Stochastic P systems and the simulation of biochemical processes with dynamic compartments. Biosystems. 2008, 91 (3): 458-472. 10.1016/j.biosystems.2006.12.009View ArticlePubMedGoogle Scholar
- Hill AD, Tomshine JR, Weeding EMB, Sotiropoulos V, Kaznessis YN: SynBioSS: the synthetic biology modeling suite. Bioinformatics. 2008, 24 (21): 2551-2553. 10.1093/bioinformatics/btn468View ArticlePubMedGoogle Scholar
- Sedwards S, Mazza T: Cyto-Sim: A formal language model and stochastic simulator of membrane-enclosed biochemical processes. Bioinformatics. 2007, 23 (20): 2800-2802. 10.1093/bioinformatics/btm416View ArticlePubMedGoogle Scholar
- Alon U: Network motifs: theory and experimental approaches. Nat Rev Genet. 2007, 8 (6): 450-461. 10.1038/nrg2102View ArticlePubMedGoogle Scholar
- Priami C: Algorithmic systems biology. Commun ACM. 2009, 52 (5): 80-88. 10.1145/1506409.1506427.View ArticleGoogle Scholar
- Steggles LJ, Banks R, Shaw O, Wipat A: Qualitatively modelling and analysing genetic regulatory networks: a Petri net approach. Bioinformatics. 2007, 23 (3): 336-343. 10.1093/bioinformatics/btl596View ArticlePubMedGoogle Scholar
- Kaleta C, Richter S, Dittrich P: Using chemical organization theory for model-checking. Bioinformatics. 2009, 25 (15): 1915-1922. 10.1093/bioinformatics/btp332PubMed CentralView ArticlePubMedGoogle Scholar
- Monteiro PT, Ropers D, Mateescu R, Freitas AT, de Jong H: Temporal logic patterns for querying dynamic models of cellular interaction networks. Bioinformatics. 2008, 24 (16): i227-233. 10.1093/bioinformatics/btn275View ArticlePubMedGoogle Scholar
- Batt G, Ropers D, de Jong H, Geiselmann J, Mateescu R, Page M, Schneider D: Validation of qualitative models of genetic regulatory networks by model checking: analysis of the nutritional stress response in Escherichia coli. Bioinformatics. 2005, 21 (suppl_1): 19-28. 10.1093/bioinformatics/bti1048.View ArticleGoogle Scholar
- Romero-Campero F, Cao H, Camara M, Krasnogor N: Structure and parameter estimation for cell systems biology models. Proceedings of the Genetic and Evolutionary Computation Conference (GECCO-2008). Edited by: MK, et al. 2008, 331-338. full_text. ACM Publisher,Google Scholar
- van Kampen NG: Stochastic processes in physics and chemistry. 1992, Amsterdam, The Netherlands: Elsevier Science Publishers, 2,Google Scholar
This article is published under license to BioMed Central Ltd. This is an Open Access article distributed under the terms of the Creative Commons Attribution License (http://creativecommons.org/licenses/by/2.0), which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.