public void PetryNetShouldBePartialNotConservative(string inFile)
{
var net = PetriNet.Parse(inFile);
var checker = new PropertiesChecker(net);
checker.GetSinvariants();
Assert.IsTrue(checker.CheckConservativeness() == Conservativeness.NotConservative);
}
