 Research Article
 Open Access
 Published:
A framework to find the logic backbone of a biological network
BMC Systems Biology volume 11, Article number: 122 (2017)
Abstract
Background
Cellular behaviors are governed by interaction networks among biomolecules, for example gene regulatory and signal transduction networks. An often used dynamic modeling framework for these networks, Boolean modeling, can obtain their attractors (which correspond to cell types and behaviors) and their trajectories from an initial state (e.g. a resting state) to the attractors, for example in response to an external signal. The existing methods however do not elucidate the causal relationships between distant nodes in the network.
Results
In this work, we propose a simple logic framework, based on categorizing causal relationships as sufficient or necessary, as a complement to Boolean networks. We identify and explore the properties of complex subnetworks that are distillable into a single logic relationship. We also identify cyclic subnetworks that ensure the stabilization of the state of participating nodes regardless of the rest of the network. We identify the logic backbone of biomolecular networks, consisting of external signals, selfsustaining cyclic subnetworks (stable motifs), and output nodes. Furthermore, we use the logic framework to identify crucial nodes whose override can drive the system from one steady state to another. We apply these techniques to two biological networks: the epithelialtomesenchymal transition network corresponding to a developmental process exploited in tumor invasion, and the network of abscisic acid induced stomatal closure in plants. We find interesting subnetworks with logical implications in these networks. Using these subgraphs and motifs, we efficiently reduce both networks to succinct backbone structures.
Conclusions
The logic representation identifies the causal relationships between distant nodes and subnetworks. This knowledge can form the basis of network control or used in the reverse engineering of networks.
Background
Dynamics at the cellular level are governed by various interaction networks among biomolecules, including signal transduction, metabolic and gene regulatory networks. The nodes of these networks are different types of biomolecules: proteins, mRNAs and small molecules, while the edges signify biochemical reactions, proteinprotein interactions or transcriptional regulation via directional mass or information flow. Many cellular functions involve numerous nodes and interactions, hence these networks are large and complex. Various modeling techniques, involving different levels of detail and necessitating knowledge of varying amounts of biological information, have been developed to analyze these networks [1–14]. A lot of quantitative information can be obtained from continuous models formulated as differential equations, construction of which needs knowledge of the values of chemical kinetic parameters, reaction rates, etc [3–6]. In contrast, discrete dynamic models give a good qualitative understanding of the system using only the inhibiting or activating nature of the interactions without the use of any kinetic parameters [7–14]. The simplest discrete dynamic framework, called a Boolean model, characterizes each node with two states: 1 (ON, meaning abovethreshold expression or activity) or 0 (OFF, meaning belowthreshold expression or activity) [15–18]. In this model, the future state of a node is determined by a logic function of the current states of its regulators. This logic function is called a Boolean regulatory function and usually written as f _{ Node }. The network dynamics can be understood by starting from a suitable initial state and successively evaluating the Boolean regulatory function of each node to find its next state. The resulting system trajectories can be summarized as a state transition graph whose nodes are states of the system and whose edges represent state transitions [18, 19]. If a state in this state transition graph does not have an outgoing edge to another state, it is a fixed point (also called steady state). If the transition graph contains a cycle or a strongly connected component of certain states, and if there are no transitions that go out of this strongly connected component, the respective states form a complex attractor. Often, Boolean networks are too large and complex to be analyzed by exhaustive simulations of the system trajectories. An efficient alternative is to identify socalled stable motifs [20], generalized positive feedback loops which when stabilized in a certain state maintain that fixed state of the constituent nodes. Successive identification and reduction of stable motifs can be used to identify the steady states of the system, or the partial steady states wherein a fraction of the nodes stabilize and the remaining nodes may oscillate [20–22]. Similarly, oscillating motifs, i.e., feedback loops where the constituent nodes’ states oscillate, represent complex attractors of the network [23]. The succession diagram resulting from the iterative identification and elimination of stable motifs reflects the points of no return in the system’s dynamics and can be used as an alternative of the state transition graph [20].
To complement these analyses of the network’s dynamics and attractors, we propose a simple logic framework for a deeper insight into the causal structures that ultimately determine the system dynamics. This paper is organized in two major parts, where the first part builds up the theoretical formalism and the second part contains two applications to published Boolean models. We start with describing the proposed causal edge representation and the corresponding logic implications. Once the edges are labeled with causal logic, we identify ways to find paths and subnetworks that, in their completeness, imply a particular logic. This is a rather strong and useful implication. For example, if there is a node X at a significant graphtheoretic distance from another node Y, and X has a logical implication on Y, we can predict the state of Y if we know the state of node X without the knowledge of the states of any other nodes of the network. The logic subgraphs and paths have interesting properties and can be used to develop an efficient network reduction technique. We also identify feedback loops with logic implications that are equivalent to stable motifs. We then develop a succinct representation of the relationship between input signals, the motifs and output (or sink) nodes. This representation intuitively expresses the network logic and indicates which nodes can drive the network to a particular steady state.
Using the causal logic framework, we analyze two intracellular networks, one from humans and the other from plants. The first network characterizes the epithelialtomesenchymal transition (EMT), which is a developmental process exploited by cancer cells to initiate metastasis and tumor invasion. We summarized this 69 node EMT network and its dynamics into a succinct 22 node backbone graph. The second network corresponds to the opening and closing of stomatal pores, which is critical for the regulation of carbondioxide intake and water vapor loss. In drought conditions, the phytohormone abscisic acid (ABA) acts as a signal in an intracellular network that induces stomatal closure for prevention of water loss. We summarized the 80 node ABAinduced stomatal closure network to a 14 node backbone structure.
Methods
The structure of a regulatory network expresses the relationship between two nodes (e.g. between a kinase and its target protein) but the logical implication of the relationship is not completely specified; all we know from the edge between the two nodes is whether the activity of the source node influences that of the target node either in an activating or in an inhibiting manner. The Boolean regulatory function of a target node describes the combined effect of all of its regulators and does not separate the effect of a single regulator. We propose a framework to also express the individual logic effect of a regulator node on a target node as a property of the edge between them and hence communicate the exact relationship between the regulator and the target node through the network representation. We characterize edges as sufficient or necessary, which tells whether the activity of the regulator node is sufficient or necessary to activate (or deactivate) the target. This means that if we know the state of a regulator, depending on the edge type, we can have a definite knowledge of the state of the target node irrespective of the state of the rest of the network, as illustrated in Fig. 1. This representation incorporates the edge logic into the network structure. For consistency, we consider the case of sustained (in)activity of the regulator node and focus on the longterm steady state of the target node. Alternative situations are considered in the “Discussion” section. For an activating regulator A that has a necessary edge to a target node B, deactivating the regulator (fixing it in the OFF state) ensures that the target is deactivated irrespective of the rest of the network, as shown in Fig. 1a. The Boolean regulatory function for this target would include an AND clause with this regulator. For example, in Fig. 1a, f _{ B }=A AND x. On the other hand, if an activating regulator node A is sufficient for a target node B, it means that if A is ON, then B will also stabilize to ON, irrespective of the state of the rest of the network, as shown in Fig. 1b. Consequently, in the Boolean regulatory function of B, A is connected by an OR operator to the other regulator(s) of B, i.e. f _{ B }=A OR x. To understand how this framework realizes inhibitory edges, it is important to note that inhibition implies the capability to deactivate something. A necessary inhibitory edge, e.g., A⊣B in Fig. 1c, means that the sustained activity of A is necessary to inhibit the target node B, that is, if the regulator node is kept inactive (A=OFF), then the target node would be activated (B=ON) irrespective of the states of other regulators. This is observed when the Boolean regulatory function of the target contains the OR NOT clause with this regulator, i.e., f _{ B }=(NOT A) OR x. A sufficient inhibitory edge, e.g., A⊣B in Fig. 1d, means that sustained activity of the regulator node (A) is sufficient to deactivate the target node (fixes B=OFF) irrespective of the state of the rest of the network. The Boolean regulatory function of B must hence contain the AND NOT clause with the regulator, i.e., f _{ B }=(NOT A) AND x. If an edge is both sufficient and necessary then the source node is the only regulator of the target node (Fig. 1e), so the Boolean regulatory function for B is: f _{ B }=A. When the target node has just one regulator that is inhibitory, there is a sufficient and necessary inhibiting edge as in Fig. 1f. The Boolean regulatory function in this case is f _{ B }=NOT A.
A target node can only have certain combinations of logical regulators. For example, if a regulator is directly (through a single edge) sufficient for a target node, there cannot be another regulator (independent of the first) that is directly necessary for this target since the case where the necessary regulator is OFF while the sufficient regulator is ON yields contradictory specifications for the target node. Sufficient regulators are only compatible with necessary inhibitors (i.e. resulting in Boolean regulatory functions of the type “ A OR NOT B”), and necessary regulators can only be combined with sufficient inhibitors (in Boolean regulatory functions of the type “ A AND NOT B”). There can be cases where a regulator is neither directly sufficient nor necessary for the target but it has a logical implication when combined with other regulators. For example, consider the following Boolean regulatory function: f _{ D }=A OR (B AND C). Here, A is sufficient for D while B is neither sufficient nor necessary for D. The combination (B AND C) is sufficient for D. We introduce mediator nodes in the network to represent such cases of relationships embodied by groups of nodes. The above example is shown in Fig. 2 where M1 is a mediator node and f _{ M1}=B AND C. This implies that B is necessary for M1 while M1 is sufficient for D with the equivalent Boolean regulatory function: f _{ D }=A OR M1. The use of mediator nodes ensures that all activating edges incident on a node (or a mediator node) have the same color (i.e. logic implication) while all inhibiting edges incident on the same node are of the opposite color of activating edges. For simplicity and optimization of this representation, we propose that the Boolean regulatory functions be expressed either in Conjunctive Normal Form (CNF) or in Disjunctive Normal Form (DNF). In this work, we chose the form (CNF or DNF) that minimizes the number of edges and mediator nodes. We ensured that the chosen form of the Boolean regulatory function covers all prime implicants.
Two consecutive edges can lead to a particular logical implication (e.g. sufficient), thus defining the chaining of edges. For example, two sufficient edges, such as A→B and B→C in Fig. 3, can be chained to yield a sufficient relationship, i.e., A is sufficient for C. The B→C sufficient edge can be chained with the sufficient inhibitory edge C⊣D and yields a sufficient inhibitory relationship, meaning that setting B ON stabilizes D to OFF irrespective of the states of all nodes other than B, C & D. By extension, a twoedge path (e.g. ABC) may be chained with an edge to yield a logic implication of the resulting threeedge path (e.g. the ABCD path is sufficient inhibitory). If a linear path (succession of edges) has all its edges chaining in a certain manner, then the path can be attributed a particular logical implication (e.g., sufficient, necessary). For example, if each edge in a linear path in the network is sufficient (respectively, necessary) then the path is also sufficient (respectively, necessary), see Fig. 3. We determined all the cases of chaining of consecutive edges or paths and expressed it in a chain function, summarized in Table 1. With the help of this function, we can determine the causal effect of a distant node on another. For example, if a linear path is sufficient and we fix the first node to ON, then the last node will also stabilize to the ON state. As an additional example, if a sufficient inhibitory path (e.g. ABCD in Fig. 3) is followed by a necessary path (DEF), fixing the first node to ON would stabilize the target of the sufficient inhibitory path (D) to OFF and since this target is the first node of the necessary path, it will stabilize the last node of the combined path (F) to OFF. This combination would hence result in the same effect as a sufficient inhibitory path, as shown in Table 1.
Results
Subgraphs with causal logic implication
If there is no linear path of a particular causal implication between a pair of nodes, there can still be a logic relationship between them via the combination of multiple paths. These combinations of multiple paths between a pair of nodes, which we will refer to as subgraphs, can be used to understand what can be achieved by fixing the source (starting) node to a particular state. For example, having a necessary subgraph implies that if we fix the source (starting) node of the subgraph to OFF then the target (last) node of the subgraph stabilizes in the OFF state irrespective of the state of the rest of the network (i.e. of the nodes not contained in the subgraph).
We find that a sufficient subgraph is formed if there are multiple necessary regulators (and no other types of regulators) of the target node (e.g. G, F and C in Fig. 4 are necessary regulators of D) and the source is sufficient for each of these necessary regulators. The source may be sufficient for each of the necessary regulators via an edge, a path (as is A for nodes G, F and C in Fig. 4), or even a subgraph. Another possible architecture of a sufficient subgraph is when there are multiple sufficient inhibitory regulators (and no other types of regulators) and the source is a sufficient inhibitor of each of these regulators. In this case, keeping the source ON stabilizes all the regulators in the OFF state, allowing the target to turn ON. Finally, these two types of relationships can be mixed: if the target node has necessary and sufficient inhibitory regulators (and no other regulators), and the source is sufficient for the necessary regulators and a sufficient inhibitor of the sufficient inhibitory regulators, the source is overall sufficient for the target. For example, in the sufficient subgraph from A to K in Fig. 4 the target node K has a necessary regulator, E, and a sufficient inhibitory regulator, L. The source node A is sufficient for E via a subgraph from A to D and then an edge from D to E; while A is a sufficient inhibitor of L via a path (one can quickly check from Table 1 that ANML is indeed a sufficient inhibitory path). When A is fixed to the ON state, the A−E sufficient subgraph ensures that E stabilizes to ON as well, while the A−L sufficient inhibitory path ensures that L stabilizes in the OFF state. Since the Boolean regulatory function of K is f _{ K }=E AND NOT L, the target node K stabilizes in the ON state, making the A−K subgraph a sufficient subgraph. Generally, for each logic implication between a source and a target there exist multiple pairings of logic implications that may not be defined for chaining of two paths but can yield the desired logic implication if one of the pairings apply for each regulator of the target. Our previous example showed that the pairing of sufficient with necessary, and the pairing of sufficient inhibitory with sufficient inhibitory, yields a sufficient subgraph. We hence propose a subgraph chain function, in analogy to the chain function for paths, and indicate it in Table 2. Figure 4 illustrates sufficient and necessary subgraphs.
We implemented the path and subgraph chain functions (Table 2) to find subgraphs between pairs of nodes with one of the logical implications (sufficient, necessary, sufficient inhibitor, necessary inhibitor, sufficient and necessary, or sufficient and necessary inhibitor). The algorithm (presented in more detail in Additional File 1) takes as input a network with assigned edge logic implications (which in turn can be constructed from the Boolean rules of each node), a startnode (S) and an endnode (E). The first step of the algorithm is to create a list of all simple paths from S to E. This list is obtained using the networkx.all_simple_paths builtin function from the Networkx graph library which uses a modified depthfirst search to generate the paths. For reducing computation time, the list is sorted by increasing path length. The paths are scanned one by one, starting with the shortest, until we find a subgraph with a logical implication. For each path, the algorithm tries to chain consecutive edges, i.e., obtain the cumulative logical implication of the consecutive edges. During this chaining of edges, if a certain edge (for example A→B) cannot be chained, i.e., the combination of the path from S to A chained with the edge A→B yields “” in the chain function in Table 1, then the algorithm tries to find a subgraph from S to B by looking at the logical implication of the startnode S on each of the regulators of node B. So, the algorithm now scans paths from S to other regulators of B. If the subgraphs/paths from S to each of the regulators of B chain with the respective edges between each regulator and B, and yield the same subgraph type as per the subgraph chain function in Table 2, the corresponding implication is recorded and the next edge in the path is scanned. If the same subgraph type is not yielded, this means the path being scanned does not have a logical implication hence we scan the next path between S and E. If while scanning a path, we reach the node E (i.e., the path is completely scanned) then the resultant logical implication and the complete subgraph is returned as output. If all the paths have unfinished scans (i.e., none of them are a logic path or subgraph), the function reports no logic relationship between the given pair of nodes. An illustration of the algorithm is provided in panel B of Fig. 4, where the goal is to find the subgraph between node A and node D of Fig. 4a. In this example, the target node D has three necessary regulators: C, F and G, and the source node A is sufficient for each of these regulators.
Properties of logic subgraphs
The causal logic representation allows the identification of the conditions under which a cycle (feedback loop) can intersect a logic path or subgraph. Here, intersection of a cycle and a subgraph means that two or more nodes and at least one edge is shared by the cycle and the subgraph. We find that a sufficient subgraph that does not contain any inhibitory edges cannot intersect a necessary cycle. Analogously, we also find that a necessary subgraph without any inhibitory edges cannot intersect a sufficient cycle.
A necessary cycle could intersect a sufficient subgraph containing inhibitory edges only if the intersection follows a sufficient inhibitory section of the subgraph. An example is illustrated in Fig. 5, where the intersection CD of the necessary cycle CDE with the subgraph (path) ABCDFG follows a sufficient inhibitory section ABC. Analogously, a sufficient cycle can intersect a necessary subgraph containing inhibitory edges only if the intersection follows a necessary inhibitory section of the subgraph. A detailed proof for these properties is given in Additional file 2.
We also studied the case of two subgraphs that have different starting (source) nodes but end in the same target node; we will refer to this situation as copointing subgraphs. We find that if there are two copointing subgraphs, one of which is necessary while the other is sufficient, then they must intersect. If either of the starting points is a signal node (with indegree 0) then the starting node of the other subgraph must lie in the intersection. If the subgraph starting with a signal node is sufficient, then this signal node must be sufficient for the starting node of the necessary subgraph. This situation occurs frequently when using genetic or pharmacological knockout experiments to identify putative signal transduction mediators. The signal is, or at least it is strongly expected to be, sufficient for a relevant target node that expresses the outcome of the signal transduction process (assuming the presence of molecules generally necessary for life). Finding that this knockout disrupts the signal transduction process and eliminates the outcome even in the presence of the signal makes the putative mediator necessary for the target node. Our result formalizes and proves the implicit conclusion that the knockedout node is indeed a mediator of the process, i.e. a connection from the signal to the knockedout node exists.
Stable motifs
If a subgraph of a particular logic implication forms a cycle, i.e., the source (starting) node and the target (ending) node of the subgraph are the same, we call it a cyclic subgraph. Such cyclic subgraphs may correspond to stable motifs. A stable motif is a strongly connected subnetwork which maintains a fixed state of its constituent nodes regardless of the rest of the network [20]. For a cyclic subgraph to be a stable motif, it should be either sufficient, necessary or sufficient and necessary for one of its nodes when this node is considered as both the source and the target of the subgraph. A stable motif represented by a sufficient cyclic subgraph is illustrated in Fig. 6. A sufficient cyclic subgraph is a stable motif because if the source is activated, there is a path or subgraph from the source to itself, which keeps it activated i.e. maintains its fixed ON state. The starting (and ending) node of the cyclic subgraph, when fixed to the state corresponding to the stable motif, can drive the motif, i.e., stabilize all the nodes in the motif. We refer to these nodes as driver nodes. We also find that a given stable motif can have more than one driver node if it corresponds to multiple cyclic subgraphs (same motif but different starting/ending nodes): the starting/ending nodes of each of these cyclic subgraphs give us the set of driver nodes. In addition, there may be a node external of the motif that can fix the state of a driver node of the motif; we refer to such node as external driver node.
Owing to the fact that cyclic subgraphs have the same starting node and ending node, they are naturally denser and typically more complex than a simple subgraph of the same size, except for rare cases of selfloops and simple cycles. Hence, the identification of cyclic subgraphs or stable motifs is a “worsecase” runtime of the algorithm. To test the efficiency of our subgraph finding algorithm, we searched for cyclic subgraphs in an ensemble of random Boolean networks (RBNs). An RBN is a network randomly selected with equal likelihood from a set of all possible Boolean networks with a given number of nodes and edges. We analyzed RBNs with 2060 nodes and indegree varying between 1.22.1 and observed that the runtime was increasing exponentially with the indegree (for example, for RBNs of 20 nodes, t≈10^{−9} e x p(7k _{ in }) s e c). Further detail on the analysis of RBNs and runtime complexity plots are presented in Additional file 1.
Logicbased network reduction
Most complex networks have a large number of nodes and edges, making their dynamic modeling difficult and their state space vast. Network reduction methods are often used to decrease the state space to a manageable size [24]. Albert et al. in [25] devised two methods for network reduction and showed their utility in constructing a sparse equivalent network consistent with a set of indirect experimental observations. The two methods are Binary transitive reduction (BTR) and PseudoVertex Collapse (PVC) [26]. Binary transitive reduction (BTR) is the removal of an edge between a pair of nodes if a path of the same direction and sign exists. Edges known to correspond to interactions, referred to as “critical” edges, are never removed in the reduction process. As a tool to reduce the number of nodes in a network, while maintaining all the relationships between important nodes, certain less important nodes (vertices) of the network are marked as pseudovertices. In PVC, if two pseudovertices have the exact same set of in and outneighbors with the corresponding signs (promoting or inhibiting) being equal, then the two pseudovertices are collapsed to generate a new pseudovertex with the neighbor set of either of the two. PVC and BTR can be iteratively used to reduce a larger and denser network.
In this work, we propose the logicpreserving versions of BTR and PVC, which minimize the loss of information incurred in the reduction process. We define logical binary transitive reduction (lBTR) wherein an edge is deleted if there exists an alternate path with the same direction, sign, and logical implication as the edge. In lBTR as well, we fix a set of critical edges.
In the logic preserving version of PVC, i.e., logical vertex collapse (LVC), we collapse two vertices if they have the same neighbor set with equal corresponding directions, signs and logical implication (edge color). We note that instead of designating less important nodes as pseudovertices, we define a set of critical nodes and permit the collapse of all other nodes with each other or with critical nodes. Thus, lBTR and LVC are stronger logical versions of BTR and PVC respectively. Iterative reduction using these two methods gives a network with the same causal logic information and hence closer to the entirety of experimental evidence. In addition to the above two methods for reduction, we also use edge collapse (i.e., collapsing two nodes into one) in case the source node of the edge is the only regulator of the target node. If a node is an only regulator of the target, the edge between the two is sufficient and necessary and hence the Boolean regulatory function is: f _{ target }=r e g u l a t o r. Since this work deals with steady state analysis, the elimination of a time delay does not have any negative implications, so we collapse the regulator and the target to generate a new node w such that all the incoming edges into the regulator are set as incoming into w while all the outgoing edges from the target are set as outgoing from w. As illustrated in the “Application I: logic subgraphs, stable motifs and logic backbone of the EMT network” section, these three methods are greatly useful in reducing a large and dense network while keeping its logic properties intact.
The logic backbone structure
In Boolean models of gene regulatory networks, stable motifs offer a great insight into the system’s dynamic repertoire and trajectories [20, 21]. Using the causal logic representation, we propose the construction of a logic backbone structure for the Boolean network, which expresses the network in a very condensed form and gives an intuitive idea of the system trajectories. This logic backbone, comprised of the signal(s), the stable motifs (cyclic subgraphs) and the output(s), is a network expressing the logic relationships between these elements. Specifically, a sufficient edge from a signal to a motif means that the sustained presence of the signal can stabilize the motif. A sufficient edge from a stable motif to an output means that the stabilization of the stable motif into its associated state leads to the stabilization of the output in the ON state. A logic backbone structure hence gives us an understanding of which components of the network (signals or motifs) can control which other components. The edges between different elements in the backbone are a representation of subgraphs or paths between them. We present the logic backbones of two specific network models in the “Application I: logic subgraphs, stable motifs and logic backbone of the EMT network” and “Application II: Logic subgraphs and logic backbone of the ABA network” sections.
If a particular stable motif can drive the output or the entire network to a steady state of biological importance, then the driver nodes (and external driver nodes) of that motif become crucial. These nodes act as control nodes and a state change in one of them due to, for example, a mutation could stabilize the entire network to a fixed state. If a system is known to incur statechanging mutations, we can estimate the probability that a mutation’s effects will propagate by knowing the fraction of nodes that are driver nodes. So, for a network with n nodes, of which n _{ d } are driver nodes of motifs that can drive the system to the attractor A, then a random statechanging mutation will drive the system to the attractor A with probability n _{ d }/n and the effects of the mutation will stay localized with probability 1−n _{ d }/n.
Application I: logic subgraphs, stable motifs and logic backbone of the EMT network
Epithelialtomesenchymal transition (EMT) is a developmental process which is exploited by cancer cells to initiate metastasis and tumor invasion [27, 28]. Steinway et al. constructed a signal transduction network and Boolean model of this transition in response to more than 10 signals including transforming growth factor beta (TGF β), plateletderived growth factor (PDGF) and Sonic hedgehog (SHH). An important marker of the epithelial to mesenchymal transition is loss of Ecadherin expression, which is known to be mediated by seven transcription factors which are reported by Steinway et al as SNAI1, SNAI2, ZEB1, ZEB2, HEY1, FOXC2 and TWIST1 [21]. Steinway et al. include an output node, EMT, whose sole and negative regulator is Ecadherin. The Boolean model indicates that the system has two steady state attractors, one almost the opposite of the other: one corresponding to the epithelial state, when the output node is in the OFF state, and one corresponding to the mesenchymal state. Steinway et al. found that this network has eight stable motifs (i.e., generalized feedback loops) and the stabilization of any one of those can lead to steady states that correspond to the mesenchymal state.
We analyze the EMT network and its features by transforming it to a causal logic representation. We used the network and Boolean regulatory functions constructed from the literature by Steinway et al. [21]. Prior to the analysis we reduced the 69node EMT network to a 27 node network using logical vertex collapse, logical binary transitive reduction, and edge collapse. The reduced network is expressed in causal logic representation in Fig. 7. We implemented the subgraph finding algorithm (see Additional file 1) to find subgraphs in this network. To find the stable motifs, i.e., the cyclic subgraphs, the algorithm was modified to have the source node of the subgraph coincide with the target node. We found multiple cyclic subgraphs which corresponded to seven of the eight stable motifs reported by Steinway et al. Some of the cyclic subgraphs found were a union of two or more stable motifs. This is because stable motifs were defined in [20] as the smallest selfsustaining subgraphs, to enable their combinatorial composition. We were however missing one stable motif (the one represented in Fig. 8). We found that in addition to stable motifs representable by cyclic subgraphs, there are some stable motifs which cannot be stabilized by the sustained state of just one node but instead need two or more nodes in a fixed state. These stable motifs can be found by identifying subgraphs from and to a group of nodes. In such a subgraph, which we will refer to as extended cyclic subgraph, all the starting nodes, which we will call collective driver nodes, need to be fixed to a certain state in order to stabilize all the ending nodes to a certain state. For example, the extended cyclic subgraph in Fig. 8 has two collective driver nodes: SMAD and ERK. Extended cyclic subgraphs are explained in detail in Additional file 3. All the stable motifs of the EMT network, corresponding to cyclic subgraphs or extended cyclic subgraphs, are shown in Additional file 4. We find multiple subgraphs, a few of which are shown in Fig. 9. There is a sufficient subgraph from SNAI1 to SMAD, depicted in Fig. 9a. Since there is a sufficient edge from SMAD to SNAI1, combining this edge with the subgraph in Fig. 9a yields a sufficient cyclic subgraph at SNAI1. This subgraph is a crucial component of the TGF β feedback motif (shown in Additional file 4). Fig. 9b illustrates the subgraph from RAS to Ecadherin, which is a necessary inhibitory regulator of EMT (i.e., if Ecadherin expression is lowered, EMT is activated, as can be seen in Fig. 7). Ecadherin is downregulated if the 7 transcription factors are ON, all of which can be upregulated by RAS since RAS is sufficient for them. All the upstream signals in the first row of Fig. 11 converge on the regulation of Ecadherin through these transcriptional regulators [21]. This subgraph indicates that these transcriptional regulators, and consequently EMT, can all be activated by upregulation of RAS, as was also found by dynamic simulations in [21].
Since it is only the driver nodes that can stabilize a stable motif, we identified logic subgraphs from the network’s signals (sources) to the motifs’ driver nodes. We also look for subgraphs through which stable motifs can stabilize each other, and for subgraphs from any node in the motifs to the output node (EMT). We find that all of these subgraphs signify sufficient relationships. For example, all the stable motifs converge on the regulation of Ecadherin, and thus of the output node EMT, through the seven transcriptional regulators [21].
Figure 10 illustrates different ways by which motifs can stabilize each other. As the Wnt/ βcatenin feedback loop is stabilized, each of the nodes in this motif stabilize to its corresponding fixed state, denoted by the background color of the node (white for ON, grey for OFF). The node GSK3 β stabilizes in the OFF state. The SMAD/MAPK crosstalk motif is essentially a necessary cyclic subgraph in which GSK3 β is the starting and the ending node, that is, GSK3 β=0 is a driver node of this motif. Thus, the stabilization of the Wnt/ βcatenin feedback loop leads to the stabilization of the SMAD/MAPK crosstalk motif. The RKIP feedback loop and SMAD/MAPK crosstalk have two common driver nodes: MEK and ERK. Stabilization of either of the motifs implies the stabilization of these two nodes and hence the stabilization of the other motif. This is denoted by the double arrow between these two motifs. The Wnt/ βcatenin motif has only one driver node  βcatenin nucleus which has three regulators, Destruction Complex, βcatenin membrane and the mediator node 3. To stabilize βcatenin nucleus to the ON state (which is its state corresponding to the stabilized motif), the regulators must be fixed to their corresponding states in the motif, as denoted by the node background color in the top panel of Fig. 10. When the motif SMAD/MAPK crosstalk stabilizes, the node GSK3 β is fixed to the OFF state and the necessary subgraph formed by GSK3 β, 1, 2, Destruction Complex ensures that one of the regulators of βcatenin nucleus is stabilized to the corresponding fixed state of the motif. Stabilization of the SMAD/MAPK motif fixes the node RAS to the ON state and the sufficient inhibitory subgraph from RAS to Ecadherin (Fig 9b) ensures that Ecadherin is stabilized to the OFF state. This stabilization of Ecadherin fixes βcatenin membrane to the OFF state (Ecadherin is necessary for βcatenin membrane) and node 3 to the ON state (Ecadherin is a necessary inhibitor of node 3). This way, stabilization of the SMAD/MAPK crosstalk motif fixes all the regulators of βcatenin nucleus to their stable states, hence stabilizing the βcatenin nucleus node itself to the ON state. Since βcatenin nucleus is the driver node of the Wnt/ βcatenin feedback loop, we can conclude that the SMAD/MAPK crosstalk motif is sufficient to stabilize the Wnt/ βcatenin feedback loop.
We represented the subgraphs starting from signals or stable motifs and ending in stable motifs or the output node as edges of the logic backbone network. All of these edges are of the same type (sufficient), thus for simplicity we do not separately label them. We find that the logic backbone contains a path from each of the sources to each of the stable motifs and to the output. Also, there is an edge or a path from each of the stable motifs to the output. Thus this logic backbone is an orientation of a complete graph. For clarity, we apply lBTR to the backbone network prior to presenting it in Fig. 11. As all the edges of the logic backbone are sufficient, upregulation of any one of the signals or stabilizing any one of the motifs leads to the output node EMT=ON (mesenchymal state). This suggests that the EMT transition is a very robust outcome that can be brought on by external as well as internal drivers.
If the system is in the epithelial state, there are multiple ways to reach the mesenchymal state, e.g., through the presence of a signal or through a stabilized motif. For example, even when all the signals are absent from the system, it may reach the mesenchymal state if a random mutation or dysregulation stabilizes the state of a certain node in the opposite of its epithelial state. Interestingly, almost half of the 56 nonsignal nodes are driver nodes. Hence the probability for a random node mutation leading to the mesenchymal state is p=27/56=0.48. Also, the probability that the effects of a random mutation die out without stabilizing a motif is given by p ^{′}=1−p=0.52. The driver nodes of the EMT network are shown in Additional file 5. Many of these nodes are observed to be dysregulated in cancer patients (i.e. they are constitutively active or otherwise fixed in the functional state corresponding to the mesenchymal state of the node) [29 – 41]. The details of these literature evidences are specified in Additional file 6. This is consistent with our finding that the stabilized mesenchymal state of these nodes can lead to EMT, the first step toward cancer metastasis.
Application II: Logic subgraphs and logic backbone of the ABA network
Stomatal pores, responsible for the intake of carbon dioxide and the inevitable water loss through transpiration, are crucial for maintaining the water level in a plant. The closing and opening of stomata is regulated by the turgidity of the guard cells that surround the pores; this turgidity is controlled by signaling networks that respond to multiple environmental factors such as light, carbon dioxide and humidity. In drought conditions, plants synthesize the phytohormone abscisic acid (ABA), which leads to the closure of stomata to prevent further water loss. The ABA signaling process has been studied by extensive experimental investigation and also by modeling analysis [42 – 45]. In particular, a recent Boolean model of ABA induced closure identifies the stable motifs of the ABA network and identifies the interventions and system trajectories that lead to the attractor associated with stomatal closure [46].
We used this latter model (i.e., the same Boolean regulatory functions and assumed states for unregulated nodes) to find the logic subgraphs and logic backbone structure of the ABA induced closure network. Two interesting logic subgraphs found in the analysis are illustrated in Fig. 12. The sufficient subgraph in Fig. 12a shows that in the sustained presence of ABA, the node pH_{c} will also stabilize in the ON state. The target node pH_{c} has multiple regulators, including Vacuolar Acidification, ABI1, ABI2 and OST1, which together regulate the mediator node M2 which in turn is sufficient for pH_{c}. The signal ABA is sufficient for the node Vacuolar Acidification via a path. ABA is a sufficient inhibitor of ABI1 and ABI2 through RCARs. ABA is sufficient for OST1 through the sufficient subgraph that includes ABA, RCARs, ABI1, ABI2, M1, OST1. According to the subgraph chain function detailed in Table 2, the path (or subgraph) from ABA to each of these regulators and the edge from the corresponding regulator to node M2 can be chained and give the same outcome, sufficient. Hence, ABA is sufficient for node M2, which is a sufficient regulator of pH_{c}. In Fig. 12b the target node AtRAC1 has two regulators  ABI1 is sufficient while ABA is a necessary inhibitor. The signal ABA is a sufficient inhibitor of ABI1. The assumed sustained presence of ABA is equivalent to a sufficient loop on ABA. Both the sufficient inhibitory + sufficient and sufficient + necessary inhibitory pairings lead to sufficient inhibitory as given in the subgraph chain function in Table 2. Our causal analysis recovers the same four stable motifs associated to ABA induced stomatal closure as the previous analysis. The logic backbone of the ABA induced closure network focusing on the case of sustained ABA signal is presented in Fig. 13. In addition to the signal ABA and the four stable motifs, this logic backbone also highlights the node describing the cytosolic Ca^{2+} level. An interesting feature of this network is the feedback regulation of Ca^{2+} (including positive feedback through CIS and negative feedback through Ca^{2+}ATPase), which yields transient increases (oscillations) in \(\text {Ca}^{2+}_{\text {c}}\) in the presence of ABA. Nevertheless, even a single transient increase of \(\text {Ca}^{2+}_{\text {c}}\) can stabilize three of the motifs independently and contribute, together with ABA, to the stabilization of the PLD δROSRBOHPA motif. ABA is a sufficient regulator of one of the processes that generates cytosolic Ca^{2+}, CaIM. The stable motifs and ABA regulate effector nodes corresponding to ion and water flow, which lead to stomatal closure (see Additional file 7).
Discussion
In this work, we presented a representation method that incorporates all the information conveyed by Boolean regulatory functions and can serve as an alternative when full Boolean regulatory functions are not available. In this representation framework, we showed how to distill a rather complex subnetwork into a more direct causal relationship. We identified connectivity patterns that are allowed and not allowed by the logic of the relationships. An example of a pattern that is not allowed is having two independent direct regulators of a node, one of which is sufficient and the other necessary. In general, two copointing subgraphs, one sufficient and the other necessary for the same target node, must intersect and the source node of either of the subgraphs must lie in the intersection. We devised an algorithm to chain consecutive edges with different logical implications and search for paths and subgraphs. By testing the algorithm’s efficiency on an ensemble of random Boolean networks, we found that it should work reasonably well on large and dense Boolean networks. Further, we learnt that the algorithm is suited to work for biological networks. For example, on networks with 80 nodes and average indegree 1.75, the observed average runtime for the algorithm was 500 ms. In contrast, the ABA network with the same size and indegree, could be analyzed much faster – the runtime for the most complex subgraph was 85 ms. This highlights the fact that real biological networks usually have simpler and/or more canalizing logic rules than rules selected at random (which can include XOR type of rules which essentially never happen in biological systems).
We explored subgraphs that intersect or form cycles, and established the correspondence between cyclic subgraphs and previously introduced stable motifs. Identification of stable motifs must follow an exhaustive method (as it is based on determining and then filtering all cycles in an expanded network that incorporates the Boolean regulatory functions). In contrast, by searching for certain types of cyclic subgraphs, one can separately look for single driver and collective driver motifs. Motifs that can be driven by a single node stabilize more easily (e.g. by the mutation of a single node). In addition, searching for motifs driven by one node using the causal logic framework has half the space complexity compared to using the expanded network method. The driver nodes defined in this work also form a control set of nodes that can alter the system’s trajectory.
To exemplify the application of causal logic analysis to biological systems, we constructed a succinct backbone of two signal transduction networks. The logic backbone of the EMT network highlights the robustness of the EMT outcome. It shows that the presence of any one of the signals can lead to the stabilization of at least one stable motif, which then, due to the causal interconnectivity of the motifs, leads to the stabilization of all motifs and finally to the EMT node stabilizing to the ON state. Various subgraphs in this network illustrate the strong causal effect of a node on another, faraway node. For example, the node RAS can indirectly control all the regulators of Ecadherin, as shown in Fig. 9b.
Similarly, the backbone of the ABA network is highly insightful as it illustrates the importance of feedback mechanisms in regulating the ion flow processes (Anion efflux and K ^{+} efflux) that are the main effectors in ABA induced stomatal closure. The node denoting the cytosolic Ca^{2+} level participates in multiple feedback loops, both positive and negative, and is an external driver node of three stable motifs. Due to negative feedback regulation, Ca^{2+} has a transient, potentially oscillating behavior in the presence of ABA. Nevertheless, the motifs, once reaching their corresponding stable states (e.g. in response to an increase in Ca^{2+}), are fixed in these stable states despite the oscillating nature of Ca^{2+}. The stable motifs are sufficient for anion flow and the depolarization of microtubules, which, coupled with ABAdriven K ^{+} efflux, are sufficient for stomatal closure. A possible followup to the causal logic analysis presented here is to consider the cases wherein constitutive activity of certain network elements can lead to stomatal closure even in the absence of ABA. The model of [46] can reproduce most of these results by assuming an additional feedback. Constructing the backbone structure corresponding for the interventions that can lead to closure, with or without the newly predicted interaction, may lead to additional insights and predictions.
Here we focused on the logic implication of a sustained state of a source node on a target node. While this is the most frequently encountered example, the interplay between the complex dynamics and functional importance of Ca^{2+} in the ABA network suggests that elucidating the causal implications of oscillatory states is an interesting topic for future theoretical exploration. We propose that one can attribute a logic implication to an edge in the nonstationary case as well if the time delay introduced by the edge (i.e. the time difference between the state change of the regulator and the state change of the target) is sufficiently short compared to the time scale of the changes in the source node’s state. The identification of the constraint on the time delays that makes the identification of logic relationships possible is a topic of future work.
Conclusion
We have presented a condensation technique for Boolean networks, which ultimately yields a logic backbone that expresses the relationship between external/internal signals and output nodes in an easy to understand manner. The causal logic framework can also be used for other network studies. In this work, we started from known Boolean regulatory functions to obtain the logic properties of edges. One can also do the converse, use the experimental information on causal relationships to infer the Boolean regulatory functions consistent with them. In cases when there is insufficient information to infer unique Boolean functions, we can still conclude certain relationships. For example, as knockout experiments are more prevalently conducted than constitutive activation experiments, we are more likely to know all necessary regulators than all sufficient regulators of a certain node. Even if not all sufficient regulators are known, all the conclusions on linear paths and most sufficient subgraphs (and hence stable motifs formed by the sufficient cyclic subgraphs) would still be valid. Furthermore, we can also use the knowledge of subgraphs to fit newlyemerging evidence into the network structure. For example, consider that we experimentally know that a source node is sufficient for a target node (in the presence of all the molecules necessary for life), and this is realized via a subgraph in the network. If a new necessary regulator of this target node is discovered, we can use our result on copointing subgraphs to infer that the source is sufficient for this new regulator.
Abbreviations
 BTR:

