public void TestLoadPnmlFile(string path, IEnumerable <string> markingProgression)
        {
            var loader  = new NewPnmlLoader <GraphPetriNet>();
            var netlist = loader.Load(path);

            Assert.AreEqual(1, netlist.Count());
            var net = netlist.ElementAt(0);

            foreach (string strMarking in markingProgression)
            {
            }
        }
示例#2
0
        public void TestLoadPnmlFile(string path, IEnumerable<string> markingProgression)
        {
            var loader = new NewPnmlLoader<GraphPetriNet>();
            var netlist = loader.Load(path);
            Assert.AreEqual(1, netlist.Count());
            var net = netlist.ElementAt(0);
            foreach (string strMarking in markingProgression)
            {

            }
        }
示例#3
0
 public void TestLoad1()
 {
     var loader = new NewPnmlLoader<GraphPetriNet>();
     var model = loader.Load(modelPathRoot + "p0).xml");
 }
 public void TestLoad1()
 {
     var loader = new NewPnmlLoader <GraphPetriNet>();
     var model  = loader.Load(modelPathRoot + "p0).xml");
 }