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)
{
}
}
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)
{
}
}
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");
}