Binary transitive reduction
 PVC:

Pseudo vertex collapse
 lBTR:

logical binary transitive reduction
 LVC:

logical vertex collapse
References
 1
Bornholdt S. Less is more in modeling large genetic networks. Science. 2005; 310(5747):449–51.
 2
Hinkelmann F, Murrugarra D, Jarrah AS, Laubenbacher R. A mathematical framework for agent based models of complex biological networks. Bull Math Biol. 2011; 73(7):1583–602.
 3
Mogilner A, Wollman R, Marshall WF. Quantitative modeling in cell biology: what is it good for?Dev Cell. 2006; 11(3):279–87.
 4
Tyson JJ, Chen K, Novak B. Network dynamics and cell physiology. Nat Rev Mol Cell Biol. 2001; 2(12):908–16.
 5
Tyson JJ, Chen KC, Novak B. Sniffers, buzzers, toggles and blinkers: dynamics of regulatory and signaling pathways in the cell. Curr Opin Cell Biol. 2003; 15(2):221–31.
 6
Aldridge BB, Burke JM, Lauffenburger DA, Sorger PK. Physicochemical modelling of cell signalling pathways. Nat Cell Biol. 2006; 8(11):1195–203.
 7
ColónReyes O, Laubenbacher R, Pareigis B. Boolean monomial dynamical systems. Ann Comb. 2005; 8(4):425–39.
 8
