## Abstract

State diagrams (stategraphs) are suitable for describing the behavior of dynamic systems. However, when they are used to model large and complex systems, determining the states and transitions among them can be overwhelming, due to their flat, unstratified structure. In this article, we present the use of statecharts as a novel way of modeling complex gene networks. Statecharts extend conventional state diagrams with features such as nested hierarchy, recursion, and concurrency. These features are commonly utilized in engineering for designing complex systems and can enable us to model complex gene networks in an efficient and systematic way. We modeled five key gene network motifs, simple regulation, autoregulation, feed-forward loop, single-input module, and dense overlapping regulon, using statecharts. Specifically, utilizing nested hierarchy and recursion, we were able to model a complex interlocked feed-forward loop network in a highly structured way, demonstrating the potential of our approach for modeling large and complex gene networks.

**Citation: **Shin Y-J, Nourani M (2010) Statecharts for Gene Network Modeling. PLoS ONE 5(2):
e9376.
doi:10.1371/journal.pone.0009376

**Editor: **Mark Isalan, Center for Genomic Regulation, Spain

**Received:** September 30, 2009; **Accepted:** February 1, 2010; **Published:** February 23, 2010

**Copyright:** © 2010 Shin, Nourani. This is an open-access article distributed under the terms of the Creative Commons Attribution License, which permits unrestricted use, distribution, and reproduction in any medium, provided the original author and source are credited.

**Funding: **The authors have no support or funding to report.

**Competing interests:** The authors have declared that no competing interests exist.

### Introduction

#### Motivation

One of the main research topics of systems biology is the study of gene networks that involve the interactions between transcription factor proteins and the genes that they regulate [1]–[4]. There have been two ways of approaching this subject: bottom-up and top-down [5]. In a bottom-up approach, mathematics is used to model the dynamics, starting from detailed knowledge of the networks [6]–[9]. Live cell fluorescent reporter assay is one of the commonly used experimental techniques for the bottom-up approach [10]. On the other hand, a top-down approach aims at understanding the networks for which very limited knowledge is available [5]. Even though it is less accurate in terms of “physical quantities”, compared to the bottom-up approach, it has an advantage for dealing with large networks. For example, it can make use of expression profiling by DNA microarrays and analyze whole genome data [11]–[13].

Various mathematical and computational approaches have been developed for gene network modeling, including Boolean networks, Bayesian networks, Petri nets, ordinary differential equations, and stochastic simulation algorithms [1], [14]–[27]. These approaches can generally be grouped into two larger categories: logical and continuous models. Logical models are simple because they deal only with the logical sequence of events. On the other hand, continuous models can describe dynamics that depend on finer timing and exact molecular concentrations. Since gene expression is fundamentally stochastic, the continuous models can also include noise [19], [28]–[30]. Many dynamic systems can be approximately described using differential equations and they have been used to model the dynamics of various gene networks [9], [15], [25], [31]–[34]. Prior knowledge of system parameter values, extracted from experimental data through optimization, is required for such modeling [35].

#### Logical Models

Logical models can describe gene networks qualitatively [14], [36]. Even though they are simple and easy, compared to continuous models described above, they can still allow us to obtain a basic understanding of the dynamics of complex networks. It is important to note that logical models are not generated by simple discrete approximation of the real-valued data used in continuous models. Logical models are often regarded as inferior to continuous models, based on a misunderstanding that logical models are just a simplified version of continuous models and both of them belong to the same domain. Continuous models belong to physical domain where a measurable time or quantity exists. Logical models, on the other hand, belong to a different domain, logical domain, where we are interested only in states (e.g., the presence or absence of a signal, protein, mRNA, etc.) and the sequence of state transitions (e.g., feed- forward loops described in detail later). In other words, the exact amount of physical quantities can be neglected as long as the state of entities and the sequence of state transitions are correct in logical models. Therefore, logical models are basically asynchronous, meaning that the state transitions are not confined to specific times and may occur at any time when inputs/conditions are ready/satisfied.

