- Methodology article
- Open Access

# Rule-based multi-level modeling of cell biological systems

- Carsten Maus
^{1}Email author, - Stefan Rybacki
^{1}and - Adelinde M Uhrmacher
^{1}

**5**:166

https://doi.org/10.1186/1752-0509-5-166

© Maus et al; licensee BioMed Central Ltd. 2011

**Received:**3 June 2011**Accepted:**17 October 2011**Published:**17 October 2011

## Abstract

### Background

Proteins, individual cells, and cell populations denote different levels of an organizational hierarchy, each of which with its own dynamics. Multi-level modeling is concerned with describing a system at these different levels and relating their dynamics. Rule-based modeling has increasingly attracted attention due to enabling a concise and compact description of biochemical systems. In addition, it allows different methods for model analysis, since more than one semantics can be defined for the same syntax.

### Results

Multi-level modeling implies the hierarchical nesting of model entities and explicit support for downward and upward causation between different levels. Concepts to support multi-level modeling in a rule-based language are identified. To those belong rule schemata, hierarchical nesting of species, assigning attributes and solutions to species at each level and preserving content of nested species while applying rules. Further necessities are the ability to apply rules and flexibly define reaction rate kinetics and constraints on nested species as well as species that are nested within others. An example model is presented that analyses the interplay of an intracellular control circuit with states at cell level, its relation to cell division, and connections to intercellular communication within a population of cells. The example is described in ML-Rules - a rule-based multi-level approach that has been realized within the plug-in-based modeling and simulation framework JAMES II.

### Conclusions

Rule-based languages are a suitable starting point for developing a concise and compact language for multi-level modeling of cell biological systems. The combination of nesting species, assigning attributes, and constraining reactions according to these attributes is crucial in achieving the desired expressiveness. Rule schemata allow a concise and compact description of complex models. As a result, the presented approach facilitates developing and maintaining multi-level models that, for instance, interrelate intracellular and intercellular dynamics.

## Keywords

- Mating Type
- Downward Causation
- Stochastic Simulation Algorithm
- Rule Schema
- Reaction Rule

## Background

In computational modeling of cell biological processes, a formal representation, i.e. a model, of the dynamics of the system under study is the central subject of investigations. Cell biological models typically focus on the processes of molecules like proteins and small chemicals. However, in addition, dynamics at cell level, e.g. proliferation and differentiation of stem cells, and cell-cell interaction, influence these intracellular dynamics as well, just like such high-level dynamics are influenced by processes at the molecular level. This hierarchical organization and the causalities between different levels, i.e. from the lower to the upper (upward causation) and vice versa (downward causation), are universal characteristics of biological systems [1, 2]. Hence, multi-levelness has been identified to be an important and general principle of systems biology [3]. Depending on the question that shall be pursued with the model, capturing processes that happen at different levels, e.g. proteins, individual cells, and cell populations, and their interrelations within the model is of relevance [4]. The question is how can this multi-levelness be supported by modeling methodologies? We will pursue this question in the context of rule-based modeling.

### Rule-based modeling

In the past years, many different modeling languages have been introduced to support modelers in their task, for example [5–8]. The idea is to write down a model not directly mathematically, like in ordinary differential equations (ODEs) or stochastic processes, but in terms of a tailor-made syntax. A semantics is then provided that bridges the gap between what is written and the mathematical definition of its computation. A carefully designed syntax can increase the accessibility of models for discussion and presentation, especially for domain experts that are not extensively familiar with modeling and the underlying mathematical formalism. Formal modeling languages can also extend the flexibility in the choice of methods for model analysis, since more than one semantics can be defined for the same syntax (see [9–12] for some examples).

*Monomer*and

*Dimer*and the following reversible reaction, where

*k*

_{ f }and

*k*

_{ r }are the respective rate constants for the forward and backward reactions:

Chemical solutions, i.e. mappings from species to concentrations or alternatively to their discrete integer amounts, describe a model's state. A formal semantics can then be defined as mapping of chemical solutions and reactions to, for example, stochastic processes or ODEs [11, 15].

Many rule-based approaches, for instance [15–17], allow to describe species with attributes as well as rules with reactant patterns, i.e. by specifying structured molecules and rule schemata they allow to model basic reactions as an alternative to the entire network of all possible chemical species and reactions. Thus, due to rule schemata, complexity - in terms of the number of required rules - can be significantly reduced [18].

Let us illustrate this with the help of a simple example. Proteins, in particular those involved in signaling pathways, often show various sites for binding other molecules. Furthermore, modifications like phosphorylation or methylation at diverse sites might determine the ability for binding other molecules and thus influence the interaction pattern of a protein. Hence, combinatorial explosion easily leads to very complex network models with hundreds or even thousands of species and reactions. Consider a system of ten interacting proteins. One of them is a large scaffolding protein that might reversibly bind each of the other nine proteins at nine distinct sites. We assume each of the nine binding reactions to be independent from other bindings. This at first view quite simple model requires to define 521 (2^{n} + *n* with *n* = 9) molecular species, i.e. distinct combinations of bindings, and 4608 reactions. Attributes and rule schemata help to deal with the system's complexity by specifying only the basic molecules and reactions. As the binding reactions are assumed to be independent from each other, each of them may be described individually without taking the state of other binding sites into account. By omitting such irrelevant information, one rule might then be translated into multiple basic reactions of a large network by which the model is kept small and manageable. Hence, a rule-based modeling language like BioNetGen [11] allows to model the above system by specifying a set of only ten molecules and nine reversible rule schemata instead of 521 molecular species and 4608 reactions. For a more comprehensive review of rule-based modeling and its advantages for formal descriptions of signal transduction pathways, we would like to refer to [18].

Summing up, due to schematic rules, the complexity of a model may be effectively reduced and an intuitive modeling metaphor along the lines of well-known chemical reaction equations facilitates the process of modeling and the accessibility of models. Consequently, the number of rule-based approaches to describe biochemical reactions has increased during the last years, e.g. [8, 11, 15, 16], and also an increasing number of publications can be observed that utilize rule-based languages for concrete modeling studies, e.g. [19–22].

In this paper, we identify concepts for supporting rule-based multi-level modeling. We show a realization of these concepts as part of ML-Rules, a modeling and simulation approach we developed. Thereby, we start with concepts that nearly all current state of the art rule-based approaches support to successively approach concepts that are obviously related to multi-levelness, i.e. nesting. Thereafter, an example in which intracellular and intercellular dynamics are combined will illuminate the role that each of these concepts play in supporting multi-level modeling. Finally, to complete the results and discussion part of the paper, related work will be revisited to discuss which of the identified concepts are already supported.

## Results and Discussion

### Overview of Concepts

A very brief introduction to rule-based modeling is already given in the previous background section. In the following, we will focus on the concepts we use in our rule-based multi-level approach (ML-Rules). Their respective role in supporting multi-level modeling will be shown in the subsequent example model.

For first studies, we base ML-Rules on continuous time Markov chains (CTMCs). The semantics is discrete population-based, i.e. we work with natural copy numbers of identical species instead of real valued concentrations. The reason for a stochastic semantics lies in the observation that at higher levels of organization (like cells) no longer abundant numbers will be able to balance fluctuations as can be often observed at lower levels, e.g. proteins that are involved in metabolic pathways. And also when looking at levels further down in the hierarchy, e.g. gene regulatory processes, stochastic events may play a crucial role due to low copy numbers of involved species. Hence, stochasticity is often an essential feature for multi-level modeling of cell biological systems [23]. However, it should be noted that stochasticity is not necessarily constrained to CTMCs, as sometimes at higher levels other than exponential time delays are required, e.g. normal distributions [24].

#### Species, attributes, and solutions

The basic building blocks of ML-Rules models are called species which may represent any object of interest, e.g. small chemicals, macro-molecules like proteins, or membrane bound cellular compartments. Each species has a name, e.g. *A*, and each name has a fixed arity *ar* ∈ ℕ_{0} that specifies the number of attributes of a species. Attributes are not restricted to a finite set of values and they may be of any kind of numerical value and textual string. For convention throughout this paper, species names start with a capital letter and attributes are written in a bold font type within parentheses behind the name. Parentheses are omitted if *ar* = 0. For example, *A, A*(**1**), *A*(**0**,**1.67**), and *A*(**green**,**-15**, **true**) are valid examples for a species *A* with *ar*(*A*) = 0, 1, 2, and 3 respectively. However, these examples are invalid when two or more of them are being used within the same model, as the arity of a species name is fixed and therefore may not vary between species with identical names, i.e. *A* in this case. Each defined combination of attributes is a distinct species, i.e. *A*(**1**, **1**) and *A*(**1**, **2**) share the same name but are different species.

A solution is a multiset of species, i.e. can be either a single species or a composition of multiple sub-solutions. The '+' is the delimiter symbol for composing multiple solutions and a solution can be also an empty set ∅. We write *nA* with *n* ∈ ℕ_{0} to refer to a solution which is composed of *n* identical copies of *A* (*n* is omitted if *n =* 1). For example, [2 A(**1**) + 4A(**2**) + B] describes a solution consisting of three different species with an amount of 2, 4, and 1 respectively.

