On Quantitative Comparison of Chemical Reaction Network Models

by   Ozan Kahramanoğulları, et al.

Chemical reaction networks (CRNs) provide a convenient language for modelling a broad variety of biological systems. These models are commonly studied with respect to the time series they generate in deterministic or stochastic simulations. Their dynamic behaviours are then analysed, often by using deterministic methods based on differential equations with a focus on the steady states. Here, we propose a method for comparing CRNs with respect to their behaviour in stochastic simulations. Our method is based on using the flux graphs that are delivered by stochastic simulations as abstract representations of their dynamic behaviour. This allows us to compare the behaviour of any two CRNs for any time interval, and define a notion of equivalence on them that overlaps with graph isomorphism at the lowest level of representation. The similarity between the compared CRNs can be quantified in terms of their distance. The results can then be used to refine the models or to replace a larger model with a smaller one that produces the same behaviour or vice versa.



There are no comments yet.


page 5

page 13


Multistationarity for Fewnomial Chemical Reaction Networks

We study chemical reaction networks with few chemical complexes. Under m...

Semi-Quantitative Abstraction and Analysis of Chemical Reaction Networks

Analysis of large continuous-time stochastic systems is a computationall...

Kaemika app, Integrating protocols and chemical simulation

Kaemika is an app available on the four major app stores. It provides de...

Coupling from the Past for the Stochastic Simulation of Chemical Reaction Networks

Chemical reaction networks (CRNs) are fundamental computational models u...

The Bond-Calculus: A Process Algebra for Complex Biological Interaction Dynamics

We present the bond-calculus, a process algebra for modelling biological...

Efficient Analysis of Chemical Reaction Networks Dynamics based on Input-Output Monotonicity

Motivation: A Chemical Reaction Network (CRN) is a set of chemical react...

The many roads to the simulation of reaction systems

Reaction systems are a computational model inspired by the bio-chemical ...
This week in AI

Get the week's most popular data science and artificial intelligence research sent straight to your inbox every Saturday.

1 Introduction

Chemical reaction networks (CRNs) constitute an expressive language for building models that are dedicated to studying dynamical behaviour of biological systems. Many implementations of simulation languages for systems biology use CRN representations for their back-ends that perform deterministic or stochastic simulations, e.g., [3, 15, 13]. From a modelling, or programming, perspective, the main challenge in the context of the complex make-up of biological systems is to come up with simpler models that are effective in addressing biological queries. In such a setting, it is a common practise to compare different models that are built to produce a certain behaviour. The methods for comparison are often devised on a case-by-case basis, and they typically rely on the deterministic representations of the CRNs. The comparisons are commonly performed on the steady states. The notion and the extent of acceptable variation in behaviour between compared models depend on the system and the query in question.

Despite the limited number of formal means, drawing parallels between various models of biological systems is central to many investigations in this field. Given that existing efforts are often limited by the measurement of ad hoc model signals, it is inherently challenging to provide a general method for the task. To this end, we propose a methodology for comparing models in relation to the dynamic behaviour given by their flux graphs resulting from stochastic simulations [12, 9]. Here, flux is defined in terms of the intensity of resource flow during stochastic simulation from one reaction to another. The flux graphs are directed graphs that display how many of which network species instances flow between which model components during any chosen time interval of the simulation. As this provides a mathematical structure that quantifies the model dynamics, we use this information as a discrete abstraction of the model behaviour that can be compared with other structures obtained in the same way. The similarity between simulations with CRNs can then be quantified by resorting to a distance function, which we show to be a metric. In the following, we illustrate our method and discuss different models, whereby we argue that models separated with a smaller distance produce more similar behaviours.

2 Chemical reaction networks and mass action semantics

Let denote a chemical reaction network (CRN) consisting of a set of reactions defined on

number of species, and an initial state, which is a vector of the quantities of the M species. In

, each reaction

describes the reactants on the left-hand side that are replaced by the products on the right-hand side with rate . The constants and are positive integers that denote the multiplicity of the reactants that are consumed and the products that are produced. When such a reaction occurs, it modifies the state vector. That is, if species are present in their multiplicities , they are consumed, and the species are produced, again in their respective multiplicities . The reaction rate constant

is a positive real number, which determines how often a reaction occurs in a system. According to the mass action kinetics, the probability of a reaction’s firing at a particular state is proportional with