Boolean network, first presented by Kauffman [14], is a logical modeling approach that uses binary representation for the state of biological entities. For example, the existence of a signal can be represented as 1 (present) or 0 (absent), and the expression of a gene can also be shown as 1 (active) or 0 (inactive). Given inputs, a system may go through various transient states and eventually reach a steady state. The steady or final state and its outputs, which depend on only the input values, can be simulated and determined using combinational logic [37]. Combinational logic-based models cannot show transient or intermediate states that may have as much biological significance as the steady or final states. Therefore, there have been various approaches for capturing the transient states of gene networks, including model checking, Petri nets, Markov chain, and sequential logic [20], [23], [38]. For example, in sequential logic-based models, outputs depend on both the present state and input values [37]. In such models, even if same inputs are given, outputs can be different depending on the present state of a system, generating many different transient states. Sequential logic-based models are often represented as finite state machines and state diagrams [37]. Even though these approaches are good at showing the transient states of a dynamic system, they become less successful as the system becomes larger and more complex. For instance, in large sequential logic-based models, determining and managing the states and transitions among them can be overwhelming, due to their flat, unstratified structure. This can be resolved using statecharts as described below.

#### Statecharts

Gene networks are made of a small set of recurring modules, called network motifs: (i) simple regulation (two-gene network), (ii) autoregulation, (iii) feed-forward loop, (iv) single-input module, and (v) dense overlapping regulon [4], [31]. In fact, the last four motifs are variations and/or combinations of the first motif, simple regulation. In other words, simple regulation is a fundamental unit or module of gene networks and can serve as a basic building block for constructing more complex networks. Modularity is an important property that allows scientists and engineers to model, design, or analyze complex systems in a structured and efficient way. A large system made of multiple modules can be regarded as a module for an even larger system. Also, through abstraction, the details of sub-modules (modules inside a module) can be hidden. Therefore, using modularity and abstraction, a complex, multi-level (nested) hierarchy can be implemented while maintaining simplicity.

Statechart is a sequential logic-based modeling approach that extends classical state diagram with additional features such as nested hierarchy, concurrency, and recursion, enabling us to model large gene networks in an efficient and systematic way [39]. In this paper, we will model the known network motifs described above using statecharts and describe the important features. A complex interlocked feed-forward loop network will be also modeled, demonstrating the potential of the approach for modeling large and complex gene networks.

#### Understanding Simple Regulation in Continuous Domain

Understanding simple regulation, the basic building block of gene networks, in continuous (physical) domain is helpful for appreciating gene networks modeled in logical domain. A differential equation-based model of simple regulation is described in detail below.

In simple regulation, *Y _{gene}* is activated by

*X*, as indicated by the notation, X→Y, in Figure 1. Even though the notation is quite simple, it involves a number of steps. First,

_{gene}*X*is transcribed into

_{gene}*X*, which is then translated into

_{mRNA}*X*. In the presence of signal

_{protein}*S*,

_{x}*X*transits to its active form

_{protein}*X**and binds the promoter of

_{protein}*Y*, transcribing

_{gene}*Y*into

_{gene}*Y*. Finally, as

_{mRNA}*Y*is translated,

_{mRNA}*Y*is produced. Overall, the signal

_{protein}*S*acts like a switch, controlling the rate of the

_{x}*Y*production.

_{protein}**Figure 1. A schematic illustration of simple regulation (X→Y).**

First, *X _{gene}* is transcribed into

*X*, which is then translated into

_{mRNA}*X*. In the presence of signal

_{protein}*S*,

_{x}*X*transits to its active form

_{protein}*X**and binds the promoter of

_{protein}*Y*transcribing

_{gene},*Y*into

_{gene}*Y*. Finally, as

_{mRNA}*Y*is translated,

_{mRNA}*Y*is produced.

_{protein}Depending on the concentration of *X* _{protein}*,

*Y*is formed at a rate

_{protein}*f(t)*, a function of time (units of concentration per unit time). The production is balanced by processes that decrease

*Y*, namely degradation (protein destruction by specialized enzymes) and dilution (concentration reduction due to the increase of cell volume during growth) [31]. Degradation and dilution can be collectively denoted as

_{protein}*d(t)*(units of one per unit time). The change in the concentration of

*Y*depends on both

_{protein}*f(t)*and

*d(t)*. Using a differential equation, its dynamics can be described as:

where

*y(t)*stands for the concentration of

*Y*.

_{protein}As stated earlier, *X _{protein}* must be converted to

*X**by the signal

_{protein}*S*in order to initiate the

_{x}*Y*production. The concentration of

_{protein}*X**can be expressed as a function of

_{protein}*S*, which is acting as an activating switch. The elements of biological systems that have switch-like relationships with one another can be described using the Hill function [40]. Thus, the relationship between