#### Reaction rules, rule schemata, and their instantiation

*S*by a product solution

*S'.*The general syntax follows the notation of chemical reaction equations and the majority of other rule-based modeling languages, e.g. [8, 9, 16, 17, 25], namely reactants are written on the left-hand side and products on the right-hand side of an intermediate right-headed arrow:

For simplicity reasons, our syntax only allows for uni-directional rules. Thus, two complementary rules have to be defined for modeling reversible reactions. However, it would be straightforward to extend the syntax to reversible reaction rules if needed.

Rule schemata are a notational convenience, which uses variables to bind attributes of reactants. By doing so, each rule schema may encode for several rule instantiations, i.e. reactions. Let us take a reaction which converts a species *A* into another species *B.* Consider the situation, that *A* is an attributed species with an arity *ar*(*A*) = 1, but the attribute is of no interest for its reaction to *B*. Without schematic rules, we would need to specify one rule for each possible value of the attribute of *A*, which can be tedious and error-prone.

*pattern*by inserting a variable

*x*for the attribute of

*A*:

*A*(

**1**) + 4

*A*(

**2**)] evaluates to the following two rule instantiations:

Besides such very simple variants, rule schemata can be also defined by employing expressions to specify attributes. For instance, a reactant pattern *A*(*x*) + *A*(2*x*) matches every solution where at least two *As* exist, one of which attribute's value is exactly twice the attribute's value of the other one. Expressions can be also used to specify the attribute of the products, e.g. the rule *A*(*x*) → *B*(2*x*) applied to a solution [*A*(**2**) + *B*(**3**)] would lead to [*B*(**3**) + *B*(**4**)]. Please note, arbitrary functions can be used for expressions (see also the section on implementation).

*ν*-operator:

**F** is a constant that denotes a free binding site and *νx* creates a fingerprint-like unique value which does not already occur in the current model state. It is assigned to the products on the right hand side of the rule via variable *x,* i.e. in an instantiation of the rule, *x* is replaced by a newly created unique value which serves as identifier for this particular binding. This method for representing linkage of species is identical to private channels in the π-calculus [6, 26] and allows to model molecular complexes similar as can be done with rule-based languages that have explicit notions of complexation, e.g. [16, 17]. Moreover, once created, unique values can be used in a highly flexible manner, e.g. to describe bonds shared by more than two binding partners (like hyperedges in a graph) or across level boundaries (the concept of multiple levels will be introduced below). Species can also be marked with an unique indentifier to observe the dynamics of individual entities.

However, note that the approach also has some drawbacks compared to explicit notions of molecular bindings: first of all, without profound knowledge or decent annotation of the model, it might be difficult to find out whether certain attributes of species represent binding sites. The approach would also allow to reset just one species to its unbound state while its former binding partner remains unchanged. Therefore, the modeler is responsible for describing a correct model without such unrealistic dynamics. Furthermore, at least in the current implementation of ML-Rules, using identifiers for modeling links between species may slow down the simulation as the number of distinct species increases and therefore matching reactants may take significantly more time (see section on implementation).

#### Kinetic rates and constraints

The higher the rate of a rule, the more likely the rule will fire at a time calculated according to this rate. The kinetic rate can be a simple constant numerical value, for example, to describe a chemical reaction with constant speed, i.e. a zeroth-order reaction whose speed is independent of the amount of any chemical species. However, most reaction rules that describe biological systems need to take the amount of one or more reactant species into account for specifying correct system dynamics. Probably in most cases the kinetics of a rule follows the law of mass action, but in systems biology alternative kinetics, e.g. Michaelis-Menten kinetics for enzymatic reactions and Hill functions for describing cooperativity, are also frequently applied [27]. That is why we allow for arbitrary reaction rates using mathematical expressions. Any kind of mathematical expression is allowed that evaluates to a non-negative numerical value, see also [28].

*A*a species identifier

*a*, i.e.

*A*(...)

^{ a }, which evaluates to the amount of species

*A*(...) in the solution. Assuming mass action kinetics, the rate of a first-order reaction

*A*→

*B*with rate constant

*k*can then be correctly described as follows:

*A*(

**1**) + 4

*A*(

**2**)] leads to two rule instantiations with different propensities:

Like in the *attributed π-calculus* [29] and React(C) [15], reaction constraints allow for more powerful control on the dynamics of a model.

*A*(

*x*) exceeded a certain threshold value

*T:*

If the amount of *A*(*x*) in a given solution does not exceed *T*, the if-then-else expression evaluates to a kinetic rate of 0, which determines that the rule will not fire.

*e*then

*r*else 0, we write the conditional expression

*e*below the arrow that is assigned the basic kinetic rate

*r:*

#### Multi-level rule schemata

The features listed so far are not new. Species with attributes and schematic rules are standard features that can be found in nearly every rule-based language in the field of systems biology, e.g. [11, 15, 16]. The requirement for modeling biological systems with rate kinetics different from those following the law of mass action seems to be also widely accepted nowadays. BIOCHAM [9], LBS [8], and React(C) [15], for example, support arbitrary reaction rates. Also recent developments for the BioNetGen language now allow to specify user-defined rate law functions, and moreover, modeling of conditional expressions to support the construction of logical sequences of control [30]. All together, they will play a role in supporting multi-level modeling.

However, a truly salient feature of multi-level modeling are hierarchies. Hierarchical structuring facilitates modeling of complex biological systems by defining them in terms of their components and the interactions that exist between them. Hierarchies help to structure the knowledge about a given system [31]. In addition, they allow to describe multiple nested solutions similar to the multiple separated reaction compartments that can be found in biological systems, e.g. cells, organelles, and vesicles.

*A*,

*B*,

*C*,

*D*, and E denote different names of species. Solution S consists of two species

*A*and

*B*of which both contain solutions with further species on their own. Species

*A*consists of a sub-solution

*S*

_{ A }= [C + 2

*D*[

*S*

_{ D }]], i.e. a single atomic species

*C*and a nested species of type

*D*[

*S*

_{ D }] with an amount of two and a sub-solution

*S*

_{ D }= [

*E*]. Equally to S

_{D}, the sub-solution enclosed by

*B*consists also of species with name

*E*, but here with an amount of three:

*S*

_{ B }= [3

*E*]. The whole nested solution can be written as:

*A*(

**0**)[

*S*

_{ A }] denotes the existence of an attribute 0 for the above nested species

*A*. The graphical syntax is straightforward:

The ability to assign attributes to nested species allows to equip each hierarchical level with an own state that is not only determined by the enclosed species. Such high-level states are of particular interest for multi-level modeling as they allow to describe dynamic behavior similar to observations performed at different levels of organization. The later example model will illustrate this in detail.

describes a reaction from *A*(**0**) to *A*(**1**) under the condition that *A* encloses at least one species *C.* Please note, this rule may also match species where *A*(**0**) contains further species in addition to the *C* (no matter which and how many), for instance like in the previous example. However, such a sub-solution gets lost when the rule fires, as the product species contains just exactly one *C*. The same holds true for a potential sub-solution of *C*; the reactant pattern matches every species where a *C* is part of a sub-solution of *A*(**0**), but it says nothing about a sub-solution of *C.* Hence, if the reactant species *C* would contain further species, they would get lost as well.

*x,*defining a guard for the reaction, i.e.

*C*∈

*x,*and inserting

*x*into the product:

Such bound solutions can be freely reused for defining the products, i.e. migration, copying, and merging of solutions are easy tasks. The problem of splitting is another matter, for which specific operations on solutions are needed, e.g. to split a solution equally into two new solutions. Whereas ML-Rules and its current simulator allow the use of arbitrary functions on attributes, the application of functions on solutions is not yet supported. However, an integration into ML-Rules requires only slight adaptations of the syntax and semantics and is therefore planned for the near future.

Later, we will provide a more detailed explanation of our multi-level approach based on a realistic biological system. With the help of this example, we will also motivate again the need for multi-level modeling and illustrate how to realize upward and downward causation.

#### Implementation

*core*and a large set of different

*plug-ins.*For ML-Rules, a set of new plug-ins has been implemented: an editor that allows to create and edit ML-Rules models supporting syntax highlighting (including syntactical and semantical consistency checks) and a simulator which is based on the Direct Reaction Method of Gillespie [33] and thus implements an exact stochastic simulation algorithm (SSA). In addition, plug-ins for model reading and writing and for observing the model have been realized (see also Figure 3B). These are the typical plug-ins that have to be implemented if a new formalism shall be added to JAMES II. Other plug-ins can simply be reused, e.g. for random number generation and event queues. Also plug-ins for (parallel) optimization, validation, trace analysis, data storage, etc. can be reused to support the execution of entire simulation studies [34].

Below we provide a basic description of the simulation algorithm. Please note that in JAMES II simulation algorithms are not designed as monolithic blocks. By using plug-ins, alternative sub-algorithms can be easily exploited and combined. It has been shown that the performance and suitability of algorithms depend to a large degree on the concrete model, that details (i.e. sub-algorithms) matter, and that a suitable configuration can significantly speed up simulation [35]. In combination with methods that help to automatically select and configure simulators on demand, this type of simulation design supports a high flexibility for executing multi-level models. Therefore, the simulator is structured as follows.

