The previous sequences have set all the basis necessary for the construction of the Symbolic Reachability Graph. It takes advantage of the symmetry between markings, and between firings, so as to study the behaviour at a symbolic level.