public void TestLoadPnmlFile()
{
var path = @"C:\shared.datastore\repository\personal\dev\prototypes\Automata\PetriNet\pnml.ex1.xml";
var pnSeq = PnmlModelLoader.Load(path).ToList();
var markings = PnmlModelLoader.LoadMarkings(path, pnSeq).ToList();
Assert.IsNotNull(pnSeq);
Assert.AreEqual(2, pnSeq.Count());
Assert.AreEqual("n2", pnSeq.ElementAt(0).Id);
Assert.AreEqual("n1", pnSeq.ElementAt(1).Id);
var pn1 = pnSeq[0];
Assert.AreEqual(2, pn1.Places.Count());
Assert.AreEqual(1, pn1.Transitions.Count());
Assert.AreEqual(1, pn1.PlaceOutArcs.Count);
Assert.AreEqual(1, pn1.InArcs.Count);
Assert.AreEqual(1, pn1.OutArcs.Count);
Assert.AreEqual(2, markings.Count);
pn1.Fire(markings.First().Value);
}