public void CountTransitionsWithoutANDsTest()
        {
            Model.PetriNet.PetriNet testNet = new Model.PetriNet.PetriNet("TestNet");
            testNet.AddTransition("TestTransition1");
            testNet.AddTransition("AND");
            testNet.AddTransition();
            testNet.AddTransition("TestTransition4");

            int result = testNet.CountTransitionsWithoutANDs();

            Assert.AreEqual(2, result);
        }
        public void CountTransitionsWithoutANDsTest()
        {
            Model.PetriNet.PetriNet testNet = new Model.PetriNet.PetriNet("TestNet");
            testNet.AddTransition("TestTransition1");
            testNet.AddTransition("AND");
            testNet.AddTransition();
            testNet.AddTransition("TestTransition4");

            int result = testNet.CountTransitionsWithoutANDs();

            Assert.AreEqual(2, result);
        }