and the number of possible combinations of its reactants at that state.

Example 1

The Lotka-Volterra network models the interactions of a predator X with a prey Y.

The network is initiated with 100 X and 100 Y individuals; the initial state is the vector .

Example 2

The SIR network models the spread of an infection in a population, whereby the individuals infect each other by direct interactions. An individual who recovers from the illness has immunity.

Each individual can be susceptible (S), infected (I), or resistant (R). Thus an initial state with 40 susceptible, 1 infected and no resistant is given by the vector .

Stochastic trajectories of CRNs are commonly generated by using Gillespie’s stochastic simulation algorithm (SSA) [7]

. These simulations are then commonly depicted as time series. SSA is a Monte Carlo algorithm based on mass action with a continuous time Markov chain semantics. Thus, the simulations with SSA, at their limit, overlap with the deterministic ordinary differential equation simulations. However, stochastic simulations reflect the fluctuations in species numbers and extinctions that may arise due to low species numbers, which are not perceivable in the deterministic setting, e.g., as in Figure


Figure 1: Time series of the CRNs in Examples 1 and 2. The dashed lines are deterministic simulations.
Figure 2: The fSSA algorithm [12, 9] extends the stochastic simulation algorithm [7] by logging the dependencies of each reaction instance by keeping track of the origin of each species that reaction instance consumes. This results in a directed acyclic graph that complements the time series data.

3 Flux graphs of chemical reaction networks

A stochastic simulation with a CRN can be considered as a mathematical reduction from a complex structure, i.e., the CRN, to a simpler structure, i.e., the simulation trajectory. As a result of this reduction, the algorithm delivers a sequential structure, whereby the reaction instances occur one after another starting from the initial state. Because of the Markov chain semantics, there cannot be any simultaneous reaction instances. Each reaction instance modifies the state at which it occurs and results in a new state. The time stamps of the reaction instances can be seen as a manifestation of the sequential total order structure. However, a different point of view can be obtained if we observe the reaction instances from the point of view of their interdependencies due to the resources that they consume and produce: each reaction instance consumes resources that were produced by another reaction, and produces others that become available for consumption. These dependencies result in a partial order structure or a directed acyclic graph (dag). When we superimpose this dag on to the time series, it becomes possible to treat the simulation trajectory as an interleaving of a concurrent computation, whereby the dag edges display the resource dependencies. A graphical visualisation of this idea is depicted in Figure 2 on a simple CRN.

Figure 3: Flux graphs of the simulations in Figure 1. The graph on the left displays the fluxes between the time points 0.1 and 0.15, where the species go extinct. The graph on the right displays the fluxes of the network in Example 2 for the complete simulation.

In previous work, we have introduced a conservative extension of Gillespie’s stochastic simulation algorithm [7], called fSSA, that generates these graphs. In addition to the time series, fSSA logs the dependency data by introducing a constant cost to each simulation step [12, 9]. The algorithm then folds these dags into flux graphs that provide a quantification of the flow of resources between reaction instances for any user-specified time interval. For the details of the algorithm we refer to [12, 9]. In the following, we describe the structure of the flux graphs, and how they are used for comparing CRNs.

The flux graphs are edge-coloured directed graphs, denoted by , where denote the time points for the beginning and the end of the flux interval. Each edge of the graph is of the form , where and are nodes representing the reactions of the CRN, is a network species, and is the weight. The edge colour on the arrow denotes that between time points and , species flowed from to with a weight of . The weight denotes the multiplicity of the species that are logged to have flowed from to . Figure 3 displays example flux graphs of the simulations in Figure 1.

4 Comparing chemical reaction networks

The method for comparing CRNs uses the flux graphs as discrete representations of the dynamic behaviours of the CRNs. Given two networks to be compared, the method takes two parameters.

The first parameter is the number of simulations, , to be considered for the comparison. This parameter is used to run number of simulations, and the mean fluxes of the simulations is considered for the comparison. A smaller exposes the stochastic effects and the noise in the system. In contrast, a larger can be used to factor for the stochastic effects. This way, it becomes possible to expose the mean behaviour, similar to the use of deterministic simulations with ordinary differential equations. It is also possible to use different parameters for the two compared networks.

The second parameter of the method is the time interval to be considered for the comparison, which can be the complete simulation duration or any other interval within it. Again, it is possible to use two different intervals for the two compared networks.