_{x}*X**and

_{protein}*S*can be expressed as:

_{x}where

*x*(

*t*) stands for the concentration of

*X*. It is the maximal level of

_{protein}*X**or

_{protein}*x*(t)*(in units of concentration) that is reached when

*S*≫

_{x}*K*.

_{1A}*K*is the concentration of

_{1A}*S*, at which half-maximal concentration of

_{x}*x*(t)*is reached. The Hill coefficient

*l*changes the steepness of the function. When

*S*acts as a repressor, the Hill function can be expressed as:

_{x}where

*K*is the concentration of

_{1B}*S*, at which half-maximal repression of the

_{x}*x*(t)*production is reached.

The relationship between *f(t)* and *X* _{protein}* (

*S*) or

_{x}*x*(t)*has also been experimentally demonstrated as [33]:

*F _{max}* is the maximal level of the

*Y*production (in units of concentration per unit time) that is reached when

_{protein}*x*(t)*≫

*K*.

_{2A}*K*is the concentration of

_{2A}*x*(t)*at which half-maximal production of

*Y*is reached. Again,

_{protein}*m*is the Hill coefficient. Similarly, when

*x*(t)*acts as a repressor, the Hill function can be shown as:

where

*K*is the concentration of

_{2B}*x*(t)*at which half-maximal repression of the

*Y*production is reached.

_{protein}### Results and Discussion

#### Simple Regulation

Figure 2 shows the state tables and statecharts of various simple regulations. The existence of the signal *S _{x}* is denoted by 1 (present) and 0 (absent). The expression state of gene

*X*and

*Y*is also represented as 1 (active) and 0 (inactive). It is assumed that gene

*X*is always expressed (

*X*= 1). The signal

*S*and transcription factor

_{x}*X*can act both as activators or repressors. Therefore, for simple regulation, there are four possible combinations regarding the actions of the signal and transcription factor. When they act in the same way (both of them are either activators or repressors), it is called a coherent simple regulation (Fig. 2A). On the other hand, if the signal and transcription factor behave in opposite ways (one is an activator while the other one is a repressor), it is an incoherent simple regulation (Fig. 2B). Note that both State I and II are within a larger state where

*X*= 1, forming a nested hierarchical structure. The large state (

*X*= 1) is a superstate, and state I and II are substates. The current state of the signal

*S*determines which substate is an initial (or starting) substate. For example, in Figure 2A, if

_{x}*S*= 1 then the right substate is considered first during execution.

_{x}**Figure 2. Simple regulation.**

(A) Coherent simple regulation. Both the signal *S _{X}* and transcription factor

*X*act either as activators or repressors. (B) Incoherent simple regulation. One of them acts as an activator and the other acts as a repressor.

#### Autoregulation

Negative autoregulation occurs when a transcription factor represses the transcription of its own gene (negative feedback). It is known that negative autoregulation speeds up the response time of gene expression and reduce the cell-cell variation in protein levels [31]. Positive autoregulation occurs when a transcription factor enhances its own protein production rate. In contrast to negative autoregulation, the response time is slowed and the cell-cell variation is increased [31]. Both negative and positive autoregulations are identical to simple regulation in logical domain because only the state of entities and the sequence of state transitions are considered, neglecting all the physical details such as the response time and cell-cell variation (Fig. 3A). It has been reported that when the rate of positive autoregulation is very strong compared to the degradation/dilution rate, the network can be locked in one state [31], [41], [42]. In other words, the expression state of gene *Y* may become irreversible once it is activated, even after the signal is no longer present, as shown in Figure 3B.

**Figure 3. Autoregulations.**

(A) Both negative and positive autoregulations are identical to simple regulation in logical domain. (B) Positive autoregulation may lock the network into a state where gene *Y* is constantly expressed.

#### Feed-Forward Loop (FFL)

Feed-forward loop (FFL) is one of the most studied motif classes [4], [32], [43], [44]. Among many types within the FFL class, coherent type-1 (C1-FFL) and incoherent type-1 (Ic1-FFL) are the ones commonly found in biological systems [31].

