C# (CSharp) PNets.Core.NetProperties PropertiesChecker.GetTinvariants Examples

Example #1

File: PropertiesCheckerTests.cs Project: rsemenov/PNets

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