Figure 4: A comparison of the CRN in Example 1 with different time intervals and parameters.

The method is performed by first running simulations on the two CRNs, and computing the flux graphs of these simulations for the given intervals. The comparison is performed on the mean flux graphs of each set of simulations. This results in the two flux graphs, one for each network. Each flux graph is then normalised by the maximum flux in that network. This way, each weight of each flux edge is replaced with a weight , where denotes the maximum flux value in that network. Thus, each weight in the flux graph takes a value between and .

Example 3

Let us consider the CRN in Example 1. The single run of a simulation depicted in Figure 1 results in an extinction, which is different from the deterministic behaviour of the system. A comparison of the normalised flux behaviour of the complete simulation with the extinction window in the time interval between and in Figure 3 reflects this contrast. As depicted in Figure 4, this contrast becomes even more amplified when we observe the mean flux behaviour of 10 simulations, which is closer to the deterministic setting. In particular, the normalised mean fluxes display a more balanced distribution between reactions in comparison to the fluxes in a single simulation that results in an extinction.

Figure 5: The mesh of the normalised fluxes resulting from 81 simulations in different time intervals, where the rates and of in Example 2 are scanned 4 orders of magnitude on the axes in logarithmic scale. The top row displays the fluxes and the bottom row displays the fluxes.
Example 4 (sensitivity analysis)

The SIR network has the rate parameters and that are instantiated as in the stochastic simulation depicted in Figure 1. The flux graph in Figure 3 together with the time-series plot shows that all the susceptible individuals become infected and they recover before the time point is reached. To observe how the parameters and influence the dynamic behaviour, we have performed a set of simulations by varying these two parameters within a spectrum of 4 orders of magnitude from to in the logarithmic scale. This has resulted in simulations. We have then visualised the effect of these variations on the two flux edges of this network for the interval from time to , and compared these with the fluxes of the complete simulation. The process, whereby a previously infected individual infects another individual, is given by the flux edge . The recovery of infected individuals is given by the fluxes to the reaction , that is, the flux edge . Figure 5 displays the normalised flux values in these simulations for the complete simulation as well as for the time intervals 0 to 2 and 2 to 4. As it can be seen in these plots, the fluxes in the shorter intervals ( and ) add up to contribute to the fluxes of the complete simulation (). While a speed up in results in the infection of the whole population, a smaller delays the recovery.

The similarity between the two normalised flux graphs and is determined by a distance function function. The distance between the two flux graphs and is given by the sum of squared differences of the edge weights with each colour (species). If an edge with a colour does not exist, its weight is assigned a value of . The distance function is formally defined as follows:

Proposition 5

The distance function is a metric. That is, for any flux graph , and :

  1. ;

  2. if and only if ;

  3. ;

  4. .

Proof: The function can be mapped to Euclidean distance by mapping flux graphs to Euclidean vectors as follows: for the flux graphs , and , let and . For each , construct an dimensional vector by applying to each element of the function

Such a comparison of dynamic behaviour results in a spectrum of observations:

  • If the flux graphs are isomorphic, the differences in their edge weights will determine how similar they are, whereby identical flux graphs will have a distance of 0. We refer to isomorphism here, rather than simple equivalence, because the compared graphs might have different sets of vertices, for example, due to different naming.

  • if the two flux graphs have overlapping edges, but they are not isomorphic, then their uncommon edges will increase their distance.

  • If the flux graphs are completely different, every edge of the two flux graphs will contribute to their distance.

Below, we illustrate our method on networks with varying sizes and connectivities from the literature, whereby we argue that the networks separated with a smaller distance produce more similar behaviours.

5 Quantifying noise and comparing different time intervals of a CRN

The notion of distance between two flux graphs can be used to compare simulations of the same CRN to estimate the noise in the system. As an example for this let us consider the CRN depicted in Figure

6, which models the dynamic interactions of plasmin (pls) and urokinase-type plasminogen activator (upa) [17]. This network does not have any species instances at the initial state as it contains the zero-order reactions r13, r14 and r15 that introduce into the system the urokinase (tcupa), plasminogen (plg) and the generic substrate species X. The metabolites pls and upa activate each other by interacting in their active and inactive forms. These interactions are modelled by the reactions r1, r2 and r3. The reactions r4, r5, r6, r7, r8 and r11 model the degradation and dilution of the metabolites. The complexation and catalysis of various substrates by pls are modelled by the reactions r8, r9 and r12.