**Require**: *S, rules*

**for** *ru* ∈ *rules* **do**

*rts* ← *MatchReactants(ru*, *S)*

*rcts* ← *rcts* | *CreateReactions*(*ru*, *rts*, *S*)

**end for**

**for** r ∈ *rcts* **do**

*r*_{
prop
}← *CalcPropensity*(*r*)

**end for**

*reaction* ← *SSA(rcts)*

**for** *reactant* ∈ *reaction* **do**

*RemoveReactant*(*reactant*)

**end for**

**for** *product* ∈ *reaction* **do**

*PutProduct*(*product*)

**end for**

*MatchReactants* selects all matching reactants of the selected rule schema *ru.* The next step is to instantiate the rule schema *ru* and grouping equivalent rule instances by calculating the reactions *rtcs.* Now the propensity is calculated for each reaction *r*. Please note, as now the number of reactants (that apply) is part of the reaction, calculating the propensity is only dependent on *r*. Also, all information needed is directly available for each *product* in *r*, such as bound attribute values or solutions that are used on the rule's product side. After that an SSA is invoked. We have so far integrated the Direct Reaction Method of Gillespie. The selected reaction is executed by removing reactants and adding products.

The complexity of *MatchReactants* for matching a reactant is $\mathcal{O}\left(n+{m}^{k}\right)$ where *n* denotes the number of species in the solution, *m* the number of species in one context and *k* the depth of nesting of the reactant. The complexity of *CreateReactions* is $\mathcal{O}\left({l}^{n}\right)$ where l is the number of reactants of a rule. Some optimizations are employed, e.g. to restrict the search space for matching reactants. For example, when evaluating a rule *A*(**4**) → *B,* all *A*s whose attribute does not equal 4 will not be considered for matching the reactants of a rule to a solution. However, most of the simulation efforts still goes into calculating *rts*, i.e. matching the rules (coarsely 50% of the overall calculation). Therefore, current efforts are dedicated towards developing alternative approaches for matching, e.g. integrating special index methods. To avoid time-consuming instantiation of all possible reactions, an alternative kinetic Monte Carlo simulation approach [30, 36, 37] based on individual particles rather than populations of identical species, might also be worth to explore for simulating ML-Rules models.

With *CalcPropensity* the propensity of each generated reaction is calculated using the specified expression and taking the context of the matched solution into account. This means that the propensity is adjusted according to the amount of possible contexts the matched solution is part of (see previous Section and Figure 2). Based on Java reflection, currently functions provided by Java can be used within the expressions. The integration of a library of own functions as a plug-in will be realized in the future.

*RemoveReactant*and

*PutProduct*is a crucial part during simulation and requires, given the nested species, special attention. This means whenever a species s is removed from a solution

*S*

_{ sub }from the overall solution

*S*, the populations within

*S*need to be updated accordingly. Sometimes it might not be enough to just decrease the population value of

*s*in

*S*

_{ sub }, because by removing s from

*S*

_{ sub },

*S*

_{ sub }becomes a different species which means it needs to be split from the previous population it was attached to and needs to be merged with an already existing population of that species (see example below). This actually has to be carried on upwards the hierarchy until no splitting and merging is needed anymore. The following example shows splitting and merging. Given a solution:

*B*from

*A*[3

*B*], would first lead to a split of the population of

*A*[3

*B*] and result in the solution

*A*[2

*B*] has to be merged with the already existing population of 2

*A*[2

*B*], so the correct solution will be

The current simulator proceeds basically as a discrete event simulator. Therefore, only slight adaptations are required to support also events that are not distributed exponentially. This feature is important as many biological phenomena at higher levels are not necessarily exponentially distributed, as argued in [38]. Also, as multi-level models operate often at different temporal scales, the calculation effort for simulating these models in a pure discrete event manner might easily become prohibitive. Therefore, hybrid simulation approaches, e.g. [23, 39], shall be exploited in the future.

With additional file 1 we provide a prototypical demo software tool comprising a model editor, simulator, a rudimentary line chart visualization, and simulation data export. The following examples as well as additional example models can be loaded and demonstrate the concrete syntax of ML-Rules. Its source code will be made available under an open source licence as part of a following JAMES II release at http://www.jamesii.org.

### Example model

*Schizosaccharomyces pombe*) cell division and mating type switching in dependence of an intracellular control circuit. This intracellular regulatory network of interacting proteins in turn depends on the size of the cell and specific pheromone molecules. To prepare for mating, fission yeast cells may secrete pheromones that cause an arrest of the division cycle of cells with opposite mating type. So, the different parts of the model at multiple levels are highly interconnected and influence each other in various ways (see Figure 4). In addition, to investigate the relation between pheromone signaling and the location of cells, the model comprises also some simple spatial dynamics that cover pheromone diffusion and cell displacement from crowded areas.

The presented model illuminates the importance to consider different levels of organization for modeling certain phenomena in cell biology and shows the previously introduced concepts at work. Particularly the extension of the model from a single cell to multiple cells illuminates the benefits of the presented rule-based multi-level approach.

As the model is not intended to be a contribution for fission yeast science, it may not be sound in each aspect and may not reflect the current level of knowledge about this system. Also certain parameters are simply estimated. However, we payed attention to presenting a realistic case study that shows how a rule-based multi-level approach like ML-Rules facilitates modeling of such systems.

#### Cell division cycle

The eurkaryotic cell cycle consists of four distinct phases: G_{1}, S, G_{2}, and M. During the first three phases, a cell is increasing in size and its DNA is replicated. At the end of the cycle, a cell enters the M phase (mitosis) and finally divides into two daughter (or sibling) cells. These major events of the cell division cycle are controled by certain proteins and the underlying regulation processes in fission yeast have been extensively studied [40–45].

In our example model, the regulation at protein level is based on an early model by Tyson [46]. This deterministic continuous model consists of two proteins, cyclin and cdc2, that form a complex called maturation promoting factor (MPF) which in turn controls traversion through the cell cycle. Today, there exist much more detailed models of this system than the relatively simple Tyson model, e.g. [43, 47–49]. However, the purpose here is not to provide the most accurate model of yeast cell cycle control but to show why multi-level modeling is important for studying certain aspects of cell division and how it can be realized. In this sense, the Tyson model is well suited as it is simple but at the same time captures the essential dynamics.

Most reactions of this model follow the law of mass action and we do not discuss each rule in detail here. Instead, we would like to refer to the supplementary material where the whole model can be found (additional file 2). The interesting reactions from our point of view are the activation of MPF and the subsequent dissociation of this complex. Activation of inactive MPF, i.e. the dephosphorylation of its cdc2 subunit, is assumed to be an autocatalytic process:

The higher the amount of activated MPF (*M*_{
A
}), the higher is the activation rate; *D*_{
tot
}is a model parameter that denotes the total amount of cdc2.

*exp*(-0.693

*t*/

*T*

_{ d }), where t is the time and

*T*

_{ d }the doubling time of cell size. In comparison to the amount of intracellular proteins, the size (or the volume) of a cell is a good example for denoting high-level information at cellular level. Hence, implicitly downward causation and the multi-levelness of the system are taken into account by the Tyson model.

*C*that describes the cell and its current volume, i.e. its size. By doing so, we can adjust the rate of MPF dissociation inside the cell dynamically and individually for different cell instances:

*Y*and

*Y*

_{ P }), we do not distinguish between phosphorylated and unphosphorylated cdc2 (

*D*). This is a simplification in accordance with the original model, as the phosphorylation and dephosphorylation reactions of cdc2 are very fast compared to the others and thus can be neglected. Please further note, the constraint (

*a*> 1) ensures that

*M*

_{ A }will never be completely degraded, so that there is at least one molecule of activated MPF at any time. This assumption is needed as otherwise the above rule of MPF activation is not able to fire when the amount of

*M*

_{ A }is zero. Alternatively, one could introduce an additional cell attribute that denotes the current amount of enclosed

*M*

_{ A }and serves as high-level information to describe the autocatalytic reaction:

*T*

_{ d }with a rate constant

*k*

_{6}= 1 per minute, where

*T*

_{ d }is the mean doubling time:

Please notice that it would be easy to increase the amount of cells here by putting two cells on the right-hand side of the rule. Later we extend the model in this way. However, as the interplay between a high-level state and processes at lower level is subject of our interest here, we keep the cell number constant and just mimic cell division by halving the cell volume. At this stage, the model comprises the intracellular processes shown in [46] and explicit downward causation where the state of a cell (its volume) influcences a process at lower level. However, as Figure 5B depicts, although the mean oscillation period is longer than before and thus closer to observed cell cycle durations, now it is highly variable and still significantly shorter than the mass-doubling time (*T*_{
d
}) of 116 minutes. Moreover, this leads to nonconformity of active MPA bursts and cell division times. Hence, to get lifelike oscillatory behavior and to achieve better accordance between protein peaks and division time, we need to further extend the model. Let us therefore take a look on how low-level states influence dynamics at the cell level, i.e. how intracellular dynamics trigger high-level events so that the cell traverses through the different cell cycle phases.

