Exemple #1
0
        public MarkedPetriGraphWrapper()
            : base()
        {
            Graph = new MarkedPetriGraph();

            MarkedPetriGraphWrapper.SetDefaultEventHandlers(this);
        }
Exemple #2
0
        public override object Clone()
        {
            MarkedPetriGraph graph = new MarkedPetriGraph();

            this.CopyTo(graph);

            return graph;
        }
Exemple #3
0
 public PetriNet(MarkedPetriGraph graph)
 {
     this.Graph = graph;
     r = new Random();
 }