public static void SetDefaultEventHandlers(ColouredPetriGraphWrapper graphWrapper)
        {
            PetriNetGraphWrapper.SetDefaultEventHandlers(graphWrapper);

            graphWrapper.Graph.OnVertexAdded += new EventHandler<VerticesModifiedEventArgs>(graphWrapper.Graph_OnVertexAdded);
            graphWrapper.Graph.OnEdgeAdded += new EventHandler<EdgesModifiedEventArgs>(graphWrapper.Graph_OnEdgeAdded);
        }
 public ColouredArcWrapper(ColouredPetriGraphWrapper graphWrapper, ColouredArc arc)
     : base(graphWrapper, arc)
 {
 }
 public override object Clone()
 {
     ColouredPetriGraphWrapper wrapper = new ColouredPetriGraphWrapper();
     this.CopyTo(wrapper);
     return wrapper;
 }
 public ColouredTransitionWrapper(ColouredPetriGraphWrapper graphWrapper, ColouredTransition transition)
     : base(graphWrapper, transition)
 {
 }