_{1}to S phase. Therefore, we first equip the cell

*C*with an additional attribute for the current phase of the cell cycle to model such transitions. As DNA replication (S phase) takes a rather constant time for each cell cycle and we are more interested in the control of the G

_{1}and G

_{2}checkpoints, we combine the S and G

_{2}phases to a single phase S/G

_{2}. We then define a rule for the G

_{1}-to-S/G

_{2}transition that is constrained to only fire if the amount of

*M*

_{ I }exceeds a certain threshold value

*t*

_{7}:

_{2}to M phase is guarded by a threshold

*t*

_{8}of the amount of active MPF:

_{1}, and in reality, at the same time the cell splits into two daughter cells. However, we are still interested in the interplay between high-level and low-level states only. Thus, we keep the amount of cells constant but reduce the volume of the cell like we've already seen above. The division occurs after active MPF falls below a second threshold value

*t*

_{9}which is much lower than

*t*

_{8}:

In all three cases of phase transitions, the content of the cell remains the same as the only change governed by the rules is dedicated to the cell cycle phases. The rules describe typical examples of upward causation, i.e. low-level states (the amount of certain protein complexes) determine dynamics at higher levels (the cell). They also show the necessity for flexible reaction constraints to model inter-level causalities.

Simulation results of this multi-level model show that the mean period of oscillations is now in accordance with the mass-doubling time *T*_{
d
}(Figure 5C). Cell division may happen at volumes larger than 2 and consequently the cell cycle may take more time than *T*_{
d
}, but if so this has implications for the next cycle. Due to the unusually large volume at birth, MPA activation occurs relatively fast and thus the following cycle tends to be a bit shorter than normal. In this way, upward and downward causation regulates both, the cell cycle duration and cell size homeostasis.

The results emphasize the role of multiple levels and their inter-relation in studying phenomena like cell division. Therefore, ML-Rules provides nesting of species and rates with arbitrary kinetics based on constraints. So far the model appears still to be manageable in other less expressive modeling approaches. However the next step, i.e. moving from a single cell model to multicellular dynamics, illuminates the importance to be able to express multiple levels and their inter-level causalities explicitly and flexibly.

#### Cell division and mating type switching

The unicellular fission yeast may undergo sexual reproduction when environmental conditions are getting poor, e.g. when cells are starving. Different mating types (P and M) exist enforcing fusion of cells of opposite types only [51]. The product of fusion is a diploid zygote which rapidly enters a sporulation process. Later, when the environmental conditions improve, spores germinate to spawn haploid cells which then undergo normal asexual proliferation again. The mating type of proliferating cells switches sporadically when a cell divides. This phenomenon is regulated by rather complex mechanisms at gene level [52–57]. However, rather stable phenomenological patterns of switching can be observed [58]. One important characteristic is that cells do not only show one of the two different mating types P or M, but can be also categorized into cells that are able to switch their type and those that are not (Figure 6A).

_{1}) to produce two distinct cells. At the same time, instead of modeling detailed processes at genetic level, simple phenomenological alterations of the cell's mating type are assigned according to the regularities depicted in Figure 6A. Therefore, species C is equipped with two additional attributes:

The above rule describes cell division of an unswitchable cell (denoted by the **U** attribute). The complementary schema for division of switchable cells looks pretty much the same and is therefore not shown here. The only differences affect the last attribute of the reactant (**S** instead of **U**) and the assignment for the mating type of the unswitchable product cell: the conditional expression if *t* = **P** then **M** else **P**is assigned which makes the rule valid for matching both mating types P and M.

Now that we have introduced multiple instances of cells (each with potentially own behavior), it becomes clear that modeling of such systems becomes only viable due to the ability to specify rule schemata. Otherwise one would need to specify defined reaction rules for each potential species, i.e. for each combination of cellular attributes and intracellular protein amounts. This is highly impractical for smaller systems with a finite state space and impossible for systems like the presented one. It shows the importance of rule schemata for supporting multi-level modeling.

The above rule also illustrates the need for binding solutions to variables so that entire solutions can not only be preserved for the reactant species, but can be treated like any other variables and thus also be copied and placed into multiple product species. Unlike the volume of the dividing cell and similar to the single cell division rule in the previous section, the cell's content will not be splitted and distributed among both daughter cells. The contained sub-solution will be entirely copied instead, as (according to the original Tyson model) the total amount of cdc2 protein, i.e. the sum of the amount of species *D*, *M*_{
I
}, and *M*_{
A
}, is assumed to be constant in each cell. However, by applying specific functions, it would be also possible to split a solution according certain constraints. An integration of such functionality into ML-Rules is planned for the near future.

Mating type switching ensures that - in the long run - both types are equally present in a population of cells. An initial population consisting of only one type of cells nicely shows distinct time points of the first appearance of cells that comprise other combinations of mating type and the ability to switch (Figure 6B). Also the calibration to equally distributed cell types after just a few division cycles can be observed.

#### Pheromone secretion and response

Besides the restriction to cells of opposite mating types, conjugation of fission yeast cells is also regulated by diffusible pheromone molecules [59]. When growing in a nitrogen-poor environment, cells are starving and begin to synthesize mating type specific pheromones that are secreted to the extracellular medium. The pheromone secreted by cells of mating type P is called P-factor and M-type cells produce the M-factor pheromone. Fission yeast cells of different mating type are able to communicate with each other via pheromone molecules. Sensing of pheromones released by the opposite type causes several regulation processes that prepare the cells for mating. One of the main effects is an arrest of the division cycle at the G_{1} phase [60]. We would like to extend our cell model by adding communication via pheromone molecules and the respective responses so that a G_{1} arrest can be observed.

*F*

_{ M }:

M-factor molecules may then influence dynamics of P-type cells in the same solution. Conversely, cells of mating type P may communicate with M-type cells via P-factor molecules (*F*_{
P
}). In addition to the M-factor, cells of type M produce and release a P-factor-specific protease (Sxa2) which lowers the effect that P-type cells have on M cells [59, 61].

_{1}arrest of the cell cycle. It has been shown that inhibition of the cyclin-cdc2 complex is crucial for this process [60]. Therefore, we introduce a new species

*M*

_{ R }denoting a repressed MPF complex that prevents inactive MPF from being activated (see Figure 7A). The reaction rate of MPF repression is dependent on the amount of extracellular pheromone. The way to describe this is similar to the cell cycle transition rules, where intracellular protein amounts are taken into account in an upward causation manner. However, here we have a downward causation, as MPF resides at a lower level than the pheromones. Also different from the previous examples, the inter-level causation here acts across the boundaries of a nested species, i.e. across the cell membrane, and not just between an attributed species and its enclosed solution:

In fact the above rule includes two different downward causalities at the same time. The first one is the amount of extracellular pheromone, which is included in the rate factor $H=\frac{{k}_{11}.{f}^{3}}{{k}_{11}^{3}+{f}^{3}}$ describing a Hill type sigmoidal response curve for MPF repression. The second downward causation is a volume-dependence again. This reflects the observation that inhibition of MPF activity is partly lost due to increasing cell size [60], which could, for instance, be a consequence from a dilution of involved (but here not regarded) enzymes.

The single-cell simulation experiments given in Figure 7 show how the added reaction rules influence the intracellular processes and by that have an effect on the dynamics at cell level, i.e. progression through the cell cycle phases. As pheromone secretion and mating takes place when nutrition is poor, the mass-doubling time *T*_{
d
}has been increased to 232 minutes. Without pheromone, the cell cyle length then increases to roughly 200 minutes (Figure 7B). Similar dynamics can be observed with a low amount of extracellular pheromone (Figure 7C). The amount of repressed MPF molecules is not enough to have a significant effect on MPF activation. This is different with a higher pheromone concentration. Figure 7D indicates a strong suppression of inactive MPF by the repressed variant. With increasing cell size (not shown), repression gets partly lost, i.e. the cell adapts while it grows and completes the cell cycle finally after more than 600 minutes. Please notice the dramatically increased duration of the G_{1} phase while S/G_{2} and M phase take only slightly more time than without pheromone sensing.

_{1}phase of their cell cycle. After 1000 minutes nearly half the population of cells is arrested in this phase. At this time point, the amount of pheromones is between 400 (P-factor) and 800 (M-factor) molecules. However, although the P-factor-specific protease Sxa2 lowers the amount of P-factor pheromone and thus lowers the effects on M cells, mating type switching ensures equal distributions of cells with mating types P and M.

#### Spatial layer

The model so far assumes all cells as well as each secreted pheromone molecule residing in the same solution, i.e. there is no distinction between different locations. This assumption might be appropriate in many cases. However, especially when it comes to modeling of multicellular systems comprising of communication either via direct cell-to-cell interactions or via diffusible molecules, capturing different species locations might be important [62]. Therefore, to investigate cell division and pheromone signaling in an inhomogeneous solution, we extend the model by some simple spatial dynamics covering pheromone diffusion and different locations of cells.