Albert R, Othmer HG. The topology of the regulatory interactions predicts the expression pattern of the segment polarity genes in drosophila melanogaster. J Theor Biol. 2003; 223(1):1–18.
 9
EspinosaSoto C, PadillaLongoria P, AlvarezBuylla ER. A gene regulatory network model for cellfate determination during arabidopsis thaliana flower development that is robust and recovers experimental gene expression profiles. Plant Cell. 2004; 16(11):2923–39.
 10
Zhang R, Shah MV, Yang J, Nyland SB, Liu X, Yun JK, Albert R, Loughran TP. Network model of survival signaling in large granular lymphocyte leukemia. Proc Natl Acad Sci. 2008; 105(42):16308–13.
 11
SaezRodriguez J, Simeoni L, Lindquist JA, Hemenway R, Bommhardt U, Arndt B, Haus UU, Weismantel R, Gilles ED, Klamt S, et al.A logical model provides insights into t cell receptor signaling. PLoS Comput Biol. 2007; 3(8):163.
 12
Albert R, Wang RS. Discrete dynamic modeling of cellular signaling networks. Methods Enzymol. 2009; 467:281–306.
 13
MiskovZivanov N, Turner MS, Kane LP, Morel PA, Faeder JR. Duration of t cell stimulation as a critical determinant of cell fate and plasticity. Sci Signal. 2013; 6(300):97.
 14
