Ejemplo n.º 1
0
 public void PetryNetShouldBeRepetitive(string inFile)
 {
     var net = PetriNet.Parse(inFile);
     var checker = new PropertiesChecker(net);
     Assert.IsTrue(checker.CheckRepetitiveness() == Repetitiveness.Repetitive);
 }