public void PetryNetShouldBePartialNotConsistent(string inFile) { var net = PetriNet.Parse(inFile); var checker = new PropertiesChecker(net); checker.GetTinvariants(); Assert.IsTrue(checker.CheckConsistency() == Consistency.NotConsistent); }