コード例 #1
0
 public void PetryNetShouldBePartialNotConservative(string inFile)
 {
     var net = PetriNet.Parse(inFile);
     var checker = new PropertiesChecker(net);
     checker.GetSinvariants();
     Assert.IsTrue(checker.CheckConservativeness() == Conservativeness.NotConservative);
 }