Figure 2.

(a) Regulatory functions, depicted in logical notation, for the RN and parameter shown in figure 1. Notice how the regulatory function for ${\displaystyle v_1^0}$ had conjunctive clauses that could be merged using BCF. (b) The expanded network representation of the regulatory functions in (a), where white circular nodes are virtual nodes and rectangular grey nodes are the composite nodes. (c) The bipartite graph representation of the regulatory functions in (a). Note that the expanded network and bipartite graph are equivalent.