TestProject1.TestMatrixPetriNet.TestSelfTransition C# (CSharp) Method

TestSelfTransition() private method

private TestSelfTransition ( ) : void
return void
        public void TestSelfTransition()
        {
            var m = new Marking(1,
                new Dictionary<int, int>
                    {
                        { (int)Places.p1, 0 }
                    });
            var p = new MatrixPetriNet("p",
                new Dictionary<int, string> {
                    {(int)Places.p1, "p1"}
                },
                new Dictionary<int, string>
                    {
                        { (int)Transitions.t1, "t1" }
                    },
                new Dictionary<int, List<InArc>>(){
                    {(int)Transitions.t1, new List<InArc>(){new InArc((int)Places.p1)}}
                },
                new Dictionary<int, List<OutArc>>(){
                    {(int)Transitions.t1, new List<OutArc>(){new OutArc((int)Places.p1)}}
                });
            m[(int)Places.p1] = 1;
            Assert.AreEqual(1, m[(int)Places.p1]);
            m = p.Fire(m);
            Assert.AreEqual(1, m[(int)Places.p1]);
        }