public void PetryNetShouldBePartialNotConsistent(string inFile) { var net = PetriNet.Parse(inFile); var checker = new PropertiesChecker(net); checker.GetTinvariants(); Assert.IsTrue(checker.CheckConsistency() == Consistency.NotConsistent); }
public void PetryNetShouldBePartialNotConservative(string inFile) { var net = PetriNet.Parse(inFile); var checker = new PropertiesChecker(net); checker.GetSinvariants(); Assert.IsTrue(checker.CheckConservativeness() == Conservativeness.NotConservative); }
private void AnalizeButton_Click(object sender, EventArgs e) { if(_petriNet!=null) { ClearAll(); _propertiesChecker = new PropertiesChecker(_petriNet); _propertiesChecker.Analize(); SetProperties(); SetInvariants(); if(_propertiesChecker.CoverageTree!=null) { DrawTree(_propertiesChecker.CoverageTree, gViewer1); } if (_propertiesChecker.FullCoverageTree != null) { DrawTree(_propertiesChecker.FullCoverageTree, gViewer2); } } }
static void Main(string[] args) { if (args.Length < 1) { Console.WriteLine("Petri Net file does not set. Please enter file with Petri Net as first command line parameter."); return; } if (!File.Exists(args[0])) { Console.WriteLine( String.Format("File {0} does not exists. Please enter file with Petri Net as first command line parameter.", args[0])); return; } var net = PNets.Core.PetriNet.Parse(args[0]); var checker = new PropertiesChecker(net); var isBounded = checker.CheckStructurallyBoundness(); Console.WriteLine(String.Format("Given PetriNet is {0}", isBounded)); }
public void PetryNetShouldBeStructuralBounded(string inFile) { var net = PetriNet.Parse(inFile); var checker = new PropertiesChecker(net); Assert.IsTrue(checker.CheckStructurallyBoundness() == StructurallyBoundness.StructurallyBounded); }
public void PetryNetShouldBeRepetitive(string inFile) { var net = PetriNet.Parse(inFile); var checker = new PropertiesChecker(net); Assert.IsTrue(checker.CheckRepetitiveness() == Repetitiveness.Repetitive); }