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);
}