Simao E, Remy E, Thieffry D, Chaouiya C. Qualitative modelling of regulated metabolic pathways: application to the tryptophan biosynthesis in e. coli. Bioinformatics. 2005; 21(suppl_2):190–6.
 15
Akutsu T, Yang Z, Hayashida M, Tamura T. Integer programmingbased approach to attractor detection and control of boolean networks. IEICE Trans Inf Syst. 2012; 95(12):2960–70.
 16
Cheng D, Qi H. Controllability and observability of boolean control networks. Automatica. 2009; 45(7):1659–67.
 17
Akutsu T, Hayashida M, Ching WK, Ng MK. Control of boolean networks: Hardness results and algorithms for tree structured networks. J Theor Biol. 2007; 244(4):670–9.
 18
Albert R, Robeva R. Signaling networks: Asynchronous boolean models In: Robeva R, editor. Algebraic and discrete mathematical methods for modern biology. Elsevier: 2015. p. 65–91.
 19
Albert I, Thakar J, Li S, Zhang R, Albert R. Boolean network simulations for life scientists. Source Code Biol Med. 2008; 3(1):16.
 20
Zañudo JG, Albert R. An effective network reduction approach to find the dynamical repertoire of discrete dynamic networks. Chaos: An Interdisciplinary J Nonlinear Sci. 2013; 23(2):025111.
 21