We adopt the idea of the Next Subvolume Method [63] to add space in a discretized manner. Rules and reaction rates are responsible to describe reactions between molecules and their diffusion into another voxel in the spatial grid. A new attributed species *G* is introduced, which represents virtual reaction compartments within a two-dimensional grid. Each voxel *G* may comprise a solution of cells and pheromone molecules with a homogeneous distribution like before, but species may migrate to adjacent voxels according to certain rules (see Figure 4for a schematic description of the spatial setting).

*x*

_{ max }×

*y*

_{ max }(with

*x*

_{ max }

*, y*

_{ max }∈ ℕ) species

*G*, each with a unique combination of attribute values

*G*(

*x, y*) with

*x*∈ {1,...,

*x*

_{ max }} and

*y*∈ {1,...,

*y*

_{ max }}. In this way, a defined relationship between each species

*G*is specified to represent the spatial coordinates of a two-dimensional grid. Diffusion of molecules can then be described by simply moving the species from one voxel to an adjacent one. A constraint comparing the coordinates of two species

*G*guarantees that migration takes place between neighbored locations only. The rule schema for diffusion of P-factor pheromone in a von Neumann neighborhood looks as follows:

with *nb*(*x*_{1}*, y*_{1}*, x*_{2}*, y*_{2}) *=* if (*x*_{1} *= x*_{2} ∧ (*y*_{1} = *y*_{2} + 1 ∨ y_{1} = *y*_{2} - 1)) ∨ (*y*_{1} *= y*_{2} ∧ (*x*_{1} = *x*_{2} + 1 ∨ *x*_{1} *= x*_{
2
} - 1)) then **true** else **false**.

*excluded volume effect*to avoid that too many cells occupy a voxel. Therefore, if a location gets crowded, cells may be pushed to an adjacent less crowded voxel. In principle, the rule for such a displacement from crowded areas looks quite similar to rules that describe diffusion. Constraints guarantee moving under certain conditions only, e.g. to a neighboring voxel only, and the kinetic rate depends on the amount of species, i.e. cells. The main difference is that due to the fact that cells typically have different attributes and sub-solutions, we can not use a species identifier to get the total number of cells within a solution. Therefore, an additional attribute of

*G*is introduced that holds the current number of cells in each voxel:

*G*and can be used to specify the probability with which a cell may move to an adjacent location. The rate of the above rule makes migrations to empty locations more likely than those to crowded ones. Please notice the assignments of values (

*n*

_{1}- 1 and

*n*

_{2}+ 1) for updating the current cell number of each voxel when the rule fires. As the number of cells may also change due to cell division and death, the according rules have to be extended such that they have an extended context where the attribute of

*G*can be explicitly manipulated. For example, the cell division rule for an unswitchable cell looks as follows:

An elegant alternative to the above strategy would be the already discussed concept of applying functions to solutions, so that the amount of cells in a given solution can simply be counted. In any case, the examples show how spatial effects like diffusion and excluded volume can be modeled in an ad hoc way, although ML-Rules has been developed without explicit notions of space. Approaches which are aimed at spatial rule-based modeling explicitly deal with such problems and emphasize the need for describing spatial phenomena for larger entities [64, 65].

Simulation of population growth within the described spatial setting reveals that the overall ratio between the different mating types remains nearly constant over time. However, local differences in the amount of P and M type cells can be observed (see additional file 2).

### Related work

The aim of this paper has been to identify essential concepts for rule-based multi-level modeling, to present their realization in ML-Rules, and to show their role based on a case study. ML-Rules could built on ideas developed in a rule-based approach for multi-level modeling of ecological systems [66] where attributes, components of specific types, and interfaces are assigned to individual entities. The approach combines hierarchical nesting and the description of constrained dynamics in terms of rule schemata. ML-Rules shares also central features with the rule-based formalism React(C), which supports molecules with attribute values of any type and reaction constraints to flexibly define reaction rates [15]. Being of arbitrary type, attributes can also encode solutions and thus hierarchically nested entities. However, React(C) has no notion of nesting: rules cannot be applied to a solution *nested within* an entity. Instead, rules can only be applied to an entity *attributed with*a specific solution, i.e. top-down. Considering that nested hierarchies may be dynamically changed, e.g. in models describing vesicles that fuse with membranes, this limits the expressive power of React(C) with respect to multi-level modeling.

Recently, Oury and Plotkin have presented a stochastic multi-level multiset rewriting language [67], in which rules can be applied to nested species to support multi-level modeling in systems biology. However, downward and upward causation cannot easily be expressed, because attributes and corresponding constraints on reactions are not yet supported. However, this is announced among the next steps to do.

As has been already discussed, ML-Rules does not provide an explicit notion of linkage, e.g. to describe bonds within protein complexes. Hierarchical graphs with multiple edge types offer a natural and explicit representation of such bindings within hierarchical model structures. In this context, a generalized graph isomorphism and labeling algorithm like HNauty [68] may be of particular importance. Although originally developed for the structured annotation of flat rule-based models, hierarchical graphs and the HNauty algorithm are promising techniques for the development of an efficient multi-level approach based on graph-rewriting rules.

Spatial structuring of models shares general concepts with multi-level modeling as different levels are defined by a separation from each other in a broader sense. In systems biology, the most common representation of space is realized by simple compartmentalization, i.e. by separating different chemical solutions from each other and allowing for basic transport rules to change the location of molecules, see e.g. BIOCHAM [69] and little b [70]. More sophisticated capabilities for membrane-mediated transport and interaction rules are supported by cBNGL [71], an extension of the original BioNetGen language [11]. Structures and rules in cBNGL are tightly coupled with the concept of compartments and membranes, e.g. the language distinguishes between three-dimensional (compartment volume) and two-dimensional (surface, i.e. membrane) compartments.

Other approaches focus on supporting dynamic compartment structures. BioAmbients [72], for example, which is based on the π-calculus [26], supports wrapping of processes by so called ambients. Both, processes and ambients, are allowed to enter or exit other ambients and two ambients are allowed to merge into a single one. Similarly, the bio*κ*-calculus [73] also allows to fuse multiple membranes resulting in a single compartment. It aims at combining rule-based modeling with dynamic membrane formalisms like the Brane Calculi [74] and P systems [75]. However, although rooted in the rule-based domain, bio*κ* shows limited expressiveness for modeling biochemical systems compared to other rule-based languages, e.g. the *κ*-calculus [7]. Another rule-based formalism with explicit means for dynamic nested model structures is the Calculus of Wrapped Compartments [76, 77]. None of these approaches equips compartments with a state and a behavior of their own; dynamics at the level of compartments are initiated by the enclosed processes or rules in a "bottom up" way.

Bigraphs [78] is different from the above formalisms as there is no distinction between structural and behavioral elements of a model and thus the approach pursued is rather similar to ML-Rules. Each node of a bigraph may be enclosed by another node and may contain further nodes itself. So, nesting is an inherent property of the bigraphical components. Equipped with a stochastic semantics [79], reactive bigraphs have been successfully applied for modeling cell biological systems. However, the state of a node is defined by its linkage to other nodes only. Also the lack of constraints on reactions limits the modeling of inter-level causalities.

Beyond ordinary compartment-like spatial approaches (to which we would also count ML-Rules, although its expressiveness widens the applicability for describing other spatial relationships as well), diverse methods have been developed for modeling and simulation of more complex spatial phenomena. Smoldyn, for example, supports simulation of spatial compartments with diffusing molecules, membrane interactions, and excluded volume effects [80]. The latter is also an important feature of ML-Space, a modeling and simulation approach that supports hierarchical nesting and combines population-based reaction-diffusion systems with individual particles for representing different spatial resolutions [65]. Meredys is another simulator that supports reaction-diffusion events taking place in multiple compartments. However, the main feature of Meredys is that molecules and molecular complexes may have realistic shapes in two and three dimensions [81].

Multi-level models that comprise a wide range of spatial scales, e.g. from the molecular to tissue or even organ scale, often need to consider different spatial relationships at different levels. For example, while at the molecular level well-stirred compartments or heterogenously distributed reaction-diffusion systems are appropriate representations, modeling the dynamics at tissue level might need to take physical mechanics of interacting cells into account. The strong diversity in applied methods is one reason why such multi-scale models typically lack a unifying formal modeling language. Instead, different model parts are described and interpreted differently. To integrate these different parts efficiently, either monolithic mixtures of model descriptions and simulators are programmed from scratch or specialized multi-scale software platforms are used that have been developed for certain applications, see e.g. [82–86].

MGS provides integration of explicit descriptions of space in a generic uniform setting [87, 88]. The approach combines rule-based modeling with topological collections to specify which and how model entities may interact with each other. Various topological collections define different local relationships of individual entities, e.g. ordinary multisets or Delaunay triangulation. Although MGS does not have an inherent notion of nesting, its underlying concepts allow to describe multi-level models in a versatile manner and across various spatial scales.

The need to describe systems at different levels has also been addressed by Petri nets approaches, see e.g. [89–91]. For instance, HORNETS (Higher Order Reference Nets) is a formalism that allows to have Petri nets as tokens of Petri nets [91]. However, HORNETS are executed in equidistant time steps as they are aimed at modeling software systems, e.g. workflows, rather than biochemical systems.

