Пример #1
0
 public void PetryNetShouldBePartialNotConsistent(string inFile)
 {
     var net = PetriNet.Parse(inFile);
     var checker = new PropertiesChecker(net);
     checker.GetTinvariants();
     Assert.IsTrue(checker.CheckConsistency() == Consistency.NotConsistent);
 }