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