Steinway SN, Zañudo JG, Ding W, Rountree CB, Feith DJ, Loughran TP, Albert R. Network modeling of tgf β signaling in hepatocellular carcinoma epithelialtomesenchymal transition reveals joint sonic hedgehog and wnt pathway activation. Cancer Res. 2014; 74(21):5963–77.
 22
Zanudo JG, Albert R. Cell fate reprogramming by control of intracellular network dynamics. PLoS Comput Biol. 2015; 11(4):1004193.
 23
Zañudo JGT. Networkbased dynamic modeling and control strategies in complex diseases: PhD thesis, The Pennsylvania State University; 2016.
 24
Carter GW. Inferring network interactions within a cell. Briefings Bioinforma. 2005; 6(4):380–9.
 25
Albert R, DasGupta B, Dondi R, Kachalo S, Sontag E, Zelikovsky A, Westbrooks K. A novel method for signal transduction network inference from indirect experimental evidence. J Comput Biol. 2007; 14(7):927–49.
 26
Albert R, DasGupta B, Dondi R, Sontag E. Inferring (biological) signal transduction networks via transitive reductions of directed graphs. Algorithmica. 2008; 51(2):129–59.
 27
Acloque H, Adams MS, Fishwick K, BronnerFraser M, Nieto MA. Epithelialmesenchymal transitions: the importance of changing cell state in development and disease. J Clin Investig. 2009; 119(6):1438–49.
 28
