The next step towards the definition of the reduced graph consists in defining subclasses of markings as well as symbolic markings, that represent a complete subclass.