Пример #1
0
        public void FindTransitionTest()
        {
            Model.PetriNet.PetriNet testNet = new Model.PetriNet.PetriNet("TestNet");
            Transition testTransition       = testNet.AddTransition("TestTransition");

            Transition transition2 = testNet.FindTransition("TestTransition");

            Assert.AreEqual(transition2, testTransition);
        }
Пример #2
0
        public void FindTransitionTestNotFound()
        {
            Model.PetriNet.PetriNet testNet = new Model.PetriNet.PetriNet("TestNet");
            Place tempPlaceIn  = testNet.AddPlace("place_1");
            Place tempPlaceOut = testNet.AddPlace("place_2");

            testNet.AddTransition("transition_1", incomingPlace: tempPlaceIn, outgoingPlace: tempPlaceOut);

            Assert.IsNull(testNet.FindTransition("not in the list"));
        }
        public void FindTransitionTestNotFound()
        {
            Model.PetriNet.PetriNet testNet = new Model.PetriNet.PetriNet("TestNet");
            Place tempPlaceIn = testNet.AddPlace("place_1");
            Place tempPlaceOut = testNet.AddPlace("place_2");
            testNet.AddTransition("transition_1", incomingPlace: tempPlaceIn, outgoingPlace: tempPlaceOut);

            Assert.IsNull(testNet.FindTransition("not in the list"));
        }
        public void FindTransitionTest()
        {
            Model.PetriNet.PetriNet testNet = new Model.PetriNet.PetriNet("TestNet");
            Transition testTransition = testNet.AddTransition("TestTransition");

            Transition transition2 = testNet.FindTransition("TestTransition");

            Assert.AreEqual(transition2, testTransition);
        }