Figure 6 displays the time series of two representative stochastic simulations with this network as well as their normalised flux graphs. For comparison, the stochastic time series are plotted together with the deterministic trajectory of the system. These two stochastic simulations demonstrate similar qualitative behaviours, however they differ in their quantitative behaviour due to the noise in the system. To quantify the difference that these fluctuations create, we have computed the distance of the normalised flux graphs in these two simulations. The resulting distance value of 0.0334 provides an estimate of the effect of noise that makes two such simulations different. We have then performed this procedure on 100 pairs of simulations, and obtained a mean distance of

with a standard deviation of


Figure 6: The CRN in [17] that models the interactions of plasmin (pls) and urokinase-type plasminogen activator (upa). The two representative plots display the differences in stochastic time-series trajectories. For comparison, the stochastic simulations are plotted together with the deterministic trajectory. The transient interval within the first 100 time units, whereby the system approaches the steady state, and the steady state interval between the time units 900 and 1000 are framed. The normalised flux graph of these two simulations are depicted below their time series. The flux graphs are rendered with Cytoscape [16].

By taking this estimated noise value as the base-line, we have compared the dynamic behaviour of the system in the transient interval at the first 100 time units with the steady state interval in the last 100 time units, which can be observed in the deterministic trajectory. These two intervals are depicted in frames in the time series of the first simulation in Figure 6. Over a sample of 100 simulations the mean distance between these two intervals is with a standard deviation of . This distance value is greater than the estimated noise by a factor of on a sample of same size, and thus indicates the extent to which the dynamic behaviour at the transient interval differs from the equilibrium behaviour.

6 Quantifying information loss in model simplification

Figure 7: The CRN that models the Rho GTP-binding proteins and its flux graph [4, 12]. In the time series on the top, a stochastic simulation trajectory with this network is plotted together with the deterministic ordinary differential equations trajectory, which is indicated with the dashed lines. The reactions 2, 3, 5, 8, 9, 12, 13, 24, 26 that participate in the strong fluxes in the flux graph and the reaction 21 that introduces the active metabolite RT are used to construct a simplified network. The time series below displays the deterministic time series with the full network together with the deterministic time series of the reduced network, plotted with the dashed lines. The flux graph is rendered with Cytoscape [16].

In systems biology, it is often desirable to replace a model with a simpler one that produces a similar dynamics with the minimum loss of information. As an example for this, let us consider the CRN in Figure 7 that models the Rho GRP binding proteins that cycle between inactive (RD) and active (RT) forms by being catalysed by the enzymes A and E. In previous work [12], we have shown that flux analysis can be used to simplify this network to its subset that consists of the reactions participating in strong flux edges. Such a simplified network, consisting of the reactions 2, 3, 5, 8, 9, 12, 13, 21, 24 and 26, produces a similar time series as shown in Figure 7. Here, although reaction 21 does not participate in a strong flux, it is included in the simplified network as it introduces the active metabolite RT.

To quantify the loss of information in the simplification, we have first computed the distance between the simulations of the full network to obtain an estimate of noise. On a sample of 100 pairs of simulations, the mean distance between two simulations of the full network is with a standard deviation of . The distance between the complete network and the simplified network for the full interval, on the other hand, accounts for a distance of on a sample of 100 simulations. When we compare the transient interval up to the time point 0.5, this distance becomes . However, the distance in the steady state interval between the time points 0.5 and 1.0, again on a sample of 100 simulations, is , which is in the order of noise base-line.

These results demonstrate that for the steady state interval the simplified network’s information loss is in the order of noise base-line. Moreover, the complete loss of information in the simplified network is due to the transient interval, whereby the system species stabilise while approaching equilibrium.

7 Quantifying variation in behaviour in different regimes of a network

Figure 8: The molecular machinery of the Gemcitabine metabolism, representative time series plots in the extremities of the efficacy/non-efficacy continuum, and the mean normalised flux graphs on a sample of 100 simulations in these regimes [11]. The arrows on the right describe () the transport into the cell, () enzymatic reactions, () inhibition, () synthesis, and () DNA incorporation. The corresponding CRN is shown in Figure 9. The time series plot on the left for the efficacy regime is obtained from a single simulation with and . The one on the right for the non-efficacy regime is obtained from a single simulation with and . For comparison, both plots include the deterministic ordinary equation trajectories indicated with dashed lines. The flux graphs of the efficacy regime on the left and non-efficacy regimes on the right are rendered with Cytoscape [16].

