public void TestDoubleSelfTransition()
{
var m = new Marking(1,
new Dictionary <int, int>
{
{ (int)Places.p1, 1 }
});
var p = CreatePetriNet.Parse(StdPetriNets.DoubleSelfTransition).CreateNet <GraphPetriNet>();
Assert.AreEqual(1, m.Get(p.Places, "p1"));
m = p.Fire(m);
Assert.AreEqual(1, m.Get(p.Places, "p1"));
}
