Figure 3:

Illustrative example of a 4-time step forward trajectory for a synchronous GDS where each vertex function is an SIR model. The dependency graph has 4 vertices and 4 edges. The infectious duration for each vertex (agent) is $t_{\mathit{dI}}=2$, and the probability of infection is p for each vertex. The vertices (agents) are labeled in the graph at the left, corresponding to the initial state x(0). The state corresponding to each time, displayed below the time, is given as $x(t)=(x_1,x_2,x_3,x_4)$. This particular sequence of states is dependent on the random numbers $r_i$, $1\le i\le 5$, and their relation to p.