r01: dFdC_out -> dFdC , 9.97234;
r02: dFdC -> dFdC_out , 0.000261675;
r03: dFdC_out -> dFdU , 0.00000472336;
r04: dFdU -> dFdU_out , 0.0508194;
r05: dFdC + dCK -> dFdC_MP + dCK , 0.104994;
r06: dFdC_MP -> dFdC , 0.0875208;
r07: dFdC_MP -> dFdC_DP , 2.37162;
r08: dFdC_DP -> dFdC_MP , 0.212216;
r09: dFdC_DP -> dFdC_TP , 2.52037;
r10: dFdC_TP -> dFdC_DP , 1.44908;
r11: dFdU + dCK -> dFdU_MP + dCK , 0.0968;
r12: dFdU_MP -> dFdU , 0.0000560415;
r13: dFdU_MP -> dFdU_DP , 0.07844;
r14: dFdU_DP -> dFdU_MP , 0.00420541;
r15: dFdU_DP -> dFdU_TP , 0.164322;
r16: dFdU_TP -> dFdU_DP , 0.0000905139;
r17: dFdC -> dFdU , 0.000476746;
r18: dFdC_MP + dCMPD -> dFdU_MP + dCMPD , 0.0004559;
r19: dFdC_TP -> dFdC_TP_DNA , 0.0544456;
r20: dFdU_TP -> dFdU_TP_DNA , 0.000737496;
r21: -> CDP , 10;
r22: CDP + RR -> dCDP + RR , 5;
r23: dCDP -> dCTP , 25.2037;
r24: dCTP -> CTP_DNA , 0.5;
r25: dCTP + dCK -> dCTP_dCK , alpha;
// efficacy: alpha = 0.000001 ~ non-efficacy: alpha = 10

r26: dCTP_dCK -> dCTP + dCK , 0.1;
r27: dFdC_DP + RR -> dFdC_DP_RR , beta;
// efficacy: beta = 0.01 ~ non-efficacy: beta = 0.000001

r28: dFdC_TP + dCMPD -> dFdC_TP_dCMPD , 0.001;
r29: dFdC_TP_dCMPD -> dFdC_TP + dCMPD , 0.1;

initial state
1000 dFdC_out; 10 dCK; 10 dCMPD; 20 CDP; 10 RR;

Figure 9: The CRN that implements the model depicted in Figure 8.

A CRN with a certain set of reactions can have drastically different time series behaviours with variations in initial conditions or rate constants. Because such parameters are used to represent metabolic conditions in different regimes, quantifying the deviation in behaviour that they cause can provide insights for the modelled biological systems. An application of this idea is illustrated in Example 4 and Figure 5.

Let us now consider a larger CRN, depicted in Figures 8 and 9, that models the Gemcitabine biochemical machinery [11]. Gemcitabine is a prodrug, which is widely used for treating various carcinomas. Gemcitabine (dFdC) exerts its clinical effect by incorporating its triphosphate metabolite (dFdC-TP) into DNA, thereby inhibiting DNA synthesis and replication, eventually resulting in programmed cell death. This process takes place in competition with the natural nucleoside dCTP. Besides the indirect competition for incorporation into DNA, dFdC-TP and dCTP compete by direct competition, whereby they inhibit the enzymes in each other’s activation cascades. The relative abundance of these enzymes, RR and dCK, gives rise to an efficacy/non-efficacy spectrum of the drug on a continuum. In the CRN in Figure 9, this continuum is modelled by changes in the rate constants and of the reactions 25 and 27. On one extreme, the efficacy regime is given by and . On the other extreme, the non-efficacy regime is given by and . These two regimes result in drastically different time series for the metabolites dFdC_TP_DNA and dCTP_DNA that determine the efficacy of the drug.

To estimate the behavioural difference between the efficacy and non-efficacy regimes, we have first computed the mean distance of the normalised flux graphs within these regimes as the base-line. On a sample of 100 pairs of simulations, the mean distance between two simulations in the efficacy regime is with a standard deviation of . In the non-efficacy regime, the distance is with a standard deviation of . On this sample of 100 simulations, the mean distance between the efficacy and non-efficacy regimes is 1.48. When we take the efficacy regime as the base-line for comparing the efficacy and non-efficacy regimes, we obtain the ratio that delivers a factor of . Taking the non-efficacy regime as the base-line results in the ratio of , delivering a factor of . This allows us to use this later factor as a quantification of the upper estimate for the variation between the two regimes at the extremities of the efficacy/non-efficacy spectrum.