Figure 4A shows the statechart and state table of C1-FFL and Ic1-FFL. It is known that C1-FFL causes a delay and Ic1-FFL generates a pulse in the expression of gene *Z* [31]. The FFLs are equivalent to two cascaded simple regulations (Fig. 4B) with a junction at *Z*, upon which both *X* and *Y* are acting. As shown in both Figure 4A and 4B, cascaded simple regulations do not lose the basic structure of simple regulation (Fig. 2) through recurring hierarchical organization (recursion), decreasing the complexity of the model. Figure 4C shows a combinational logic-based rule that determines the overall effect of multiple signals at the junction. Only “and” and “or” are shown in the figure, however, theoretically all other known Boolean logic gates, such as “xor” and “nand”, can also be applied [37]. S_{[Y]} signifies that multiple signals are acting on gene *Y* and the net effect is determined by their combinational logic-based rule. In Figure 4A, it is shown that C1-FFL involves “and” gate and Ic1-FFL is dependent on “doesn't imply” gate. Note that once these junction gates are defined, the statechart is identical for both types of FFLs.

**Figure 4. Feed-forward loops.**

(A) The statechart and state table for C1-FFL and Ic1-FFL. The truth table for the signals is also shown. (B) Cascaded simple regulations (C) Junction rule based on combinational logic. S_{[Y]} signifies that multiple signals are acting on gene *Y* and the net effect is determined by their combinational logic-based rule.

Figure 5 shows the state tables and state diagrams of FFLs. Note that the characteristic features of statecharts, such as nested hierarchy and recursion, cannot be seen in the state diagrams. We will show later (using an interlocked FFL gene network as an example) that the lack of those features increases the complexity of determining the states and drawing the transitions among them, as the network becomes larger.

**Figure 5. State diagrams of FFLs.**

