tokens: In the right part of Figure is the set of reachable states of the quantitative discrete approximation automaton ( QDAA ) obtained from the biochemical system described in Figure with initial conditions .