Table 1: The state classes of the TPN presented at Figure 2.