(A) The state table and state diagram of C1-FFL. The symbol X (denoting “don't care”) for the signal indicates that it can be either 1 or 0. (B) The state table and state diagram of Ic1-FFL.

doi:10.1371/journal.pone.0009376.g005#### Single-Input Module (Parallel Simple Regulations)

In a single-input module, multiples genes (*Y _{1}*,

*Y*,

_{2}*Y*, …) are controlled by a single gene

_{3}*X*(Fig. 6). It can be considered as parallel simple regulations, in contrast to cascaded simple regulations shown in Figure 4B. The structure of the statechart is basically identical to that of simple regulation (Fig. 2), maintaining simplicity. Parallel and cascaded simple regulations are two major interconnection topologies or configurations that can make gene networks complex and diverse.

**Figure 6. Single-input module.**

Multiples genes (*Y _{1}*,

*Y*,

_{2}*Y*, …) are controlled by a single gene

_{3}*X*.

#### Dense Overlapping Regulon

Figure 7 shows an example of dense overlapping regulon. Two simple regulation-like diagrams with combinational logic-based junctions (*S _{[Y1]}* and

*S*) are placed within a superstate (

_{[Y2]}*X*

_{1}X_{2}X_{3}= 111). This example shows one of the important features of statecharts, concurrency. While the superstate (

*X*

_{1}X_{2}X_{3}) is active, two statecharts (each involving

*Y*or

_{1}*Y*) are executed in parallel. It is not shown in the figure, but the signals that determine

_{2}*S*and

_{[Y1]}*S*, based on combinational logic, are

_{[Y2]}*S*,

_{x1}*S*, and

_{x2}*S*. Note that the number of simple regulation-like diagrams depends on the number of

_{x3}*Y*-level genes (

*Y*,

_{1}*Y*, …) and not

_{2}*X*-level genes.

**Figure 7. Dense overlapping regulon.**

Two simple regulations with combinational logic-based junctions (*S _{[Y1]}* and

*S*) are within the same state (

_{[Y2]}*X*

_{1}X_{2}X_{3}= 111). While the superstate (

*X*

_{1}X_{2}X_{3}) is active, two statecharts (each involving

*Y*or

_{1}*Y*) are executed in parallel. It is not shown in the figure, but the signals that determine

_{2}*S*and

_{[Y1]}*S*, based on combinational logic, are

_{[Y2]}*S*,

_{x1}*S*, and

_{x2}*S*.

_{x3}#### Interlocked FFL Network

It is known that FFLs can be combined into more complex and larger transcription networks [4]. One example is found in the bacterium *Bacillus subtilis* where the network controls differentiation [45]. Figure 8A shows the network from the literature. The network is made up of many repeating C1-FFLs and Ic1-FFLs. However, only 112 FFLs, which are clearly described as repeating Ic1-FFLs in the literature, are included in the figure. Figure 8B shows a simplified schematic illustration of the network. Since 112 genes behave in the same way (incoherent type-1 feed-forward loop), we denote them simply as *Z*_{1}, simplifying the representation. The behavior of each gene can be understood using the concept of single-input module (parallel simple regulations) described earlier. Figure 8C shows time-dependent gene expression pattern of *Z _{1}*,

*Z*, and

_{2}*Z*[4]. Two Ic1-FFLs generate pulses in the expression of

_{3}*Z*and

_{1}*Z*, and two C1-FFLs cause delays in the

_{2}*Z*and

_{2}*Z*expression.

_{3}**Figure 8. Interlocked FFL network.**

(A) In *Bacillus subtilis.* (B) A simplified schematic illustration. (C) Time-dependent gene expression of *Z*_{1}, *Z*_{2}, and *Z*_{3}. (D) Statechart based on (B). [Z1] and [Z2] follow “does not imply” gate logic, while [X2] and [Z3] follow “and” gate logic. (E) Time-dependent gene expression given all the signals (S_{X1}, S_{Y1}, S_{X2}, and S_{Y2}) turned on simultaneously. *Z _{1}* and

*Z*pulses and delayed

_{2}*Z*and

_{2}*Z*expression can be observed as shown in (C). These pulses and delays are observable because the statecharts enable us to track the transient states (states I through VI) during execution.

_{3}Figure 8D shows the statechart of the network. The total number of genes involved in the network is 118 (Fig. 8A). It is striking that the total number of all the superstates and substates is greatly reduced, even though the number of all the possible gene expression combinations is 2^{117} (not 2^{118} because it is assumed that the expression state of the first gene *X _{1}* is on (

*X*= 1), which is approximately 1.66×10

_{1}^{35}. Note that parallel simple regulations discussed in Single-Input Module section makes this reduction possible. Furthermore, the important features (nested hierarchy, recursion, and concurrency) of statecharts discussed in previous sections are well demonstrated in this example.

When all the signals (S_{X1}, S_{Y1}, S_{X2}, and S_{Y2}) are turned on simultaneously, time-dependent gene expression can be shown as in Figure 8E. *Z _{1}* and

*Z*pulses and delayed

_{2}*Z*and

_{2}*Z*expression are observed as expected in Figure 8C. These pulses and delays are observable because the statecharts enable us to track the transient states (states I through VI) during execution.

_{3}Figure 9 shows the state diagram of the same gene network. When we try to draw the state diagram, two major difficulties, compared to the statechart-based approach, become evident. First, in order to determine the states shown in the figure, we have to know the expression state of all genes for each state. This can be overwhelming if the number of genes is large. In contrast, knowing the expression state of a single gene per state is required in the statechart method (Fig. 8D). Secondly, in the state diagram, we need to consider every transition from one state to another, depending on every possible combination of the signals. Figure 9 shows that it makes the transition map very complicated. This chaotic transition problem is not seen in statecharts (Fig. 8D). In summary, determining the states and figuring out transitions between them can become daunting problem as the network size increases, and they can be handled in a more structured and efficient way using statecharts [39].

**Figure 9. State diagram of the interlocked FFL network.**

Determining the states and drawing the transitions between them are more complicated compared to the statechart-based approach.

doi:10.1371/journal.pone.0009376.g009#### Further Discussions

Feedback loop is not described as one of the motifs in the literature [31], and its statechart representation is not demonstrated in our paper. However, considering its importance, we intend to incorporate it into our modeling scheme in the future.

Figure 8E resembles time-series DNA microarray data, and it suggests that our approach may be useful for extracting network information from the data. In order to apply such approach, the first thing that needs to be done is extracting binary information (on and off state of each gene at different times) from experimental microarray data. However, even this is quite challenging currently because of the stochastic nature of the data and other reasons [46].

#### Conclusion

The dynamics of gene networks depend on both the present signal values and the past behavior of the system, and sequential logic-based state diagrams are appropriate for representing such dynamics. However, when they are used to model large, complex systems, determining the states and managing transitions between them can become chaotic and unrealistic. In this article, we demonstrated how statecharts, which extend state diagrams with features including nested hierarchy, recursion, and concurrency, enable us to model large gene networks in a highly structured and efficient way. We modeled five known gene network motifs, simple regulation, autoregulation, feed-forward loop, single-input module, and dense overlapping regulon, using the statechart method. Utilizing the important features of statecharts, we were also able to model a complex interlocked feed-forward loop network, demonstrating the potential of our approach for modeling large and gene networks.

### Methods

The statechart method used in this article is described in detail in Results and Discussion Section. It was first invented by David Harel in 1980s, and a detailed introduction to the subject can also be found in one of his papers [39].

### Author Contributions

Conceived and designed the experiments: YJS. Performed the experiments: YJS. Analyzed the data: YJS. Contributed reagents/materials/analysis tools: YJS. Wrote the paper: YJS MN. Conceived and designed the modeling method: Y-JS. Analyzed examples: Y-JS. Contributed to verifying the logical correctness of the modeling approach: MN. Contributed to revising the paper: MN.

### References

- 1. Hasty J, McMillen D, Isaacs F, Collins JJ (2001) Computational studies of gene regulatory networks: in numero molecular biology. Nat Rev Genet 2: 268–279.
- 2. Milo R, Shen-Orr S, Itzkovitz S, Kashtan N, Chklovskii D, et al. (2002) Network motifs: simple building blocks of complex networks. Science 298: 824–827.
- 3. Hooshangi S, Weiss R (2006) The effect of negative feedback on noise propagation in transcriptional gene networks. Chaos 16: 026108.
- 4. Alon U (2007) Network motifs: theory and experimental approaches. Nat Rev Genet 8: 450–461.
- 5. Cuccato G, Della Gatta G, di Bernardo D (2009) Systems and Synthetic biology: tackling genetic networks and complex diseases. Heredity 102: 527–532.
- 6. Guido NJ, Wang X, Adalsteinsson D, McMillen D, Hasty J, et al. (2006) A bottom-up approach to gene regulation. Nature 439: 856–860.
- 7. Andrianantoandro E, Basu S, Karig DK, Weiss R (2006) Synthetic biology: new engineering rules for an emerging discipline. Mol Syst Biol 2: 2006.0028.
- 8. Lu TK, Khalil AS, Collins JJ (2009) Next-generation synthetic gene networks. Nat Biotechnol 27: 1139–1150.
- 9. Endler L, Rodriguez N, Juty N, Chelliah V, Laibe C, et al. (2009) Designing and encoding models for synthetic biology. J R Soc Interface 6: S405–S417.
- 10. Pepperkok R, Ellenberg J (2006) High-throughput fluorescence microscopy for systems biology. Nat Rev Mol Cell Biol 7: 690–696.
- 11. Schena M (1995) Quantitative monitoring of gene expression patterns with a complementary DNA microarray. Science 270: 467.
- 12.
Kohane IS, Kho AK, Butte AJ (2005) Microarrays for an Integrative Genomics. Cambridge: MIT Press.
- 13. Abdullah-Sayani A, Bueno-de-Mesquita JM, van de Vijver MJ (2006) Technology Insight: tuning into the genetic orchestra using microarrays–limitations of DNA microarrays in clinical practice. Nat Clin Pract Oncol 3: 501–516.
- 14. Thomas R (1973) Boolean formalization of genetic control circuits. J Theor Biol 42: 563–585.
- 15. Smolen P, Baxter DA, Byrne JH (2000) Modeling transcriptional control in gene networks–methods, recent results, and future directions. Bull Math Biol 62: 247–292.
- 16.
Bower JM, Bolouri H (2001) Computational Modeling of Genetic and Biochemical Networks. Cambridge: MIT Press.
- 17. Bolouri H, Davidson EH (2002) Modeling transcriptional regulatory networks. Bioessays 24: 1118–1129.
- 18. Shmulevich I, Dougherty ER, Zhang W (2002) Gene perturbation and intervention in probabilistic Boolean networks. Bioinformatics 18: 1319–1331.
- 19. Simpson ML, Cox CD, Sayler GS (2003) Frequency domain analysis of noise in autoregulated gene circuits. Proc Natl Acad Sci USA 100: 4551–4556.
- 20. Batt G, Ropers D, de Jong H, Geiselmann J, Mateescu R, et al. (2005) Validation of qualitative models of genetic regulatory networks by model checking: analysis of the nutritional stress response in Escherichia coli. Bioinformatics 21: Suppl 1i19–28.
- 21. Goutsias J, Lee NH (2007) Computational and experimental approaches for modeling gene regulatory networks. Curr Pharm Des 13: 1415–1436.
- 22. Rinaudo K, Bleris L, Maddamsetti R, Subramanian S, Weiss R, et al. (2007) A universal RNAi-based logic evaluator that operates in mammalian cells. Nat Biotechnol 25: 795–801.
- 23. Steggles LJ, Banks R, Shaw O, Wipat A (2007) Qualitatively modelling and analysing genetic regulatory networks: a Petri net approach. Bioinformatics 23: 336–343.
- 24. Schilstra (2008) Bio-logic: Gene expression and the laws of combinatorial logic. Artif Life 14: 121.
- 25. Karlebach G, Shamir R (2008) Modelling and analysis of gene regulatory networks. Nat Rev Mol Cell Biol 9: 770–780.
- 26. Garg A, Di Cara A, Xenarios I, Mendoza L, De Micheli G (2008) Synchronous versus asynchronous modeling of gene regulatory networks. Bioinformatics 24: 1917–1925.
- 27.
Bolouri H (2008) Computational Modeling of Gene Regulatory Networks. London: Imperial College Press.
- 28. Cox CD, McCollum JM, Austin DW, Allen MS, Dar RD, et al. (2006) Frequency domain analysis of noise in simple gene circuits. Chaos 16: 026102.
- 29. Raj A, van Oudenaarden A (2008) Nature, nurture, or chance: stochastic gene expression and its consequences. Cell 135: 216–226.
- 30. Dunlop MJ, Cox RS 3rd, Levine JH, Murray RM, Elowitz MB (2008) Regulatory activity revealed by dynamic correlations in gene expression noise. Nat Genet 40: 1493–1498.
- 31.
Alon U (2006) An Introduction to Systems Biology: Design Principles of Biological Circuits. London: CRC.
- 32. Kaplan S, Bren A, Dekel E, Alon U (2008) The incoherent feed-forward loop can generate non-monotonic input functions for genes. Mol Syst Biol 4: 203.
- 33. Kaplan S, Bren A, Zaslaver A, Dekel E, Alon U (2008) Diverse two-dimensional input functions control bacterial sugar genes. Mol Cell 29: 786–792.
- 34. Wu FX (2008) Gene Regulatory Network modelling: a state-space approach. Int J Data Min Bioinform 2: 1–14.
- 35. Maiwald T, Timmer J (2008) Dynamical modeling and multi-experiment fitting with PottersWheel. Bioinformatics 24: 2037–2043.
- 36. Glass L, Kauffman SA (1973) The logical analysis of continuous, non-linear biochemical control networks. J Theor Biol 39: 103–129.
- 37.
Brown S, Vranesic Z (2005) Fundamentals of Digital Logic with VHDL Design. New York: McGraw-Hill.
- 38. Shmulevich I, Gluhovsky I, Hashimoto RF, Dougherty ER, Zhang W (2003) Steady-state analysis of genetic regulatory networks modelled by probabilistic boolean networks. Comp Funct Genomics 4: 601–608.
- 39. Harel D (1987) Statecharts: a visual formalism for complex systems. Science of Computer Programming 8: 231–274.
- 40. Hetherington JP, Warner A, Seymour RM (2006) Simplification and its consequences in biological modelling: conclusions from a study of calcium oscillations in hepatocytes. J R Soc Interface 3: 319–331.
- 41. Demongeot J, Kaufman M, Thomas R (2000) Positive feedback circuits and memory. C R Acad Sci III 323: 69–79.
- 42. Becskei A, Seraphin B, Serrano L (2001) Positive feedback in eukaryotic gene networks: cell differentiation by graded to binary response conversion. EMBO J 20: 2528–2535.
- 43. Mangan S, Alon U (2003) Structure and function of the feed-forward loop network motif. Proc Natl Acad Sci USA 100: 11980–11985.
- 44. Iranfar N, Fuller D, Loomis WF (2006) Transcriptional regulation of post-aggregation genes in Dictyostelium by a feed-forward loop involving GBF and LagC. Dev Biol 290: 460–469.
- 45. Eichenberger P, Fujita M, Jensen ST, Conlon EM, Rudner DZ, et al. (2004) The program of gene transcription for a single differentiating cell type during sporulation in Bacillus subtilis. PLoS Biol 2: e328.
- 46. Sahoo D, Dill DL, Tibshirani R, Plevritis SK (2007) Extracting binary signals from microarray time-course data. Nucleic Acids Res 35: 3705–3712.