Figure 2:

Wiring diagram and state space of the Boolean network in Example 2.4-2.11. (a) The wiring diagram encodes the dependency between variables. (b) The state space is a directed graph with edges between all states and their images. This graph therefore encodes all possible trajectories.