C# (CSharp) Model.PetriNet.PetriNet.GetSinks Examples

Example #1

File: PetriNetTests.cs Project: zergmk2/ProcessCubeExplorer

        public void GetSinksTest()
        {
            Model.PetriNet.PetriNet testNet = new Model.PetriNet.PetriNet("TestNet");
            Transition testTransition1      = testNet.AddTransition("TestTransition1");
            Transition testTransition2      = testNet.AddTransition("TestTransition2");

            testTransition2.AddOutgoingPlace(new Place());
            Place testPlace1 = testNet.AddPlace("TestPlace1");
            Place testPlace2 = testNet.AddPlace("TestPlace2");

            testPlace2.AppendOutgoingTransition(testTransition1);

            List <Node> list = testNet.GetSinks();

            Assert.IsTrue(list.Contains(testTransition1));
            Assert.IsTrue(list.Contains(testPlace1));
            Assert.AreEqual(2, list.Count);
        }

Example #2

File: PetriNetTests.cs Project: ThomasMeents/ProcessCubeExplorer

        public void GetSinksTest()
        {
            Model.PetriNet.PetriNet testNet = new Model.PetriNet.PetriNet("TestNet");
            Transition testTransition1 = testNet.AddTransition("TestTransition1");
            Transition testTransition2 = testNet.AddTransition("TestTransition2");
            testTransition2.AddOutgoingPlace(new Place());
            Place testPlace1 = testNet.AddPlace("TestPlace1");
            Place testPlace2 = testNet.AddPlace("TestPlace2");
            testPlace2.AppendOutgoingTransition(testTransition1);

            List<Node> list = testNet.GetSinks();

            Assert.IsTrue(list.Contains(testTransition1));
            Assert.IsTrue(list.Contains(testPlace1));
            Assert.AreEqual(2, list.Count);
        }