Removes the object DrawingNode which contains a double with its marking or -1 for omega (coverbilityGraph) or a constant (check for Petri net drawing) and the DrawingNodeAttribute.
Removes the object Identity which contains a random value for linking between nodes (Petri net) and edges (reachability graph) and the IdentityAttribute.