8 Discussion

CRNs provide a convenient and expressive programming language for modelling biological systems as well as other complex systems across many branches of science. Besides their role as back-end engines in rule-based modelling languages [3, 15], their use in synthetic biology in implementing molecular programs resembles common programming practises [13, 10]. However, the quantitative nature of CRNs, which heavily relies on parameterisation, makes them difficult to analyse and compare in a qualitative manner. This is because, unlike programs in common programming languages, the complex behaviours that emerge from CRN runs, i.e., simulations, often remain undetectable from their structure.

Despite the inherent challenges, the methods that originate from computer science, in particular those in concurrency theory, have been studied by various authors with the aim of connecting network structure with quantitative behaviour. These efforts mainly rely on the consideration that the analogy between complex systems studied in computer science and those in other disciplines is prone to providing new insights that can benefit both sides. In this respect, the flux graphs of our method has its origins in concurrency theory due to the resemblance between event structures [14, 8] and Markov chain semantics of CRNs: the dependency graphs (Figure 2), which are precursors of the flux graphs, can be treated as configurations in event structures. Such a view of these structures as well as those from other branches of computer science can provide further perspectives. In this regard, an approach that also uses partial order representations of traces for comparing concurrent programs can be found in [2]. Similar considerations that use distance metrics on various aspects of programs can provide insights in comparing programs in a quantitative manner for the cases, where a qualitative comparison is not straight-forward or meaningful.

In quantitative disciplines, being able compare the primary structures of function, possibly in a way that permits for a notion of equivalence, is a key to evaluate and gain insight on such structures. Our method for comparing CRNs with respect to their dynamic behaviours in simulations is set out with such an ambition. In the context of comparing CRNs, a promising method that is orthogonal to the one proposed here and combines quantitative and structural points of views is given in [6], where the authors describe a method, with certain constraints, for minimising a CRN by aggregating its species. The notion of species aggregation as well as reaction aggregation is a topic of ongoing investigation also for the present work. In particular, such aggregations can provide further aid when comparing very large networks or comparing the behaviour of a large network with a smaller one. Another related topic, which is left for future work, concerns algorithms for re-mapping reaction nodes of compared flux graphs. This is because two networks that appear different at a first observation can be separated by a small distance after renaming their reaction edges, and this can explain the similarity in their dynamic behaviours.

Our method uses flux graphs resulting from stochastic simulations as discrete abstract representations of dynamic behaviour. This makes it possible to quantify the simulations in terms of their distance at steady states as well as at transient time intervals at which the system species have not yet reached equilibrium. The use of a metric in our method makes it possible to assign a distance measure to the comparisons that overlaps with graph isomorphism at the closest distance. Because flux graphs have intuitive interpretations as they display which portion of simulation species flows between which reactions, they constitute favourable abstractions of behaviour that preserve the inherent stochasticity of the CRNs. Our comparison of flux graphs uses the notion that graphs that are close according to our metric have similar intensities of fluxes. A deeper analysis on when and why two graphs are close according to the metric is left for future work.

