コード例 #1
0
        public MarkedPetriGraphWrapper()
            : base()
        {
            Graph = new MarkedPetriGraph();

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

            this.CopyTo(graph);

            return graph;
        }
コード例 #3
0
ファイル: PetriNet.cs プロジェクト: THROYAN/MagicLibrary 
 public PetriNet(MarkedPetriGraph graph)
 {
     this.Graph = graph;
     r = new Random();
 }