Nakaya Y, Sheng G. Epithelial to mesenchymal transition during gastrulation: an embryological view. Development, growth & differentiation. 2008; 50(9):755–66.
 29
AbouShady M, Baer HU, Friess H, Berberat P, Zimmermann A, Graber H, Gold LI, Korc M, Büchler MW. Transforming growth factor betas and their signaling receptors in human hepatocellular carcinoma. Am J Surg. 1999; 177(3):209–15.
 30
ten Haaf A, Bektas N, von Serenyi S, Losen I, Arweiler EC, Hartmann A, Knüchel R, Dahl E. Expression of the gliomaassociated oncogene homolog (gli) 1 in human breast cancer is associated with unfavourable overall survival. BMC Cancer. 2009; 9(1):1.
 31
Fu Z, Kitagawa Y, Shen R, Shah R, Mehra R, Rhodes D, Keller PJ, Mizokami A, Dunn R, Chinnaiyan AM, et al.Metastasis suppressor gene raf kinase inhibitor protein (rkip) is a novel prognostic marker in prostate cancer. The Prostate. 2006; 66(3):248–56.
 32
Baritaki S, HuertaYepez S, Sahakyan A, Karagiannides I, Bakirtzi K, Jazirehi A, Bonavida B. Mechanisms of nitric oxidemediated inhibition of emt in cancer: inhibition of the metastasisinducer snail and induction of the metastasissuppressor rkip. Cell Cycle. 2010; 9(24):4931–40.
 33