## Conclusions

Rule-based languages are a suitable starting point for developing a concise and compact language for multi-level modeling of cell biological systems. Therefore, a combination of concepts, part of which are already well established, can be exploited.

Rule schemata help reducing the size of models and equally important, add the required flexibility to express dynamics at different levels in a general manner. Nesting species, assigning attributes to these species, and constraining reactions according to attributes have been identified as further essential ingredients in supporting multi-level modeling. Species are described by attributes and the species they contain. Both of which might constrain rules (due to functions and conditional expressions) or be altered by them. Thereby, the boundaries of levels might be crossed.

How dynamics at different levels can be described in a rule-based approach has been shown with a model of fission yeast to analyze the regulations between cell cycle control, cell division, mating type switching, and cell-cell communication via diffusible pheromone molecules.

The concepts have been realized in ML-Rules which has been implemented in JAMES II. The use of a plug-in-based modeling and simulation framework has allowed a rapid prototyping of a suitable modeling and simulation environment for our experiments. However, the current simulator is a prototype and realizes a purely stochastic discrete event approach. Although JAMES II offers a coarse grained parallel execution - e.g. to speed up multiple simulation runs - already the single run execution of a more complex ML-Rules model, like the presented multicellular fission yeast model, takes a significant amount of time in the current implementation. This is due to the expressiveness of ML-Rules which requires specific effort to keep calculation costs at bay. Thus, the next steps with respect to implementation will be to look into exploiting different variants of the SSA algorithm, e.g. the optimized direct method, speeding up the matching of reactants, and exploring the potentials of an alternative Monte Carlo method as well as hybrid approaches.

From the modeling point of view, the developed concepts shall be put to test in concrete applications that might be difficult to describe with currently available modeling approaches. For example, potential application areas for ML-Rules are various systems where the relation between intracellular and intercellular dynamics play a role, e.g. quorum sensing, tumor growth, and plant root growth. The presented approach appears also suitable for modeling dynamic processes with multiple membrane bound compartments, like endocytosis, active vesicle transport along cytoskeletal filaments, and processes at the Golgi apparatus.

## Declarations

### Acknowledgements

This work has been supported by the Deutsche Forschungsgemeinschaft (DFG) as part of the project DiER MoSiS (Discrete Event Multi-level Modeling and Simulation for Systems Biology) and the research training group dIEM oSiRiS (Integrative Development of Modeling and Simulation Methods for Regenerative Systems). We would like to thank Mathias John for constructive comments during developing this paper.

## Authors’ Affiliations

## References

