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

Example #1

File: MainForm.cs Project: rsemenov/PNets

 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);
         }
     }
 }