Yook JI, Li XY, Ota I, Hu C, Kim HS, Kim NH, Cha SY, Ryu JK, Choi YJ, Kim J, et al.A wnt–axin2–gsk3 β cascade regulates snail1 activity in breast cancer cells. Nat cell Biol. 2006; 8(12):1398–406.
 34
Reya T, Clevers H. Wnt signalling in stem cells and cancer. Nature. 2005; 434(7035):843–50.
 35
Nagahata T, Shimada T, Harada A, Nagai H, Onda M, Yokoyama S, Shiba T, Jin E, Kawanami O, Emi M. Amplification, upregulation and overexpression of dvl1, the human counterpart of the drosophila disheveled gene, in primary breast cancers. Cancer Sci. 2003; 94(6):515–8.
 36
Taylor MD, Liu L, Raffel C, Hui Cc, Mainprize TG, Zhang X, Agatep R, Chiappa S, Gao L, Lowrance A, et al.Mutations in sufu predispose to medulloblastoma. Nat Genet. 2002; 31(3):306–10.
 37
Wan PT, Garnett MJ, Roe SM, Lee S, NiculescuDuvaz D, Good VM, Project CG, Jones CM, Marshall CJ, Springer CJ, et al.Mechanism of activation of the raferk signaling pathway by oncogenic mutations of braf. Cell. 2004; 116(6):855–67.
 38
