public MarkedPetriGraphWrapper() : base() { Graph = new MarkedPetriGraph(); MarkedPetriGraphWrapper.SetDefaultEventHandlers(this); }
public override object Clone() { MarkedPetriGraph graph = new MarkedPetriGraph(); this.CopyTo(graph); return graph; }
public PetriNet(MarkedPetriGraph graph) { this.Graph = graph; r = new Random(); }