- Campbell DT: 'Downward causation' in hierarchically organised biological systems. Studies in the philosophy of biology: Reduction and related problems. Edited by: Ayala FJ, Dobzhansky T. 1974, Macmillan Press, 179-186.View ArticleGoogle Scholar
- Noble D: The Music of Life: Biology Beyond the Genome. 2006, Oxford University PressGoogle Scholar
- Noble D: Claude Bernard, the first systems biologist, and the future of physiology. Exp Physiol. 2008, 93: 16-26.View ArticlePubMedGoogle Scholar
- Kitano H: Computational systems biology. Nature. 2002, 420 (6912): 206-210. 10.1038/nature01254.View ArticlePubMedGoogle Scholar
- Sackmann A, Heiner M, Koch I: Application of Petri net based analysis techniques to signal transduction pathways. BMC Bioinformatics. 2006, 7: 482-10.1186/1471-2105-7-482.PubMed CentralView ArticlePubMedGoogle Scholar
- Priami C, Regev A, Shapiro E, Silverman W: Application of a stochastic name-passing calculus to representation and simulation of molecular processes. Information Processing Letters. 2001, 80: 25-31. 10.1016/S0020-0190(01)00214-9.View ArticleGoogle Scholar
- Danos V, Laneve C: Formal molecular biology. Theoretical Computer Science. 2004, 325: 69-110. 10.1016/j.tcs.2004.03.065.View ArticleGoogle Scholar
- Pedersen M, Plotkin G: A Language for Biochemical Systems. Computational Methods in Systems Biology, Volume 5307 of Lecture Notes in Computer Science. Edited by: Heiner M, Uhrmacher A. 2008, Springer Berlin/Heidelberg, 63-82. 10.1007/978-3-540-88562-7_9.Google Scholar
- Chabrier-Rivier N, Fages F, Soliman S: The Biochemical Abstract Machine BIOCHAM. Computational Methods in Systems Biology: International Conference CMSB 2004, Volume 3082/2005 of Lecture Notes in Computer Science. Edited by: Danos V, Schachter V. 2005, Springer, 172-191. 10.1007/978-3-540-25974-9_14.View ArticleGoogle Scholar
- Ciocchetta F, Hillston J: Bio-PEPA: A framework for the modelling and analysis of biological systems. Theoretical Computer Science. 2009, 410 (33-34): 3065-3084. 10.1016/j.tcs.2009.02.037.View ArticleGoogle Scholar
- Faeder JR, Blinov ML, Hlavacek WS: Rule-Based Modeling of Biochemical Systems with BioNetGen. Systems Biology, Volume 500 of Methods in Molecular Biology. 2009, Humana Press, 113-167. 10.1007/978-1-59745-525-1_5.Google Scholar
- Rohr C, Marwan W, Heiner M: Snoopy-a unifying Petri net framework to investigate biomolecular networks. Bioinformatics. 2010, 26 (7): 974-975. 10.1093/bioinformatics/btq050.View ArticlePubMedGoogle Scholar
- Klemm JD, Schreiber SL, Crabtree GR: Dimerization as a regulatory mechanism in signal transduction. Annu Rev Immunol. 1998, 16: 569-592. 10.1146/annurev.immunol.16.1.569.View ArticlePubMedGoogle Scholar
- Cobb MH, Goldsmith EJ: Dimerization in MAP-kinase signaling. Trends Biochem Sci. 2000, 25: 7-9. 10.1016/S0968-0004(99)01508-X.View ArticlePubMedGoogle Scholar
- John M, Lhoussaine C, Niehren J, Versari C: Biochemical Reaction Rules with Constraints. European Symposium on Programming Languages. Volume 6602 of Lecture Notes in Computer Science. Edited by: Barthe G. 2011, Springer, 338-357. 10.1007/978-3-642-19718-5_18.Google Scholar
- Danos V, Feret J, Fontana W, Harmer R: Rule-Based Modelling of Cellular Signalling. CONCUR 2007 - Concurrency Theory: 18th International Conference, Volume 4703 of Lecture Notes in Computer Science. Edited by: Caires L, Vasconcelos VT. 2007, Springer, 17-41. 10.1007/978-3-540-74407-8_3.View ArticleGoogle Scholar
- Faeder JR, Blinov ML, Goldstein B, Hlavacek WS: Rule-based modeling of biochemical networks. Complexity. 2005, 10 (4): 22-41. 10.1002/cplx.20074.View ArticleGoogle Scholar
- Hlavacek WS, Faeder JR, Blinov ML, Posner RG, Hucka M, Fontana W: Rules for modeling signal-transduction systems. Sci STKE. 2006, 2006 (344): re6-10.1126/stke.3442006re6.PubMedGoogle Scholar
- Barua D, Faeder JR, Haugh JM: A bipolar clamp mechanism for activation of Jak-family protein tyrosine kinases. PLoS Comput Biol. 2009, 5 (4): e1000364-10.1371/journal.pcbi.1000364.PubMed CentralView ArticlePubMedGoogle Scholar
- Kühn C, Prasad KVS, Klipp E, Gennemark P: Formal representation of the high osmolarity glycerol pathway in yeast. Genome Inform. 2010, 22: 69-83. 10.1142/9781848165786_0007.PubMedGoogle Scholar
- Feinerman O, Jentsch G, Tkach KE, Coward JW, Hathorn MM, Sneddon MW, Emonet T, Smith KA, Altan-Bonnet G: Single-cell quantification of IL-2 response by effector and regulatory T cells reveals critical plasticity in immune response. Mol Syst Biol. 2010, 6: 437-PubMed CentralView ArticlePubMedGoogle Scholar
- Selivanov VA, Votyakova TV, Pivtoraiko VN, Zeak J, Sukhomlin T, Trucco M, Roca J, Cascante M: Reactive oxygen species production by forward and reverse electron fluxes in the mitochondrial respiratory chain. PLoS Comput Biol. 2011, 7 (3): e1001115-10.1371/journal.pcbi.1001115.PubMed CentralView ArticlePubMedGoogle Scholar
- MacNamara S, Burrage K: Stochastic Modeling of Naïve T Cell Homeostasis for Competing Clonotypes via the Master Equation. Multiscale Modeling & Simulation. 2010, 8: 1325-10.1137/09077182X.View ArticleGoogle Scholar
- Walker DC, Southgate J, Hill G, Holcombe M, Hose DR, Wood SM, Neil SM, Smallwood RH: The epitheliome: agent-based modelling of the social behaviour of cells. Biosystems. 2004, 76 (1-3): 89-100. 10.1016/j.biosystems.2004.05.025.View ArticlePubMedGoogle Scholar
- Kuttler C, Lhoussaine C, Nebut M: Rule-Based Modeling of Transcriptional Attenuation at the Tryptophan Operon. Transactions on Computational Systems Biology XII, Volume 5945 of Lecture Notes in Computer Science. Edited by: Priami C, Breitling Rilbert D, Heiner M, Uhrmacher A. 2010, Springer Berlin/Heidelberg, 199-228. 10.1007/978-3-642-11712-1_6.Google Scholar
- Milner R: Communicating and Mobile Systems: The Pi-Calculus. 1999, Cambridge University PressGoogle Scholar
- Sauro HM: Enzyme Kinetics for Systems Biology. 2011, Future Skill Software (Ambrosius Publishing)Google Scholar
- Pedersen M, Plotkin G: A Language for Biochemical Systems. In Computational Methods in Systems Biology, Volume 5307 of Lecture Notes in Computer Science. Edited by: Heiner M, Uhrmacher A. Springer Berlin/ Heidelberg; 2008:63-82.Google Scholar
- John M, Lhoussaine C, Niehren J, Uhrmacher A: The Attributed Pi-Calculus with Priorities. Transactions on Computational Systems Biology XII, Volume 5945 of Lecture Notes in Computer Science. Edited by: Priami C, Breitling Rilbert D, Heiner M, Uhrmacher A. 2010, Springer Berlin/Heidelberg, 13-76. 10.1007/978-3-642-11712-1_2.Google Scholar
- Sneddon MW, Faeder JR, Emonet T: Efficient modeling, simulation and coarse-graining of biological complexity with NFsim. Nat Methods. 2011, 8 (2): 177-183. 10.1038/nmeth.1546.View ArticlePubMedGoogle Scholar
- Zeigler BP: Multifacetted Modelling and Discrete Event Simulation. 1984, Academic PressGoogle Scholar
- Himmelspach J, Uhrmacher A: Plug'n Simulate. Simulation Symposium, 2007. ANSS '07. 40th Annual. 2007, 137-143. 10.1109/ANSS.2007.34.Google Scholar
- Gillespie D: Exact Stochastic Simulation of Coupled Chemical Reactions. The Journal of Physical Chemistry. 1977, 81 (25): 2340-2361. 10.1021/j100540a008.View ArticleGoogle Scholar
- Ewald R, Himmelspach J, Jeschke M, Leye S, Uhrmacher AM: Flexible experimentation in the modeling and simulation framework JAMES II-implications for computational systems biology. Brief Bioinform. 2010, 11 (3): 290-300. 10.1093/bib/bbp067.View ArticlePubMedGoogle Scholar
- Jeschke M, Ewald R, Uhrmacher AM: Exploring the performance of spatial stochastic simulation algorithms. Journal of Computational Physics. 2011, 230 (7): 2562-2574. 10.1016/j.jcp.2010.12.030.View ArticleGoogle Scholar
- Danos V, Feret J, Fontana W, Krivine J: Scalable Simulation of Cellular Signaling Networks. Programming Languages and Systems, Volume 4807 of Lecture Notes in Computer Science. Edited by: Shao Z. 2007, Springer Berlin/Heidelberg, 139-157. 10.1007/978-3-540-76637-7_10.Google Scholar
- Yang J, Monine MI, Faeder JR, Hlavacek WS: Kinetic Monte Carlo method for rule-based modeling of biochemical networks. Phys Rev E Stat Nonlin Soft Matter Phys. 2008, 78 (3 Pt 1): 031910-PubMed CentralView ArticlePubMedGoogle Scholar
- Mura I, Prandi D, Priami C, Romanel A: Exploiting non-Markovian Bio-Processes. Electronic Notes in Theoretical Computer Science. 2009, 253 (3): 83-98. 10.1016/j.entcs.2009.10.007. [Proceedings of Seventh Workshop on Quantitative Aspects of Programming Languages (QAPL 2009)]View ArticleGoogle Scholar
- Takahashi K, Kaizu K, Hu B, Tomita M: A multi-algorithm, multi-timescale method for cell simulation. Bioinformatics. 2004, 20 (4): 538-546. 10.1093/bioinformatics/btg442.View ArticlePubMedGoogle Scholar
- Kim SM, Huberman JA: Regulation of replication timing in fission yeast. EMBO J. 2001, 20 (21): 6115-6126. 10.1093/emboj/20.21.6115.PubMed CentralView ArticlePubMedGoogle Scholar
- Tyson JJ, Novak B: Regulation of the eukaryotic cell cycle: molecular antagonism, hysteresis, and irreversible transitions. J Theor Biol. 2001, 210 (2): 249-263. 10.1006/jtbi.2001.2293.View ArticlePubMedGoogle Scholar
- Tyson JJ, Csikasz-Nagy A, Novak B: The dynamics of cell cycle regulation. Bioessays. 2002, 24 (12): 1095-1109. 10.1002/bies.10191.View ArticlePubMedGoogle Scholar
- Kar S, Baumann WT, Paul MR, Tyson JJ: Exploring the roles of noise in the eukaryotic cell cycle. Proc Natl Acad Sci USA. 2009, 106 (16): 6471-6476. 10.1073/pnas.0810034106.PubMed CentralView ArticlePubMedGoogle Scholar
- Moseley JB, Mayeux A, Paoletti A, Nurse P: A spatial gradient coordinates cell size and mitotic entry in fission yeast. Nature. 2009, 459 (7248): 857-860. 10.1038/nature08074.View ArticlePubMedGoogle Scholar
- Sawin KE: Cell cycle: Cell division brought down to size. Nature. 2009, 459 (7248): 782-783. 10.1038/459782a.View ArticlePubMedGoogle Scholar
- Tyson JJ: Modeling the cell division cycle: cdc2 and cyclin interactions. Proc Natl Acad Sci USA. 1991, 88 (16): 7328-7332. 10.1073/pnas.88.16.7328.PubMed CentralView ArticlePubMedGoogle Scholar
- Novak B, Tyson JJ: Modeling the control of DNA replication in fission yeast. Proc Natl Acad Sci USA. 1997, 94 (17): 9147-9152. 10.1073/pnas.94.17.9147.PubMed CentralView ArticlePubMedGoogle Scholar
- Sveiczer A, Tyson JJ, Novak B: A stochastic, molecular model of the fission yeast cell cycle: role of the nucleocytoplasmic ratio in cycle time regulation. Biophys Chem. 2001, 92 (1-2): 1-15. 10.1016/S0301-4622(01)00183-1.View ArticlePubMedGoogle Scholar
- Qu Z, MacLellan WR, Weiss JN: Dynamics of the cell cycle: checkpoints, sizers and timers. Biophys J. 2003, 85 (6): 3600-3611. 10.1016/S0006-3495(03)74778-X.PubMed CentralView ArticlePubMedGoogle Scholar
- Miyata H, Miyata M, Ito M: The cell cycle in the fission yeast, Schizosaccharomyces pombe. I. Relationship between cell size and cycle time. Cell Struct Funct. 1978, 3: 39-46.Google Scholar
- Leupold U: Studies on recombination in Schizosaccharomyces pombe. Cold Spring Harb Symp Quant Biol. 1958, 23: 161-170.View ArticlePubMedGoogle Scholar
- Beach D: Cell type switching by DNA transposition in fission yeast. Nature. 1983, 305: 682-688. 10.1038/305682a0.View ArticleGoogle Scholar
- Beach DH, Klar AJ: Rearrangements of the transposable mating-type cassettes of fission yeast. EMBO J. 1984, 3 (3): 603-610.PubMed CentralPubMedGoogle Scholar
- Egel R: The pedigree pattern of mating-type switching in Schizosaccharomycespombe. Current Genetics. 1984, 8: 205-210. 10.1007/BF00417817.View ArticlePubMedGoogle Scholar
- Egel R: Two tightly linked silent cassettes in the mating-type region of Schizosaccharomyces pombe. Current Genetics. 1984, 8: 199-203. 10.1007/BF00417816.View ArticlePubMedGoogle Scholar
- Klar AJ, Bonaduce MJ, Cafferkey R: The mechanism of fission yeast mating type interconversion: seal/replicate/cleave model of replication across the double-stranded break site at mat1. Genetics. 1991, 127 (3): 489-496.PubMed CentralPubMedGoogle Scholar
- Yamada-Inagawa T, Klar AJS, Dalgaard JZ: Schizosaccharomyces pombe switches mating type by the synthesis-dependent strand-annealing mechanism. Genetics. 2007, 177: 255-265. 10.1534/genetics.107.076315.PubMed CentralView ArticlePubMedGoogle Scholar
- Klar AJ: Developmental choices in mating-type interconversion in fission yeast. Trends Genet. 1992, 8 (6): 208-213. 10.1016/0168-9525(92)90235-V.View ArticlePubMedGoogle Scholar
- Nielsen O, Davey J: Pheromone communication in the fission yeast Schizosaccharomyces pombe. Semin Cell Biol. 1995, 6 (2): 95-104. 10.1016/1043-4682(95)90006-3.View ArticlePubMedGoogle Scholar
- Stern B, Nurse P: Fission yeast pheromone blocks S-phase by inhibiting the G1 cyclin B-p34cdc2 kinase. EMBO J. 1997, 16 (3): 534-544. 10.1093/emboj/16.3.534.PubMed CentralView ArticlePubMedGoogle Scholar
- Imai Y, Yamamoto M: Schizosaccharomyces pombe sxa1+ and sxa2+ encode putative proteases involved in the mating response. Mol Cell Biol. 1992, 12 (4): 1827-1834.PubMed CentralView ArticlePubMedGoogle Scholar
- Hurtley S: Spatial cell biology. Location, location, location. Science. 2009, 326 (5957): 1205-10.1126/science.326.5957.1205.View ArticlePubMedGoogle Scholar
- Elf J, Ehrenberg M: Spontaneous separation of bi-stable biochemical systems into spatial domains of opposite phases. Syst Biol (Stevenage). 2004, 1 (2): 230-236. 10.1049/sb:20045021.View ArticleGoogle Scholar
- Bittig AT, Jeschke M, Uhrmacher AM: Towards Modelling and Simulation of Crowded Environments in Cell Biology. AIP Conference Proceedings, Volume 1281. Edited by: Simos TE, Psihoyios G, Tsitouras C. 2010, AIP, 1326-1329. 10.1063/1.3497964.Google Scholar
- Bittig AT, Haack F, Maus C, Uhrmacher AM: Adapting Rule-based Model Descriptions for Simulating in Continuous and Hybrid Space. Proceedings of the 9th International Conference on Computational Methods in Systems Biology, CMSB '11. 2011, ACM, 10.1145/2037509.2037533.Google Scholar
- Uhrmacher A: Reasoning about changing structure: a modeling concept for ecological systems. Applied artificial intelligence. 1995, 9 (2): 157-180. 10.1080/08839519508945472.View ArticleGoogle Scholar
- Oury N, Plotkin G: Multi-Level Modelling via Stochastic Multi-Level Multiset Rewriting. Mathematical Structures in Computer Science, Special Issue on DCM. 2010, to appearGoogle Scholar
- Lemons NW, Hu B, Hlavacek WS: Hierarchical graphs for rule-based modeling of biochemical systems. BMC Bioinformatics. 2011, 12: 45-10.1186/1471-2105-12-45.PubMed CentralView ArticlePubMedGoogle Scholar
- Calzone L, Fages F, Soliman S: BIOCHAM: an environment for modeling biological systems and formalizing experimental knowledge. Bioinformatics. 2006, 22 (14): 1805-1807. 10.1093/bioinformatics/btl172.View ArticlePubMedGoogle Scholar
- Mallavarapu A, Thomson M, Ullian B, Gunawardena J: Programming with models: modularity and abstraction provide powerful capabilities for systems biology. J R Soc Interface. 2009, 6 (32): 257-270. 10.1098/rsif.2008.0205.PubMed CentralView ArticlePubMedGoogle Scholar
- Harris L, Hogg J, Faeder J: Compartmental rule-based modeling of biochemical systems. Proceedings of the 2009 Winter Simulation Conference (WSC), IEEE. 2009, 908-919. 10.1109/WSC.2009.5429719.View ArticleGoogle Scholar
- Regev A, Panina EM, Silverman W, Cardelli L, Shapiro E: BioAmbients: an abstraction for biological compartments. Theoretical Computer Science. 2004, 325: 141-167. 10.1016/j.tcs.2004.03.061.View ArticleGoogle Scholar
- Laneve C, Tarissan F: A simple calculus for proteins and cells. Theoretical Computer Science. 2008, 404 (1-2): 127-141. 10.1016/j.tcs.2008.04.011.View ArticleGoogle Scholar
- Cardelli L: Brane Calculi. Interactions of Biological Membranes. Computational Methods in Systems Biology, Volume 3082 of Lecture Notes in Computer Science. Edited by: Danos V, Schachter V. 2005, Springer Berlin/Heidelberg, 257-278. 10.1007/978-3-540-25974-9_24.Google Scholar
- Păun G, Rozenberg G: A guide to membrane computing. Theoretical Computer Science. 2002, 287: 73-100. 10.1016/S0304-3975(02)00136-6.View ArticleGoogle Scholar
- Coppo M, Damiani F, Drocco M, Grassi E, Sciacca E, Spinella S, Troina A: Hybrid Calculus of Wrapped Compartments. Proceedings Fourth Workshop on Membrane Computing and Biologically Inspired Process Calculi (MeCBIC 2010), Volume 40 of EPTCS. Edited by: Ciobanu G, Koutny M. 2010, 102-120. 10.4204/EPTCS.40.8.Google Scholar
- Coppo M, Damiani F, Drocco M, Grassi E, Troina A: Stochastic Calculus of Wrapped Compartment. Proceedings Eighth Workshop on Quantitative Aspects of Programming Languages (QAPL 2010), Volume 28 of EPTCS. Edited by: Pierro AD, Norman G. 2010, 82-98. 10.4204/EPTCS.28.6.Google Scholar
- Milner R: The Space and Motion of Communicating Agents. 2009, Cambridge University PressView ArticleGoogle Scholar
- Krivine J, Milner R, Troina A: Stochastic Bigraphs. Electronic Notes in Theoretical Computer Science. 2008, 218: 73-96. 10.1016/j.entcs.2008.10.006. [Proceedings of the 24th Conference on the Mathematical Foundations of Programming Semantics (MFPS XXIV)]View ArticleGoogle Scholar
- Andrews SS, Addy NJ, Brent R, Arkin AP: Detailed simulations of cell biology with Smoldyn 2.1. PLoS Comput Biol. 2010, 6 (3): e1000705-10.1371/journal.pcbi.1000705.PubMed CentralView ArticlePubMedGoogle Scholar
- Tolle DP, Novère NL: Meredys, a multi-compartment reaction-diffusion simulator using multistate realistic molecular complexes. BMC Syst Biol. 2010, 4: 24-10.1186/1752-0509-4-24.PubMed CentralView ArticlePubMedGoogle Scholar
- Chaturvedi R, Huang C, Kazmierczak B, Schneider T, Izaguirre JA, Glimm T, Hentschel HGE, Glazier JA, Newman SA, Alber MS: On multiscale approaches to three-dimensional modelling of morphogenesis. J R Soc Interface. 2005, 2 (3): 237-253. 10.1098/rsif.2005.0033.PubMed CentralView ArticlePubMedGoogle Scholar
- Pradal C, Dufour-Kowalski S, Boudon F, Fournier C, Godin C: OpenAlea: a visual programming and component-based software platform for plant modelling. Functional Plant Biology. 2008, 35 (10): 751-760. 10.1071/FP08084.View ArticleGoogle Scholar
- Qutub AA, Liu G, Vempati P, Popel AS: Integration of angiogenesis modules at multiple scales: from molecular to tissue. Pac Symp Biocomput. 2009, 316-327.Google Scholar
- Pitt-Francis J, Pathmanathan P, Bernabeu MO, Bordas R, Cooper J, Fletcher AG, Mirams GR, Murray P, Osborne JM, Walter A, Chapman SJ, Garny A, van Leeuwen IM, Maini PK, Rodríguez B, Waters SL, Whiteley JP, Byrne HM, Gavaghan DJ: Chaste: A test-driven approach to software development for biological modelling. Computer Physics Communications. 2009, 180 (12): 2452-2471. 10.1016/j.cpc.2009.07.019.View ArticleGoogle Scholar
- Meier-Schellersheim M, Fraser IDC, Klauschen F: Multiscale modeling for biologists. Wiley Interdisciplinary Reviews: Systems Biology and Medicine. 2009, 1: 4-14. 10.1002/wsbm.33.PubMed CentralPubMedGoogle Scholar
- Giavitto JL, Michel O: MGS: A Rule-Based Programming Language for Complex Objects and Collections. Electronic Notes in Theoretical Computer Science. 2001, 59 (4): 286-304. 10.1016/S1571-0661(04)00293-2.View ArticleGoogle Scholar
- Michel O, Spicher A, Giavitto JL: Rule-based programming for integrative biological modeling. Natural Computing. 2009, 8: 865-889. 10.1007/s11047-008-9105-9.View ArticleGoogle Scholar
- Lomazova I: Nested Petri nets - a Formalism for Specification and Verification of Multi-Agent Distributed Systems. Fundamenta Informaticae. 2000, 43 (1-4): 195-214. 10.3233/FI-2000-43123410.Google Scholar
- Lomazova I: Nested Petri nets: Multi-level and recursive systems. Fundamenta Informaticae. 2001, 47 (3-4): 283-293. [http://iospress.metapress.com/content/hxe8qhvaa3j678km/]Google Scholar
- Köhler-Bußmeier M: Hornets: Nets within Nets Combined with Net Algebra. Applications and Theory of Petri Nets, Volume 5606 of Lecture Notes in Computer Science. Edited by: Franceschinis G, Wolf K. 2009, Springer, 243-262. 10.1007/978-3-642-02424-5_15.Google Scholar

## Copyright

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.