public void ConvertToDotTest() { Model.PetriNet.PetriNet testNet = new Model.PetriNet.PetriNet("TestNet"); Place start = testNet.AddPlace("Start"); Place midLeft1 = testNet.AddPlace("MidLeft1"); Place midLeft2 = testNet.AddPlace("MidLeft2"); Place midLeft3 = testNet.AddPlace("MidLeft3"); Place midRight1 = testNet.AddPlace("MidRight1"); Place midRight2 = testNet.AddPlace("MidRight2"); Place midRight3 = testNet.AddPlace("MidRight3"); Place end = testNet.AddPlace("End"); testNet.AddTransition("Left", incomingPlace: start, outgoingPlaces: new List <Place> { midLeft1, midLeft2, midLeft3 }); testNet.AddTransition("TestTransition", new List <Place> { midLeft1, midLeft2, midLeft3 }, new List <Place> { midRight1, midRight2, midRight3 }); testNet.AddTransition("Right", new List <Place> { midRight1, midRight2, midRight3 }, outgoingPlace: end); String dotCode = testNet.ConvertToDot(); Assert.IsNotNull(dotCode); }
public void ConvertToDotTest() { Model.PetriNet.PetriNet testNet = new Model.PetriNet.PetriNet("TestNet"); Place start = testNet.AddPlace("Start"); Place midLeft1 = testNet.AddPlace("MidLeft1"); Place midLeft2 = testNet.AddPlace("MidLeft2"); Place midLeft3 = testNet.AddPlace("MidLeft3"); Place midRight1 = testNet.AddPlace("MidRight1"); Place midRight2 = testNet.AddPlace("MidRight2"); Place midRight3 = testNet.AddPlace("MidRight3"); Place end = testNet.AddPlace("End"); testNet.AddTransition("Left", incomingPlace: start, outgoingPlaces: new List<Place> { midLeft1, midLeft2, midLeft3 }); testNet.AddTransition("TestTransition", new List<Place> { midLeft1, midLeft2, midLeft3 }, new List<Place> { midRight1, midRight2, midRight3 }); testNet.AddTransition("Right", new List<Place> { midRight1, midRight2, midRight3 }, outgoingPlace: end); String dotCode = testNet.ConvertToDot(); Assert.IsNotNull(dotCode); }