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