Allenspach EJ, Maillard I, Aster JC, Pear WS. Notch signaling in cancer. Cancer Biol therapy. 2002; 1(5):466–76.
 39
Pledgie A, Huang Y, Hacker A, Zhang Z, Woster PM, Davidson NE, Casero RA. Spermine oxidase smo (paoh1), not n1acetylpolyamine oxidase pao, is the primary source of cytotoxic h2o2 in polyamine analoguetreated human breast cancer cell lines. J Biol Chem. 2005; 280(48):39843–51.
 40
Kirikoshi H, Sekihara H, Katoh M. Upregulation of frizzled7 (fzd7) in human gastric cancer. Int J Oncol. 2001; 19(1):111–5.
 41
Davies H, Bignell GR, Cox C, Stephens P, Edkins S, Clegg S, Teague J, Woffendin H, Garnett MJ, Bottomley W, et al.Mutations of the braf gene in human cancer. Nature. 2002; 417(6892):949–54.
 42
Li S, Assmann SM, Albert R. Predicting essential components of signal transduction networks: a dynamic model of guard cell abscisic acid signaling. PLoS Biol. 2006; 4(10):312.
 43
Munemasa S, Hauser F, Park J, Waadt R, Brandt B, Schroeder JI. Mechanisms of abscisic acidmediated control of stomatal aperture. Curr Opin plant Biol. 2015; 28:154–62.
 44
Kollist H, Nuhkat M, Roelfsema MRG. Closing gaps: linking elements that control stomatal movement. New Phytologist. 2014; 203(1):44–62.
 45
Hills A, Chen ZH, Amtmann A, Blatt MR, Lew VL. Onguard, a computational platform for quantitative kinetic modeling of guard cell physiology. Plant Physiology. 2012; 159(3):1026–42.
 46
Albert R, Acharya B, Jeon B, Zañudo J, Zhu M, Osman K, Assmann S. A new discrete dynamic model of abainduced stomatal closure predicts key feedback loops. PLoS Biol. 2017; 15(9):2003451.
Acknowledgements
This work was supported by NSF grants IIS 1161007 and PHY 1205840 to RA.The authors thank Jorge GT Zanudo, Gang Yang and Xiao Gan for helpful discussions.
Availability of data and materials
The Boolean regulatory functions of the EMT model are given in Supplementary Table 3 of reference [21]. The code used for constructing and analyzing causal logic networks is freely available in the Github repository https://github.com/parulm/suff_necc.
Author information
Affiliations
Contributions
PM performed the analysis under the advice and supervision of RA. Both authors prepared the manuscript.
Corresponding author
Correspondence to Parul Maheshwari.
Ethics declarations
Ethics approval and consent to participate
Not applicable. Research does not involve any human subjects, human material, or human data.
Consent for publication
Not applicable. The article does not contain any individual person’s data.
Competing interests
The authors declare that they have no competing interests.
Publisher’s Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Additional files
Additional file 1
Pseudocode and runtime of the algorithm to find logic subgraphs. (PDF 332 kb)
Additional file 2
The proofs of the propositions regarding the properties of logic subgraphs. (PDF 82 kb)
Additional file 3
Explanation of extended cyclic subgraphs with collective driver nodes. (PDF 79 kb)
Additional file 4
Supplementary Figure 1, containing all eight motifs of the EMT network in causal logic representation. (DOCX 115 kb)
Additional file 5
Supplementary Table 1, containing the list of all nodes of the network and their states in the epithelial and mesenchymal states. (DOCX 6 kb)
Additional file 6
Literature evidence in support of the driver nodes of the EMT network: their dysregulation frequently occurs in and may be causative of cancer. (PDF 67 kb)
Additional file 7
Stable motifs and node states of the ABA network nodes corresponding to the closure attractor. (DOCX 24 kb)
Rights and permissions
Open Access This article is distributed under the terms of the Creative Commons Attribution 4.0 International License (http://creativecommons.org/licenses/by/4.0/), which permits unrestricted use, distribution, and reproduction in any medium, provided you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license, and indicate if changes were made. The Creative Commons Public Domain Dedication waiver (http://creativecommons.org/publicdomain/zero/1.0/) applies to the data made available in this article, unless otherwise stated.
About this article
Cite this article
Maheshwari, P., Albert, R. A framework to find the logic backbone of a biological network. BMC Syst Biol 11, 122 (2017) doi:10.1186/s1291801704825
Received
Accepted
Published
DOI
Keywords
 Boolean networks
 Biological networks
 Regulatory functions
 Signal transduction network
 Attractor
 Stable motif
 Network model
 Sufficient and necessary conditions