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