Due to the underlying mass action semantics, the observations obtained with our method complement those that are obtained with deterministic simulations with ordinary differential equations. Although differential equations do not directly capture noise and stochasticity, in some cases methods based on linear noise approximation [5] can be used for recovering the information on stochasticity. Still, the discrete structure of flux graphs makes them favourable structures to work with algorithmically 111The python scripts and tools of our method are available for download at ozan-k.com/distance.zip., and their counter-part in the continuous setting of ordinary differential equations is yet to be identified.


  • [1]
  • [2] A. Bouajjani, C. Enea & S. Lahiri (2017): Abstract Semantic Diffing of Evolving Concurrent Programs. In: International Static Analysis Symposium SAS 2017: Static Analysis, LNCS 10422, pp. 46–65, doi:http://dx.doi.org/10.1007/978-3-319-66706-5˙3.
  • [3] P. Boutillier, J. Feret, J. Krivine & W. Fontana (2018): The Kappa Language and Kappa Tools, A User Manual and Guide,v4. Available at https://kappalanguage.org/sites/kappalanguage.org/files/inline-files/Kappa_Manual.pdf.
  • [4] L. Cardelli, E. Caron, P. Gardner, O. Kahramanoğulları & A. Phillips (2009): A Process Model of Rho GTP-binding Proteins. Theoretical Computer Science 410/33-34, pp. 3166–3185, doi:http://dx.doi.org/10.1016/j.tcs.2009.04.029.
  • [5] L. Cardelli, M. Kwiatkowska & L. Laurenti (2016): Stochastic Analysis of Chemical Reaction Networks Using Linear Noise Approximation. Biosystems 149, pp. 26–33, doi:http://dx.doi.org/10.1016/j.biosystems.2016.09.004.
  • [6] L. Cardelli, M. Tribastone, M. Tschaikowski & A. Vandin (2017): Maximal aggregation of polynomial dynamical systems. Proceedings of the National Academy of Sciences, doi:http://dx.doi.org/10.1073/pnas.1702697114.
  • [7] D. T. Gillespie (1977): Exact Stochastic Simulation of Coupled Chemical Reactions. The Journal of Physical Chemistry 81(25), pp. 2340–2361, doi:http://dx.doi.org/10.1021/j100540a008.
  • [8] O. Kahramanoğulları (2009): On Linear Logic Planning and Concurrency. Information and Computation 207, pp. 1229–1258, doi:http://dx.doi.org/10.1016/j.ic.2009.02.008.
  • [9] O. Kahramanoğulları (2017): Quantifying Information Flow in Chemical Reaction Networks. In: Proceedings of 4th International Conference on Algorithms for Computational Biology, AlCoB 2017, LNCS 10252, pp. 155–166, doi:http://dx.doi.org/10.1007/978-3-319-58163-7˙11.
  • [10] O. Kahramanoğulları & L. Cardelli (2015): Gener: a minimal programming module for chemical controllers based on DNA strand displacement. Bioinformatics 31 (17), pp. 2906–2908, doi:http://dx.doi.org/10.1093/bioinformatics/btv286.
  • [11] O. Kahramanoğulları, G. Fantaccini, P. Lecca, D. Morpurgo & C. Priami (2012): Algorithmic modeling quantifies the complementary contribution of metabolic inhibitions to gemcitabine efficacy. PLoS ONE 7(12), p. e50176, doi:http://dx.doi.org/10.1371/journal.pone.0050176.
  • [12] O. Kahramanoğulları & J. Lynch (2013): Stochastic Flux Analysis of Chemical Reaction Networks. BMC Systems Biology 7(133), doi:http://dx.doi.org/10.1186/1752-0509-7-133.
  • [13] M. R. Lakin, S. Youssef, F. Polo, S. Emmott & A. Phillips (2011): Visual DSD: a design and analysis tool for DNA strand displacement systems. Bioinformatics 27, pp. 3211–3213, doi:http://dx.doi.org/10.1093/bioinformatics/btr543.
  • [14] M. Nielsen, G. Plotkin & G. Winskel (1981): Petri Nets, Event Structures and Domains, part 1. Theoretical Computer Science 13(1), pp. 85–108, doi:http://dx.doi.org/10.1016/0304-3975(81)90112-2.
  • [15] J. A. P. Sekar & J. R. Faeder (2012): Rule-Based Modeling of Signal Transduction: A Primer. Computational Modeling of Signaling Networks. Methods in Molecular Biology (Methods and Protocols) 880, pp. 139–218, doi:http://dx.doi.org/10.1007/978-1-61779-833-7˙9.
  • [16] P. Shannon, A. Markiel, O. Ozier, N. S. Baliga, J. T. Wang, D. Ramage, N. Amin, B. Schwikowski & T. Ideker (2003): Cytoscape: a software environment for integrated models of biomolecular interaction networks. Genome Research 13(11), pp. 2498–2504, doi:http://dx.doi.org/10.1101/gr.1239303.
  • [17] L. Venkatraman, H. Li, C. F. Jr. Dewey, J. K. White, S. S. Bhowmick, H. Yu & L. Tucker-Kellogg (2011): Steady states and dynamics of urokinase-mediated plasmin activation in silico and in vitro. Biophysical Journal 101 (8), pp. 1825–1834, doi:http://dx.doi.org/10.1016/j.bpj.2011.08.054.